Dynamic Assertions Using TXP. - Surrendra Dudani; Joao Geada; Grzegorz Jakacki; Daniel Vainer (RV@CAV, 2001)

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)