A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement.

Fei He Xiaoyu Song Ming Gu Jia-Guang Sun A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. 39-50 2006 conf/atva/2006 ATVA http://dx.doi.org/10.1007/11901914_6 db/conf/atva/atva2006.html#HeSGS06