Model Validation using Automatically Generated Requirements-Based Tests

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA
Pages	95-104
Number of pages	10
DOIs	https://doi.org/10.1109/HASE.2007.52
Publication status	Published - 2007

Access to Document

@inproceedings{43708fe4ff7b413a9b77d43c6a767eca,

title = "Model Validation using Automatically Generated Requirements-Based Tests",

author = "Ajitha Rajan and Whalen, {Michael W.} and Heimdahl, {Mats Per Erik}",

year = "2007",

doi = "10.1109/HASE.2007.52",

language = "English",

pages = "95--104",

booktitle = "Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA",

}

TY - GEN

T1 - Model Validation using Automatically Generated Requirements-Based Tests

AU - Rajan, Ajitha

AU - Whalen, Michael W.

AU - Heimdahl, Mats Per Erik

PY - 2007

Y1 - 2007

U2 - 10.1109/HASE.2007.52

DO - 10.1109/HASE.2007.52

M3 - Conference contribution

SP - 95

EP - 104

BT - Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA

ER -