Hyondeuk Kim HoonSang Jin Kavita Ravi Petr Spacek John Pierce Robert P. Kurshan Fabio Somenzi Application of Formal Word-Level Analysis to Constrained Random Simulation. 487-490 2008 CAV http://dx.doi.org/10.1007/978-3-540-70545-1_46 conf/cav/2008 db/conf/cav/cav2008.html#KimJRSPKS08