Browsing Research publications by Author "Novak, G"
Now showing items 1-1 of 1
-
Development of a framework for automated systematic testing of safety-critical embedded systems
Kandl, S.; Kirner, Raimund; Puschner, P. (Institute of Electrical and Electronics Engineers (IEEE), 2006)In this paper we introduce the development of a framework for testing safety-critical embedded systems based on the concepts of model-based testing. In model-based testing the test cases are derived from a model of the ...