Jian Zhang, Chen Xu, Xiaoliang Wang
Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques
SEFM, 2004.
@inproceedings{SEFM-2004-ZhangXW,
author = "Jian Zhang and Chen Xu and Xiaoliang Wang",
booktitle = "{Proceedings of the Second International Conference on Software Engineering and Formal Methods}",
doi = "10.1109/SEFM.2004.30",
isbn = "0-7695-2222-X",
pages = "242--250",
publisher = "{IEEE Computer Society}",
title = "{Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques}",
year = 2004,
}