%0 Conference Paper %1 conf/icst/BardinH09 %A Bardin, Sébastien %A Herrmann, Philippe %B ICST %D 2009 %I IEEE Computer Society %K %P 240-249 %T Pruning the Search Space in Path-Based Test Generation. %U http://dblp.uni-trier.de/db/conf/icst/icst2009.html#BardinH09 %@ 978-0-7695-3601-9

@inproceedings{conf/icst/BardinH09, added-at = {2023-12-12T22:33:09.000+0100}, author = {Bardin, Sébastien and Herrmann, Philippe}, biburl = {https://www.bibsonomy.org/bibtex/292a68d8448bc4d8add190c71983f597d/admin}, booktitle = {ICST}, crossref = {conf/icst/2009}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICST.2009.15}, interhash = {4b7ce4545048694fd42fa93cc67f3d54}, intrahash = {92a68d8448bc4d8add190c71983f597d}, isbn = {978-0-7695-3601-9}, keywords = {}, pages = {240-249}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T22:33:09.000+0100}, title = {Pruning the Search Space in Path-Based Test Generation.}, url = {http://dblp.uni-trier.de/db/conf/icst/icst2009.html#BardinH09}, year = 2009 }