T Xie, D Marinov, D Notkin - Proceedings of the 19th IEEE international …, 2004 - dl.acm.org
Object-oriented unit tests consist of sequences of method invocations. Behavior of an
invocation depends on the state of the receiver object and method arguments at the …