%0 Conference Paper %1 conf/tap/ChebaroKGJ10 %A Chebaro, Omar %A Kosmatov, Nikolai %A Giorgetti, Alain %A Julliand, Jacques %B TAP@TOOLS %D 2010 %E Fraser, Gordon %E Gargantini, Angelo %I Springer %K %P 94-100 %T Combining Static Analysis and Test Generation for C Program Debugging. %U http://dblp.uni-trier.de/db/conf/tap/tap2010.html#ChebaroKGJ10 %V 6143 %@ 978-3-642-13976-5

@inproceedings{conf/tap/ChebaroKGJ10, added-at = {2023-12-12T17:06:38.000+0100}, author = {Chebaro, Omar and Kosmatov, Nikolai and Giorgetti, Alain and Julliand, Jacques}, biburl = {https://www.bibsonomy.org/bibtex/244225d53e15022bd3b7a7471488b2cb1/admin}, booktitle = {TAP@TOOLS}, crossref = {conf/tap/2010}, editor = {Fraser, Gordon and Gargantini, Angelo}, ee = {https://doi.org/10.1007/978-3-642-13977-2_9}, interhash = {019098d3fa28576cdbe6223f9589de3d}, intrahash = {44225d53e15022bd3b7a7471488b2cb1}, isbn = {978-3-642-13976-5}, keywords = {}, pages = {94-100}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T17:06:38.000+0100}, title = {Combining Static Analysis and Test Generation for C Program Debugging.}, url = {http://dblp.uni-trier.de/db/conf/tap/tap2010.html#ChebaroKGJ10}, volume = 6143, year = 2010 }