Structured Stochastic Modeling of Fault-Tolerant Systems. - Cristiano Bertolini; Leonardo Brenner; Paulo Fernandes 001; Afonso Sales; Avelino F. Zorzo (MASCOTS, 2004)

Test Case Generation Using Stochastic Automata Networks: Quantitative Analysis. - Cristiano Bertolini; André G. Farina; Paulo Fernandes 001; Flávio Moreira Oliveira (SEFM, 2004)

Using Refinement Checking as System Testing. - Cristiano Bertolini; Alexandre Mota 001 (CIbSE, 2008)

An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs. - Cristiano Bertolini; Glaucia Peres; Marcelo d'Amorim; Alexandre Mota 001 (ICST, 2009)

Using Probabilistic Model Checking to Evaluate GUI Testing Techniques. - Cristiano Bertolini; Alexandre Mota 001 (SEFM, 2009)

A Framework for GUI Testing Based on Use Case Design. - Cristiano Bertolini; Alexandre Mota 001 (ICST Workshops, 2010)

GUI Testing Techniques Evaluation by Designed Experiments. - Cristiano Bertolini; Alexandre Mota 001; Eduardo Aranha; Cristiano Ferraz (ICST, 2010)

Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis. - Cristiano Bertolini; Alexandre Mota 001; Eduardo Aranha (ISSRE, 2010)

Evaluation of GUI testing techniques for system crashing: from real to model-based controlled experiments. - Cristiano Bertolini (2010)

Towards a Formal Integrated Model of Collaborative Healthcare Workflows. - Cristiano Bertolini; Martin Schäf; Volker Stolz (FHIES, 2011)

Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation. - Stephan Arlt; Cristiano Bertolini; Martin Schäf (ICST Workshops, 2011)

Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets. - Cristiano Bertolini; Zhiming Liu 001; Jirí Srba (FHIES, 2012)

Lightweight Static Analysis for GUI Testing. - Stephan Arlt; Andreas Podelski; Cristiano Bertolini; Martin Schäf; Ishan Banerjee; Atif M. Memon (ISSRE, 2012)

COMPASS tool vision for a system of systems Collaborative Development Environment. - Joey W. Coleman; Anders Kaels Malmos; Peter Gorm Larsen; Jan Peleska 001; Ralph Hains; Zoe Andrews; Richard John Payne; Simon Foster 001; Alvaro Miyazawa; Cristiano Bertolini; André Didier (SoSE, 2012)

Infeasible Code Detection. - Cristiano Bertolini; Martin Schäf; Pascal Schweitzer (VSTTE, 2012)

Trends in Model-based GUI Testing. - Stephan Arlt; Cristiano Bertolini; Simon Pahl; Martin Schäf (Adv. Comput., 2012)

Grey-box GUI Testing: Efficient Generation of Event Sequences - Stephan Arlt; Ishan Banerjee; Cristiano Bertolini; Atif M. Memon; Martin Schäf (CoRR, 2012)