Synthesis of assurance cases for software certification

Hamid Bagheri, Eunsuk Kang, Niloofar Mansoor. Synthesis of assurance cases for software certification. In Gregg Rothermel, Doo-Hwan Bae, editors, ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June - 19 July, 2020. pages 61-64, ACM, 2020. [doi]

Abstract

Abstract is missing.