🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Setting AI in context: A case study on defining the context and operational design domain for automated driving

Hans-Martin Heyn, Padmini Subbiash, ... (+3 more)

cs.SE 🏛 Requirements Engineering: Foundation for Software Quality 📚 13 cites 4 years ago

R.I.P. 👻 Ghosted

DebtFree: Minimizing Labeling Cost in Self-Admitted Technical Debt Identification using Semi-Supervised Learning

Huy Tu, Tim Menzies

cs.SE 🏛 EMSE 📚 13 cites 4 years ago

R.I.P. 👻 Ghosted

DeepRelease: Language-agnostic Release Notes Generation from Pull Requests of Open-source Software

Huaxi Jiang, Jie Zhu, ... (+3 more)

cs.SE 🏛 Asia-Pacific Software Engineering Conference 📚 13 cites 4 years ago

R.I.P. 👻 Ghosted

Predictive Synthesis of API-Centric Code

Daye Nam, Baishakhi Ray, ... (+3 more)

cs.SE 🏛 MAPS@PLDI 📚 13 cites 4 years ago

R.I.P. 👻 Ghosted

A systematic literature review on counterexample explanation

Arut Prakash Kaleeswaran, Arne Nordmann, ... (+2 more)

cs.SE 🏛 IST 📚 13 cites 4 years ago

R.I.P. 👻 Ghosted

A Benchmark of JSON-compatible Binary Serialization Specifications

Juan Cruz Viotti, Mital Kinderkhedia

cs.SE 🏛 arXiv 📚 13 cites 4 years ago

R.I.P. 👻 Ghosted

Symptoms of Architecture Erosion in Code Reviews: A Study of Two OpenStack Projects

Ruiyin Li, Mohamed Soliman, ... (+2 more)

cs.SE 🏛 ICSA 📚 13 cites 4 years ago

R.I.P. 👻 Ghosted

On the Use of Agentic Coding: An Empirical Study of Pull Requests on GitHub

Miku Watanabe, Hao Li, ... (+4 more)

cs.SE 🏛 arXiv 📚 12 cites 9 months ago

R.I.P. 👻 Ghosted

Towards Robust Agentic CUDA Kernel Benchmarking, Verification, and Optimization

Robert Tjarko Lange, Qi Sun, ... (+4 more)

cs.SE 🏛 arXiv 📚 12 cites 9 months ago

R.I.P. 👻 Ghosted

NoCode-bench: A Benchmark for Evaluating Natural Language-Driven Feature Addition

Le Deng, Zhonghao Jiang, ... (+3 more)

cs.SE 🏛 arXiv 📚 12 cites 11 months ago

R.I.P. 👻 Ghosted

Code with Me or for Me? How Increasing AI Automation Transforms Developer Workflows

Valerie Chen, Ameet Talwalkar, ... (+2 more)

cs.SE 🏛 arXiv 📚 12 cites 11 months ago

R.I.P. 👻 Ghosted

The Effects of GitHub Copilot on Computing Students' Programming Effectiveness, Efficiency, and Processes in Brownfield Programming Tasks

Md Istiak Hossain Shihab, Christopher Hundhausen, ... (+4 more)

cs.SE 🏛 International Computing Education Research Workshop 📚 12 cites 1 year ago

R.I.P. 👻 Ghosted

SV-TrustEval-C: Evaluating Structure and Semantic Reasoning in Large Language Models for Source Code Vulnerability Analysis

Yansong Li, Paula Branco, ... (+5 more)

cs.SE 🏛 IEEE S&P 📚 12 cites 1 year ago

R.I.P. 👻 Ghosted

Challenges and Paths Towards AI for Software Engineering

Alex Gu, Naman Jain, ... (+8 more)

cs.SE 🏛 arXiv 📚 12 cites 1 year ago

R.I.P. 👻 Ghosted

A Methodology for Evaluating RAG Systems: A Case Study On Configuration Dependency Validation

Sebastian Simon, Alina Mailach, ... (+2 more)

cs.SE 🏛 arXiv 📚 12 cites 1 year ago

R.I.P. 👻 Ghosted

How much does AI impact development speed? An enterprise-based randomized controlled trial

Elise Paradis, Kate Grey, ... (+7 more)

cs.SE 🏛 ICSE 📚 12 cites 1 year ago

R.I.P. 👻 Ghosted

Contextualized Data-Wrangling Code Generation in Computational Notebooks

Junjie Huang, Daya Guo, ... (+8 more)

cs.SE 🏛 ASE 📚 12 cites 1 year ago

R.I.P. 👻 Ghosted

dafny-annotator: AI-Assisted Verification of Dafny Programs

Gabriel Poesia, Chloe Loughridge, Nada Amin

cs.SE 🏛 arXiv 📚 12 cites 1 year ago

R.I.P. 👻 Ghosted

Automatic High-Level Test Case Generation using Large Language Models

Navid Bin Hasan, Md. Ashraful Islam, ... (+3 more)

cs.SE 🏛 MSR 📚 12 cites 1 year ago

R.I.P. 👻 Ghosted

Issue2Test: Generating Reproducing Test Cases from Issue Reports

Noor Nashid, Islem Bouzenia, ... (+2 more)

cs.SE 🏛 arXiv 📚 12 cites 1 year ago

R.I.P. 👻 Ghosted

MANTRA: Enhancing Automated Method-Level Refactoring with Contextual RAG and Multi-Agent LLM Collaboration

Yisen Xu, Feng Lin, ... (+4 more)

cs.SE 🏛 arXiv 📚 12 cites 1 year ago

R.I.P. 👻 Ghosted

Unified Modeling Language Code Generation from Diagram Images Using Multimodal Large Language Models

Averi Bates, Ryan Vavricka, ... (+3 more)

cs.SE 🏛 Machine Learning with Applications 📚 12 cites 1 year ago

R.I.P. 👻 Ghosted

NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution

Jiachi Chen, Zhenzhe Shao, ... (+6 more)

cs.SE 🏛 IEEE TSE 📚 12 cites 1 year ago

R.I.P. 👻 Ghosted

Combining Large Language Models with Static Analyzers for Code Review Generation

Imen Jaoua, Oussama Ben Sghaier, Houari Sahraoui

cs.SE 🏛 MSR 📚 12 cites 1 year ago