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 ICTAC'04: Proceedings of the First international conference on Theoretical Aspects of Computing, pages 250-264, Berlin, Heidelberg, 2005. Springer-Verlag.