Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution
Journal
-
- 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
- Tweet
Details 詳細情報について
-
- CRID
- 1360294647810766464
-
- ISSN
- 16113349
- 03029743
-
- Data Source
-
- Crossref