Cristiano Bertolini

17 papers A 4B 3Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2012 — conf
COMPASS tool vision for a system of systems Collaborative Development Environment.
SoSE
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
2012 J jnl
Grey-box GUI Testing: Efficient Generation of Event Sequences
CoRR
Stephan Arlt, Ishan Banerjee, Cristiano Bertolini, Atif M. Memon, Martin Schäf
2012 — conf
Infeasible Code Detection.
VSTTE
Cristiano Bertolini, Martin Schäf, Pascal Schweitzer
2012 A conf
Lightweight Static Analysis for GUI Testing.
ISSRE
Stephan Arlt, Andreas Podelski, Cristiano Bertolini, Martin Schäf, Ishan Banerjee, Atif M. Memon
2012 J jnl
Trends in Model-based GUI Testing.
Adv. Comput.
Stephan Arlt, Cristiano Bertolini, Simon Pahl, Martin Schäf
2012 — conf
Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets.
FHIES
Cristiano Bertolini, Zhiming Liu, Jirí Srba
2011 — conf
Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation.
ICST Workshops
Stephan Arlt, Cristiano Bertolini, Martin Schäf
2011 — conf
Towards a Formal Integrated Model of Collaborative Healthcare Workflows.
FHIES
Cristiano Bertolini, Martin Schäf, Volker Stolz
2010 — conf
A Framework for GUI Testing Based on Use Case Design.
ICST Workshops
Cristiano Bertolini, Alexandre Mota
2010 A conf
Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis.
ISSRE
Cristiano Bertolini, Alexandre Mota, Eduardo Aranha
2010 — —
Evaluation of GUI testing techniques for system crashing: from real to model-based controlled experiments.
Cristiano Bertolini
2010 A conf
GUI Testing Techniques Evaluation by Designed Experiments.
ICST
Cristiano Bertolini, Alexandre Mota, Eduardo Aranha, Cristiano Ferraz
2009 A conf
An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs.
ICST
Cristiano Bertolini, Glaucia Peres, Marcelo d'Amorim, Alexandre Mota
2009 B conf
Using Probabilistic Model Checking to Evaluate GUI Testing Techniques.
SEFM
Cristiano Bertolini, Alexandre Mota
2008 — conf
Using Refinement Checking as System Testing.
CIbSE
Cristiano Bertolini, Alexandre Mota
2004 B conf
Structured Stochastic Modeling of Fault-Tolerant Systems.
MASCOTS
Cristiano Bertolini, Leonardo Brenner, Paulo Fernandes, Afonso Sales, Avelino F. Zorzo
2004 B conf
Test Case Generation Using Stochastic Automata Networks: Quantitative Analysis.
SEFM
Cristiano Bertolini, André G. Farina, Paulo Fernandes, Flávio Moreira Oliveira