🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Selene: Pioneering Automated Proof in Software Verification

Lichen Zhang, Shuai Lu, Nan Duan

cs.SE 🏛 ACL 📚 16 cites 2 years ago

R.I.P. 👻 Ghosted

GEML: A Grammar-based Evolutionary Machine Learning Approach for Design-Pattern Detection

Rafael Barbudo, Aurora Ramírez, ... (+2 more)

cs.SE 🏛 JSS 📚 16 cites 2 years ago

R.I.P. 👻 Ghosted

DevEval: Evaluating Code Generation in Practical Software Projects

Jia Li, Ge Li, ... (+15 more)

cs.SE 🏛 arXiv 📚 16 cites 2 years ago

R.I.P. 👻 Ghosted

Cross-Inlining Binary Function Similarity Detection

Ang Jia, Ming Fan, ... (+4 more)

cs.SE 🏛 ICSE 📚 16 cites 2 years ago

R.I.P. 👻 Ghosted

Automated Invariant Generation for Solidity Smart Contracts

Ye Liu, Chengxuan Zhang, Yi Li.

cs.SE 🏛 IEEE TDSC 📚 16 cites 2 years ago

R.I.P. 👻 Ghosted

A Multi-solution Study on GDPR AI-enabled Completeness Checking of DPAs

Muhammad Ilyas Azeem, Sallam Abualhaija

cs.SE 🏛 EMSE 📚 16 cites 2 years ago

R.I.P. 👻 Ghosted

ConDefects: A New Dataset to Address the Data Leakage Concern for LLM-based Fault Localization and Program Repair

Yonghao Wu, Zheng Li, ... (+2 more)

cs.SE 🏛 arXiv 📚 16 cites 2 years ago

R.I.P. 👻 Ghosted

A User-centered Security Evaluation of Copilot

Owura Asare, Meiyappan Nagappan, N. Asokan

cs.SE 🏛 ICSE 📚 16 cites 2 years ago

R.I.P. 👻 Ghosted

GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming

Jon Ayerdi, Valerio Terragni, ... (+3 more)

cs.SE 🏛 IEEE TSE 📚 16 cites 2 years ago

R.I.P. 👻 Ghosted

Model-based Digital Twins of Medicine Dispensers for Healthcare IoT Applications

Hassan Sartaj, Shaukat Ali, ... (+2 more)

cs.SE 🏛 Software, Practice & Experience 📚 16 cites 2 years ago

R.I.P. 👻 Ghosted

Log Statements Generation via Deep Learning: Widening the Support Provided to Developers

Antonio Mastropaolo, Valentina Ferrari, ... (+2 more)

cs.SE 🏛 JSS 📚 16 cites 2 years ago

R.I.P. 👻 Ghosted

Configuration Validation with Large Language Models

Xinyu Lian, Yinfang Chen, ... (+5 more)

cs.SE 🏛 arXiv 📚 16 cites 2 years ago

R.I.P. 👻 Ghosted

Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit

Matteo Paltenghi, Michael Pradel

cs.SE 🏛 PACMSE 📚 16 cites 2 years ago

R.I.P. 👻 Ghosted

Test-Case Quality -- Understanding Practitioners' Perspectives

Huynh Khanh Vi Tran, Nauman Bin Ali, ... (+2 more)

cs.SE 🏛 ICPFSPI 📚 16 cites 2 years ago

R.I.P. 👻 Ghosted

The Influence of Cognitive Biases on Architectural Technical Debt

Klara Borowa, Andrzej Zalewski, Szymon Kijas

cs.SE 🏛 ICSA 📚 16 cites 2 years ago

🌅 💤 Eternal Rest

QuCAT: A Combinatorial Testing Tool for Quantum Software

Xinyi Wang, Paolo Arcaini, ... (+2 more)

cs.SE 🏛 ASE 📚 16 cites 2 years ago

R.I.P. 👻 Ghosted

JavaScript Dead Code Identification, Elimination, and Empirical Assessment

Ivano Malavolta, Kishan Nirghin, ... (+5 more)

cs.SE 🏛 IEEE TSE 📚 16 cites 2 years ago

R.I.P. 💀 404 Not Found

SoTaNa: The Open-Source Software Development Assistant

Ensheng Shi, Fengji Zhang, ... (+7 more)

cs.SE 🏛 arXiv 📚 16 cites 2 years ago

R.I.P. 👻 Ghosted

Towards Automatically Addressing Self-Admitted Technical Debt: How Far Are We?

Antonio Mastropaolo, Massimiliano Di Penta, Gabriele Bavota

cs.SE 🏛 ASE 📚 16 cites 2 years ago

R.I.P. 👻 Ghosted

Copilot for Xcode: Exploring AI-Assisted Programming by Prompting Cloud-based Large Language Models

Chee Wei Tan, Shangxin Guo, ... (+2 more)

cs.SE 🏛 arXiv 📚 16 cites 2 years ago

R.I.P. 👻 Ghosted

An Empirical Study of Bugs in Quantum Machine Learning Frameworks

Pengzhan Zhao, Xiongfei Wu, ... (+3 more)

cs.SE 🏛 ICQS 📚 16 cites 3 years ago

R.I.P. 👻 Ghosted

CONCORD: Clone-aware Contrastive Learning for Source Code

Yangruibo Ding, Saikat Chakraborty, ... (+5 more)

cs.SE 🏛 ISSTA 📚 16 cites 3 years ago

R.I.P. 👻 Ghosted

EvLog: Identifying Anomalous Logs over Software Evolution

Yintong Huo, Cheryl Lee, ... (+4 more)

cs.SE 🏛 ICSRE 📚 16 cites 3 years ago

R.I.P. 👻 Ghosted

A Comprehensive Study on Quality Assurance Tools for Java

Han Liu, Sen Chen, ... (+7 more)

cs.SE 🏛 ISSTA 📚 16 cites 3 years ago