Heuristic-driven Techniques for Test Case Selection

Abstract

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… (More)
DOI: 10.1016/S1571-0661(04)80403-1

Topics

5 Figures and Tables

Slides referencing similar topics