A bounded statistical approach for model checking of unbounded until properties.

Ru He Paul Jennings Samik Basu Arka P. Ghosh Huaiqing Wu A bounded statistical approach for model checking of unbounded until properties. 225-234 2010 ASE http://doi.acm.org/10.1145/1858996.1859043 conf/kbse/2010 db/conf/kbse/ase2010.html#HeJBGW10