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.
by Michael Achenbach and Klaus Ostermann
In Workshop on Testing Object-Oriented Systems. ACM, 2010.