Jingsong Zhu;Son T. Vuong;Samuel T. Chanson
-;-;-
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