tCJ-CI27

JC Fernandez, C. Jard, T. Jéron, C. Viho. Using on-the-fly Verification Techniques for the Generation of Test Suites. In Computer Aided Verification (CAV96), LNCS, Boston, August 1996.

Keyword

[ Monitoring ]

Contact

Claude Jard http://www.irisa.fr/distribcom

BibTex Reference

@InProceedings{tCJ-CI27,
   Author = {Fernandez, JC and Jard, C. and Jéron, T. and Viho, C.},
   Title = {Using on-the-fly Verification Techniques for the Generation of Test    Suites},
   BookTitle = {Computer Aided Verification (CAV96)},
   Number = {1102},
   Series = {LNCS},
   Publisher = {Springer Verlag},
   Address = {Boston},
   Month = {August},
   Year = {1996}
}

EndNote Reference [help]

Get EndNote Reference (.ref)