2 papers
cs.SE2026
Lessons from Formally Verified Deployed Software Systems (Extended version)
Li Huang, Sophie Ebersold, Alexander Kogtenkov +2
The technology of formal software verification has made spectacular advances, but how much does it actually benefit the development of practical software? Considerable disagreement…
cs.SE2025
UOOR: Seamless and Traceable Requirements
Maria Naumcheva, Sophie Ebersold, Jean-Michel Bruel +1
In industrial practice, requirements are an indispensable element of any serious software project. In the academic study of software engineering, requirements are one of the heavil…