Model Validation using Automatically Generated Requirements-Based Tests

Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationTenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA
Pages95-104
Number of pages10
DOIs
Publication statusPublished - 2007

Cite this