Article citationsMore>>
Fernandez, J.-C., Jard, C., Jéron, T. and Viho, C. (1996) Using On-the-Fly Verification Techniques for the Generation of Test Suites. In: Alur, R. and Henzinger, T.A., Eds., Computer Aided Verification, Springer, Berlin, 348-359.
http://dx.doi.org/10.1007/3-540-61474-5_82
has been cited by the following article:
Related Articles:
-
Jai Dev Chandel, Nand Lal Singh
-
Mohamed H. Dridi
-
Thomas Stenersen
-
Ji-Hyun Hwang, Ki-Tae Park
-
J.L. Imana