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

T Xie, D Marinov, W Schulte, D Notkin - … , TACAS 2005, Held as Part of the …, 2005 - Springer
Object-oriented unit tests consist of sequences of method invocations. Behavior of an
invocation depends on the method's arguments and the state of the receiver at the …
被引用次数：375 相关文章

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

T Xie, D Marinov, W Schulte, D Notkin - … on Tools and Algorithms for the …, 2005 - dl.acm.org
Object-oriented unit tests consist of sequences of method invocations. Behavior of an
invocation depends on the method's arguments and the state of the receiver at the …

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

T Xie, D Marinov, W Schulte… - Lecture Notes in …, 2005 - experts.illinois.edu
Object-oriented unit tests consist of sequences of method invocations. Behavior of an
invocation depends on the method's arguments and the state of the receiver at the …

Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution

T Xie, D Marinov, W Schulte… - … 2005, Held as Part of the …, 2005 - books.google.com
Object-oriented unit tests consist of sequences of method invocations. Behavior of an
invocation depends on the method's arguments and the state of the receiver at the …

Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution

T Xie, D Marinov, W Schulte, D Notkin - Tools and Algorithms for the Construction … - Springer
Object-oriented unit tests consist of sequences of method invocations. Behavior of an
invocation depends on the method's arguments and the state of the receiver at the …
[PDF] illinois.edu

[PDF][PDF] Symstra: A Framework for Generating Object-Oriented Unit Tests using Symbolic Execution

T Xie, D Marinov, W Schulte, D Notkin - taoxie.cs.illinois.edu
Object-oriented unit tests consist of sequences of method invocations. Behavior of an
invocation depends on the method's arguments and the state of the receiver at the …
[PDF] researchgate.net

[PDF][PDF] Symstra: A Framework for Generating Object-Oriented Unit Tests using Symbolic Execution

T Xie, D Marinov, W Schulte, D Notkin - researchgate.net
Object-oriented unit tests consist of sequences of method invocations. Behavior of an
invocation depends on the method's arguments and the state of the receiver at the …

Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution

T Xie, D Marinov, W Schulte, D Notkin - Tools and Algorithms for the Construction … - infona.pl
Object-oriented unit tests consist of sequences of method invocations. Behavior of an
invocation depends on the method's arguments and the state of the receiver at the …

[引用][C] Symstra: A framework for generating object-oriented unit tests using symbolic execution

TAO XIE, D MARINOV, W SCHULTE… - Lecture notes in …, 2005 - pascal-francis.inist.fr
Symstra : A framework for generating object-oriented unit tests using symbolic execution
CNRS Inist Pascal-Francis CNRS Pascal and Francis Bibliographic Databases Simple …
[PDF] academia.edu

[PDF][PDF] Symstra: A Framework for Generating Object-Oriented Unit Tests using Symbolic Execution

T Xie, D Marinov, W Schulte, D Notkin - academia.edu
Object-oriented unit tests consist of sequences of method invocations. Behavior of an
invocation depends on the method's arguments and the state of the receiver at the …