@inproceedings{4578135c95e7483d9bf31412536de1b1,
title = "Automated model-based testing of simulation models with TorX",
abstract = "Simulation models are used for performance optimization and validation of embedded systems. However, these models are usually not validated in a structural, formal, way. This paper describes a method for testing a ¿-model using the model-based test-tool TorX. The method is explained by using a simple example. After that, we describe the results of a case study performed on a simulation model of an industrial system.",
author = "{Osch, van}, M.P.W.J.",
year = "2005",
doi = "10.1007/11558569_17",
language = "English",
isbn = "3-540-29033-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "227--241",
editor = "R. Reussner and J. Mayer and J.A. Stafford and S. Overhage and S. Becker and P.J. Schroeder",
booktitle = "Quality of Software Architectures and Software Quality (Proceedings QoSA2005 and SOQUA2005, Erfurt, Germany, September 20-22, 2005)",
address = "Germany",
}