|
[BM09]
Cristiano Bertolini and Alexandre Mota.
Using Probabilistic Model Checking to Evaluate GUI Testing Techniques.
In Proc. 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM'09).
2009.
[bib]
http://www.cin.ufpe.br/~cb2/
[Uses PRISM to evaluate software testing techniques for graphical user interfaces.]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://www.cin.ufpe.br/~cb2/
|