Incremental test case generation using bounded model checking: an application to automatic rating. - Grzegorz Anielak; Grzegorz Jakacki; Slawomir Lasota 001 (Int. J. Softw. Tools Technol. Transf., 2015)