| 2012 | ISSRE | Lightweight Static Analysis for GUI Testing. | Stephan Arlt, Andreas Podelski, Cristiano Bertolini, Martin Schf, Ishan Banerjee, Atif M. Memon |
| 2011 | ICST | Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation. | Stephan Arlt, Cristiano Bertolini, Martin Schf |
| 2010 | ICST | A Framework for GUI Testing Based on Use Case Design. | Cristiano Bertolini, Alexandre Mota |
| 2010 | ICST | GUI Testing Techniques Evaluation by Designed Experiments. | Cristiano Bertolini, Alexandre Mota, Eduardo Aranha, Cristiano Ferraz |
| 2010 | ISSRE | Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis. | Cristiano Bertolini, Alexandre Mota, Eduardo Aranha |
| 2009 | ICST | An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs. | Cristiano Bertolini, Glaucia Peres, Marcelo d'Amorim, Alexandre Mota |
| 2009 | SEFM | Using Probabilistic Model Checking to Evaluate GUI Testing Techniques. | Cristiano Bertolini, Alexandre Mota |
| 2004 | MASCOTS | Structured Stochastic Modeling of Fault-Tolerant Systems. | Cristiano Bertolini, Leonardo Brenner, Paulo Fernandes, Afonso Sales, Avelino F. Zorzo |
| 2004 | SEFM | Test Case Generation Using Stochastic Automata Networks: Quantitative Analysis. | Cristiano Bertolini, Andr G. Farina, Paulo Fernandes, Flvio Moreira Oliveira |