Atif Mashkoor, Michael Leuschel, Alexander Egyed. Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification. In 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, ICSE (NIER) 2021, Madrid, Spain, May 25-28, 2021. pages 1-5, IEEE, 2021. [doi]
Abstract is missing.