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 …
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 …
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
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 国立情報学研究所 学術情報ナビゲータ[サイニィ] 論文・データをさがす 大学 …
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
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 …
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 …