Heuristic-driven Techniques for Test Case Selection
Juan C. Burguillo, Martín Llamas Nistal, Manuel José Fernández Iglesias, Tomás Robles · Electronic Notes in Theoretical Computer Science · 2002
We propose an approach to testing that combines formal methods with practical criteria, close to the testing engineer's experience. It can be seen as a framework to evaluate and select test suites using formal methods, assisted by informal heuristics. We also introduce the formalism of enriched transition systems to store information obtained during the testing phase, and to adapt classical test generation techniques to take advantage of the possibilities of the new formalism.