Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study.

Juan C. Burguillo-Rial, Manuel J. Fernndez-Iglesias, Francisco J. Gonzlez-Castao, Martn Llamas Nistal

Browse the full FM paper archive.