Object-oriented behavioral testing through trace generation
Anastasia Tircuit, Boumediene Belkhouche · 2005
One challenge in software design is ensuring that the design meets the requirements of the user. One way to do this is to create a prototype from the design, then devising a set of test cases to test for the behavioral requirements. Here we present our automated prototype generator and method for testing behavior.