3 papers
cs.SE2026
Can Formal Specifications Be Synthesized from Tests Alone?
Tianhai Liu, Maximilian Müller, Tobias Hey +4
Formal specifications offer strong guarantees, but remain costly to write manually. Recent LLM-based approaches automate this by inferring specifications from source code, yet thei…
cs.SE2026
Keeping Models and Code in Sync: Roundtrip Engineering for Tactical Domain-Driven Design
Weixing Zhang, Mario Herb, Wai Chung Dorothy Cheng +4
Domain-Driven Design gives teams a shared vocabulary for complex business logic, but that vocabulary only stays useful as long as the model and the code agree with each other. In p…
cs.SE2023
TEASER: Simulation-based CAN Bus Regression Testing for Self-driving Cars Software
Christian Birchler, Cyrill Rohrbach, Hyeongkyun Kim +5
Software systems for safety-critical systems like self-driving cars (SDCs) need to be tested rigorously. Especially electronic control units (ECUs) of SDCs should be tested with re…