Assembling unit models to perform integration testing often lead to both state explosion and the repeated work of unit testing. To mitigate the above crux, we present a novel integration testing approach, which derives integration test cases from the composition of unit test cases instead of unit models. Thus, the integration testing is performed efficiently and the difficulties of model combin...

Input-output conformance test theory for discrete systems has established itself in research and industry already. A couple of years ago also input-output conformance test theories for timed systems were defined. The next step is to develop conformance test theory for hybrid systems as well. In this report we present a conformance relation for model-based testing of hybrid systems and we formal...

System verification is often hindered by the absence of formal models. Peled et al. proposed black-box checking as a solution to this problem. This technique applies active automata learning to infer models of systems with unknown internal structure. This kind of learning relies on conformance testing to determine whether a learned model actually represents the considered system. Since conforma...