Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification.

Atif Mashkoor, Michael Leuschel, Alexander Egyed

Browse the full ICSE paper archive.