Cristiano Bertolini: Evaluation of GUI testing techniques for system crashing: from real to model-based controlled experiments. Federal University of Pernambuco, Recife, Brazil 2010