Article citationsMore>>

Zhang, J., Xu, C. and Wang, X. (2004) Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques. Proceedings of the Second International Conference on Software Engineering and Formal Methods (SEFM’04), 14, 242-250.
http://dx.doi.org/10.1109/SEFM.2004.1347528

has been cited by the following article: