Stem symstra$ (all stems)
1 papers:
- TACAS-2005-XieMSN #execution #framework #generative #named #object-oriented #symbolic computation #testing #using
- Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution (TX, DM, WS, DN), pp. 365–381.