1.4k citations
- National Research Council CanadaCA185 papers
- University of RochesterUS107 papers
- Carleton UniversityCA73 papers
- Centre National de la Recherche ScientifiqueFR64 papers
- Max Planck Institute for the Science of LightDE61 papers
- Friedrich-Alexander-Universität Erlangen-NürnbergDE48 papers
- University of WaterlooCA42 papers
- Joint Attosecond Science LaboratoryCA41 papers
- University of LuxembourgLU34 papers
- Lyon 1 UniversitéFR32 papers
- University of GlasgowGB30 papers
- Max Planck - University of Ottawa Centre for Extreme and Quantum PhotonicsCA28 papers
48 papers · 1 filter
LLM-Assisted Repository-Level Generation with Structured Spec-Driven Engineering
Shuzhao Feng, Boqi Chen, Brett H Meyer +1
State-of-the-art Large Language Models (LLMs) excel in code generation at the function level. However, the output quality significantly declines when scaling to repository-level sy…
DSL or Code? Evaluating the Quality of LLM-Generated Algebraic Specifications: A Case Study in Optimization at Kinaxis
Negin Ayoughi, David Dewar, Shiva Nejati +1
Model-driven engineering (MDE) provides abstraction and analytical rigour, but industrial adoption in many domains has been limited by the cost of developing and maintaining models…
Constrained Co-evolutionary Metamorphic Differential Testing for Autonomous Systems with an Interpretability Approach
Hossein Yousefizadeh, Shenghui Gu, Lionel C. Briand +1
Autonomous systems, such as autonomous driving systems, evolve rapidly through frequent updates, risking unintended behavioral degradations. Effective system-level testing is chall…
Efficient Black-Box Fault Localization for System-Level Test Code Using Large Language Models
Ahmadreza Saboor Yaraghi, Golnaz Gharachorlu, Sakina Fatima +3
Fault localization (FL) is a critical step in debugging, which typically relies on repeated executions to pinpoint faulty code regions. However, repeated executions can be impracti…
Mutation-Guided Unit Test Generation with a Large Language Model
Guancheng Wang, Qinghua Xu, Lionel Briand +1
Unit tests play a vital role in uncovering potential faults in software. While tools like EvoSuite focus on maximizing code coverage, recent advances in large language models (LLMs…
Requirements Coverage-Guided Minimization for Natural Language Test Cases
Rongqi Pan, Feifei Niu, Lionel C. Briand +1
As software systems evolve, test suites tend to grow in size and often contain redundant test cases. Such redundancy increases testing effort, time, and cost. Test suite minimizati…