Sébastien Chédor, Thierry Jéron, Christophe Morvan
Test Generation from Recursive Tiles Systems
TAP, 2012.
@inproceedings{TAP-2012-ChedorJM,
author = "Sébastien Chédor and Thierry Jéron and Christophe Morvan",
booktitle = "{Proceedings of the Sixth International Conference on Tests and Proofs}",
doi = "10.1007/978-3-642-30473-6_9",
isbn = "978-3-642-30472-9",
pages = "99--114",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Test Generation from Recursive Tiles Systems}",
volume = 7305,
year = 2012,
}