Jens R. Calame, Natalia Ioustinova, Jaco van de Pol. Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction. Electronic Notes in Theoretical Computer Science, 191:25-48, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.