@InProceedings{HGB+10,
author={Ru He and Paul Jennings and Samik Basu and Arka Ghosh and Huaiqing Wu},
title={A bounded statistical approach for model checking of unbounded until properties},
booktitle={25th IEEE/ACM International Conference on Automated Software Engineering (ASE'10)},
year={2010},

editor={},
pages={225--234},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}