MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases.

Nick L. S. Fung, Sahar Kokaly, Alessio Di Sandro, Rick Salay, Marsha Chechik

Browse the full SAFECOMP paper archive.