Roelof Jan Velthuys;Jürgen M. Schneider;Georg Zörntlein
-;-;-
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