Behrouz Tork Ladani Baptiste Alcalde Ana R. Cavalli Passive Testing - A Constrained Invariant Checking Approach. 9-22 2005 conf/pts/2005 TestCom http://dx.doi.org/10.1007/11430230_2 db/conf/pts/testcom2005.html#LadaniAC05