Eberhard Karls Universität Tübingen

Mathematisch-Naturwissenschaftliche FakultätProgramming Languages and Software Technology

Testing object-oriented programs using dynamic aspects and non-determinism

by Michael Achenbach and Klaus Ostermann

In Workshop on Testing Object-Oriented Systems. ACM, 2010.