3 papers
cs.SE2026
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…
cs.SE2025
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…
cs.SE2025
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.…