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