Simulation-based Validation and Defect Localization for Evolving, Semi-Formal Requirements Models.

Christian Seybold, Silvio Meier

Browse the full APSEC paper archive.