automatic test case generation, execution and verification. In this paper, we will demonstrate and evaluate the usage of Spec … Explorer from Microsoft for defining and checking examples of software controlled system such as cruise control. Such formal …

testing tools like Spec Explorer while the presentation logic is recorded by a capture/replay tool. The two parts are …