7 papers
Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables
Aren A. Babikian, Alessio Di Sandro, Federico Formica +2
The development of complex software systems, e.g., cyber-physical systems (CPSs), involves continuous evolution of both system implementations and their requirements. These two art…
Projectional Decoding: Towards Semantic-Aware LLM Generation
Boqi Chen, José Antonio Hernández López, Aren A. Babikian
Large language models (LLMs) are increasingly used to generate software artifacts across many software engineering (SE) tasks, yet ensuring the semantic validity of these artifacts…
Abductive Vibe Coding (Extended Abstract)
Logan Murphy, Aren A. Babikian, Marsha Chechik
When software artifacts are generated by AI models ("vibe coding"), human engineers assume responsibility for validating them. Ideally, this validation would be done through the cr…
Assurance Case Development for Evolving Software Product Lines: A Formal Approach
Logan Murphy, Torin Viger, Alessio Di Sandro +2
In critical software engineering, structured assurance cases (ACs) are used to demonstrate how key system properties are supported by evidence (e.g., test results, proofs). Creatin…
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation
Boqi Chen, Aren A. Babikian, Shuzhao Feng +2
Requirements over strings, commonly represented using natural language (NL), are particularly relevant for software systems due to their heavy reliance on string data manipulation.…
Automated and Complete Generation of Traffic Scenarios at Road Junctions Using a Multi-level Danger Definition
Aren A. Babikian, Attila Ficsor, Oszkár Semeráth +2
To ensure their safe use, autonomous vehicles (AVs) must meet rigorous certification criteria that involve executing maneuvers safely within (arbitrary) scenarios where other actor…