Symstra: A framework for generating object-oriented unit tests using symbolic execution (2005)

by T XIE, D MARINOV, W SCHULTE, D NOTKIN
Venue:In Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 05