Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution
収録刊行物
-
- Tools and Algorithms for the Construction and Analysis of Systems
-
Tools and Algorithms for the Construction and Analysis of Systems 365-381, 2005
Springer Berlin Heidelberg