Paul Dan Marinescu, Cristian Cadar. make test-zesti: A symbolic execution solution for improving regression testing. In Martin Glinz, Gail C. Murphy, Mauro Pezzè, editors, 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland. pages 716-726, IEEE, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.