@inproceedings{FATES-2003-FernandezMP,
author = "Jean-Claude Fernandez and Laurent Mounier and Cyril Pachon",
booktitle = "{Revised Selected Papers of the Third International Workshop on Formal Approaches to Testing of Software and International Workshop on Runtime Verification}",
doi = "10.1007/978-3-540-24617-6_11",
isbn = "3-540-20894-1",
pages = "147--163",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Property Oriented Test Case Generation}",
volume = 2931,
year = 2003,
}
Tags: