@InProceedings{BM09,
author={C. Berttolini and A. Mota},
title={Using Probabilistic Model Checking to Evaluate GUI Testing Techniques},
booktitle={Proc. 7th IEEE International Conference on Software Engineering and Formal Methods},
year={2009},

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