%0 Conference Paper %1 conf/sefm/ZhangXW04 %A Zhang, Jian %A Xu, Chen %A Wang, Xiaoliang %B SEFM %D 2004 %I IEEE Computer Society %K dblp %P 242-250 %T Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2004.html#ZhangXW04 %@ 0-7695-2222-X

@inproceedings{conf/sefm/ZhangXW04, added-at = {2023-03-24T00:00:00.000+0100}, author = {Zhang, Jian and Xu, Chen and Wang, Xiaoliang}, biburl = {https://www.bibsonomy.org/bibtex/27224fb5dcba7f9e85a941e1bed1a5023/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2004}, ee = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.30}, interhash = {00acf7d2c4ebf26c68c3141eb231325d}, intrahash = {7224fb5dcba7f9e85a941e1bed1a5023}, isbn = {0-7695-2222-X}, keywords = {dblp}, pages = {242-250}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:21:22.000+0200}, title = {Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2004.html#ZhangXW04}, year = 2004 }