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:
Related Articles:
-
Kamala Ramasubramani Jayakumar, Alain Abran
-
Saher Manaseer, Warif Manasir, Mohammad Alshraideh, Nabil Abu Hashish, Omar Adwan
-
Tafsir Malick Ndiaye
-
Kai Wang
-
Vladimir Vasin, Georgy Skorik, Evgeny Pimonov, Fikri Kuchuk