DMCA
Symstra: A framework for generating object-oriented unit tests using symbolic execution (2005)
Cached
Download Links
by
Tao Xie
,
Darko Marinov
,
Wolfram Schulte
,
David Notkin
Venue: | In TACAS |
Citations: | 140 - 18 self |