@inproceedings{TAP-2010-ChebaroKGJ,
author = "Omar Chebaro and Nikolai Kosmatov and Alain Giorgetti and Jacques Julliand",
booktitle = "{Proceedings of the Fourth International Conference on Tests and Proofs}",
doi = "10.1007/978-3-642-13977-2_9",
isbn = "978-3-642-13976-5",
pages = "94--100",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Combining Static Analysis and Test Generation for C Program Debugging}",
volume = 6143,
year = 2010,
}
Tags: