Exploiting Safety Properties in Bounded Model Checking for Test Cases Generation of C Programs

ROCHA, H. O. ; CORDEIRO, L. C. ; BARRETO, R. S. ; MAGALHÃES NETTO, J. F. . Exploiting Safety Properties in Bounded Model Checking for Test Cases Generation of C Programs. In: SAST, 2010, Natal. 4th Brazilian Workshop on Systematic and Automated Software Testing, 2010. p. 1-10.

2010