🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation

Ye Liu, Yue Xue, ... (+5 more)

cs.SE 🏛 NDSS 📚 74 cites 2 years ago

📚 📚 The Cartographer

A Taxonomy for Requirements Engineering and Software Test Alignment

Michael Unterkalmsteiner, Robert Feldt, Tony Gorschek

cs.SE 🏛 ACM TOSEM 📚 74 cites 2 years ago

R.I.P. 👻 Ghosted

Towards AI-Assisted Synthesis of Verified Dafny Methods

Md Rakib Hossain Misu, Cristina V. Lopes, ... (+2 more)

cs.SE 🏛 PACMSE 📚 73 cites 2 years ago

R.I.P. 👻 Ghosted

Spellburst: A Node-based Interface for Exploratory Creative Coding with Natural Language Prompts

Tyler Angert, Miroslav Ivan Suzara, ... (+3 more)

cs.SE 🏛 UIST 📚 73 cites 2 years ago

R.I.P. 👻 Ghosted

How Bad Can a Bug Get? An Empirical Analysis of Software Failures in the OpenStack Cloud Computing Platform

Domenico Cotroneo, Luigi De Simone, ... (+3 more)

cs.SE 🏛 FSE 📚 73 cites 6 years ago

R.I.P. 👻 Ghosted

Input Prioritization for Testing Neural Networks

Taejoon Byun, Vaibhav Sharma, ... (+3 more)

cs.SE 🏛 AI 📚 73 cites 7 years ago

R.I.P. 👻 Ghosted

Towards effective AI-powered agile project management

Hoa Khanh Dam, Truyen Tran, ... (+3 more)

cs.SE 🏛 ICSE 📚 73 cites 7 years ago

R.I.P. 👻 Ghosted

On Testing Quantum Programs

Andriy Miranskyy, Lei Zhang

cs.SE 🏛 ICSE 📚 73 cites 7 years ago

R.I.P. 👻 Ghosted

Badger: Complexity Analysis with Fuzzing and Symbolic Execution

Yannic Noller, Rody Kersten, Corina S. Păsăreanu

cs.SE 🏛 ISSTA 📚 73 cites 8 years ago

R.I.P. 👻 Ghosted

An Empirical Study on Android-related Vulnerabilities

Mario Linares-Vasquez, Gabriele Bavota, Camilo Escobar-Velasquez

cs.SE 🏛 MSR 📚 73 cites 9 years ago

R.I.P. 👻 Ghosted

FAST$^2$: an Intelligent Assistant for Finding Relevant Papers

Zhe Yu, Tim Menzies

cs.SE 🏛 ESWA 📚 73 cites 9 years ago

R.I.P. 👻 Ghosted

Classifying and Qualifying GUI Defects

Valéria Lelli, Arnaud Blouin, Benoit Baudry

cs.SE 🏛 ICICST 📚 73 cites 9 years ago

R.I.P. 👻 Ghosted

Systematic Mapping Study of Template-based Code Generation

Eugene Syriani, Lechanceux Luhunu, Houari Sahraoui

cs.SE 🏛 Computer languages, systems & structures 📚 73 cites 9 years ago

R.I.P. 👻 Ghosted

A literature survey of the quality economics of defect-detection techniques

Stefan Wagner

cs.SE 🏛 EMSE 📚 73 cites 9 years ago

R.I.P. 👻 Ghosted

Investigating ChatGPT's Potential to Assist in Requirements Elicitation Processes

Krishna Ronanki, Christian Berger, Jennifer Horkoff

cs.SE 🏛 EUROMICRO Conference on Software Engineering and Advanced Applications 📚 73 cites 2 years ago

R.I.P. 👻 Ghosted

Actionable and Interpretable Fault Localization for Recurring Failures in Online Service Systems

Zeyan Li, Nengwen Zhao, ... (+12 more)

cs.SE 🏛 FSE 📚 73 cites 3 years ago

R.I.P. 👻 Ghosted

The Impact of Using Regression Models to Build Defect Classifiers

Gopi Krishnan Rajbahadur, Shaowei Wang, ... (+2 more)

cs.SE 🏛 MSR 📚 73 cites 4 years ago

R.I.P. 👻 Ghosted

Selecting Fault Revealing Mutants

Thierry Titcheu Chekam, Mike Papadakis, ... (+3 more)

cs.SE 🏛 EMSE 📚 72 cites 8 years ago

R.I.P. 👻 Ghosted

A Feature-based Classification of Model Repair Approaches

Nuno Macedo, Tiago Jorge, Alcino Cunha

cs.SE 🏛 IEEE TSE 📚 72 cites 11 years ago

R.I.P. 👻 Ghosted

NLP-based Automated Compliance Checking of Data Processing Agreements against GDPR

Orlando Amaral, Muhammad Ilyas Azeem, ... (+2 more)

cs.SE 🏛 IEEE TSE 📚 72 cites 3 years ago

R.I.P. 👻 Ghosted

AUGER: Automatically Generating Review Comments with Pre-training Models

Lingwei Li, Li Yang, ... (+6 more)

cs.SE 🏛 FSE 📚 72 cites 3 years ago

R.I.P. 👻 Ghosted

Morest: Model-based RESTful API Testing with Execution Feedback

Yi Liu, Yuekang Li, ... (+7 more)

cs.SE 🏛 ICSE 📚 72 cites 4 years ago

R.I.P. 👻 Ghosted

Towards a Roadmap on Software Engineering for Responsible AI

Qinghua Lu, Liming Zhu, ... (+3 more)

cs.SE 🏛 2022 IEEE/ACM 1st International Conference on AI Engineering – Software Engineering for AI (CAIN) 📚 72 cites 4 years ago

R.I.P. 👻 Ghosted

On Continuous Integration / Continuous Delivery for Automated Deployment of Machine Learning Models using MLOps

Satvik Garg, Pradyumn Pundir, ... (+4 more)

cs.SE 🏛 AI 📚 72 cites 4 years ago