Cristiano Bertolini

Publication Activity (10 Years)

Years Active: 2004-2012
Publications (10 Years): 0

Top Venues

VSTTE

CoRR

ISSRE

Adv. Comput.

Federal University of Pernambuco, Recife, Brazil (PHD)

Education History

Federal University of Pernambuco, Recife, Brazil

PHD

Publications

Stephan Arlt, Ishan Banerjee, Cristiano Bertolini, Atif M. Memon, Martin Schäf
Grey-box GUI Testing: Efficient Generation of Event Sequences CoRR (2012)
Cristiano Bertolini, Zhiming Liu, Jirí Srba
Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets. FHIES (2012)
Stephan Arlt, Cristiano Bertolini, Simon Pahl, Martin Schäf
Trends in Model-based GUI Testing. Adv. Comput. 86 (2012)
Cristiano Bertolini, Martin Schäf, Pascal Schweitzer
Infeasible Code Detection. VSTTE (2012)
Stephan Arlt, Andreas Podelski, Cristiano Bertolini, Martin Schäf, Ishan Banerjee, Atif M. Memon
Lightweight Static Analysis for GUI Testing. ISSRE (2012)
Joey W. Coleman, Anders Kaels Malmos, Peter Gorm Larsen, Jan Peleska, Ralph Hains, Zoe Andrews, Richard John Payne, Simon Foster, Alvaro Miyazawa, Cristiano Bertolini, André Didier
COMPASS tool vision for a system of systems Collaborative Development Environment. SoSE (2012)
Stephan Arlt, Cristiano Bertolini, Martin Schäf
Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation. ICST Workshops (2011)
Cristiano Bertolini, Martin Schäf, Volker Stolz
Towards a Formal Integrated Model of Collaborative Healthcare Workflows. FHIES (2011)
Cristiano Bertolini, Alexandre Mota, Eduardo Aranha, Cristiano Ferraz
GUI Testing Techniques Evaluation by Designed Experiments. ICST (2010)
Cristiano Bertolini, Alexandre Mota, Eduardo Aranha
Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis. ISSRE (2010)
Cristiano Bertolini, Alexandre Mota
A Framework for GUI Testing Based on Use Case Design. ICST Workshops (2010)
Cristiano Bertolini, Alexandre Mota
Using Probabilistic Model Checking to Evaluate GUI Testing Techniques. SEFM (2009)
Cristiano Bertolini, Glaucia Peres, Marcelo d'Amorim, Alexandre Mota
An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs. ICST (2009)
Cristiano Bertolini, Alexandre Mota
Using Refinement Checking as System Testing. CIbSE (2008)
Cristiano Bertolini, André G. Farina, Paulo Fernandes, Flávio Moreira Oliveira
Test Case Generation Using Stochastic Automata Networks: Quantitative Analysis. SEFM (2004)
Cristiano Bertolini, Leonardo Brenner, Paulo Fernandes, Afonso Sales, Avelino F. Zorzo
Structured Stochastic Modeling of Fault-Tolerant Systems. MASCOTS (2004)

Cristiano Bertolini.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Cristiano Bertolini