Assurance Case Development for Evolving Software Product Lines: A Formal Approach

Logan Murphy, Torin Viger, Alessio Di Sandro, Aren A. Babikian, Marsha Chechik. Assurance Case Development for Evolving Software Product Lines: A Formal Approach. Formal Asp. Comput., 38(2), June 2026. [doi]

Abstract

Abstract is missing.