Static approach for debugging of test scenarious generated with usage of heuristics.

Conference "Technologies Microsoft in the theory and programming practice"

The paper presents a debugging approach for automatic generated tests from high level Use Case Map-specification with usage of heuristics. The incremental algorithm of bugs finding and fixing in generated tests as well as in the model is described. Usage of the algorithm is presented on UCM project with two threads.