2 papers
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.SE2024
PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases
Logan Murphy, Torin Viger, Alessio Di Sandro +1
In critical software engineering, structured assurance cases (ACs) are used to demonstrate how key properties (e.g., safety, security) are supported by evidence artifacts (e.g., te…