Incremental Refinement Checking for Test Case Generation

B. K. Aichernig, E. Jöbstl, and M. Kegele

Abstract:

Reference: B. K. Aichernig, E. Jöbstl, and M. Kegele. Incremental refinement checking for test case generation. In M. Veanes and L. Viganò, editors, Tests and Proofs, volume 7942 of Lecture Notes in Computer Science, pages 1-19. Springer Berlin Heidelberg, 2013.