Pierre-Cyrille Héam, Catherine Masson
A Random Testing Approach Using Pushdown Automata
TAP, 2011.
@inproceedings{TAP-2011-HeamM, author = "Pierre-Cyrille Héam and Catherine Masson", booktitle = "{Proceedings of the Fifth International Conference on Tests and Proofs}", doi = "10.1007/978-3-642-21768-5_10", isbn = "978-3-642-21767-8", pages = "119--133", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Random Testing Approach Using Pushdown Automata}", volume = 6706, year = 2011, }