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.- Sort by
- Weight
- Alphabetically
Symstra: A framework for generating object-oriented unit tests using symbolic execution
Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin
Research output: Contribution to journal › Conference article › peer-review