Jianbin Tan George S. Avrunin Lori A. Clarke Managing space for finite-state verification. 152-161 2006 conf/icse/2006 ICSE http://doi.acm.org/10.1145/1134308 db/conf/icse/icse2006.html#TanAC06