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

Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin

Research output: Contribution to journalConference articlepeer-review

Fingerprint

Dive into the research topics of 'Symstra: A framework for generating object-oriented unit tests using symbolic execution'. Together they form a unique fingerprint.

Mathematics