Tomás Robles;José A. Mañas;Gabriel Huecas
-;-;-
Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right