Combining Algebraic and Model-based Test Case Generation

L. Dan and B. K. Aichernig

Abstract:

Reference: L. Dan and B. K. Aichernig. Combining algebraic and model-based test case generation. In Proceedings of ICTAC 2004, the First International Colloquium on Theoretical Aspects of Computing, Guiyang, China 20-24 September 2004, volume 3407 of Lecture Notes in Computer Science, pages 250-264. Springer-Verlag, 2004.