[PDF] umich.edu

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

T Xie, D Marinov, W Schulte, D Notkin - eecs.umich.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] github.io

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

T Xie, D Marinov, W Schulte, D Notkin - taoxiease.github.io
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] kit.edu

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

T Xie, D Marinov, W Schulte, D Notkin - asa.iti.kit.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] uiuc.edu

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

T Xie, D Marinov, W Schulte, D Notkin - mir.cs.uiuc.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 …

[引用][C] 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 …, 2005 - Springer

[引用][C] 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 …, 2005 - cir.nii.ac.jp
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution |
CiNii Research CiNii 国立情報学研究所 学術情報ナビゲータ[サイニィ] 論文・データをさがす 大学 …
[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 - mir.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 …

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

TAO XIE, D MARINOV, W SCHULTE… - Lecture notes in computer …, 2005 - Springer
[PDF] washington.edu

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

T Xie, D Marinov, W Schulte, D Notkin - 2004 - dada.cs.washington.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] psu.edu

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

T Xie, D Marinov, W Schulte, D Notkin - Citeseer
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 …