Cristiano Bertolini

According to our database, Cristiano Bertolini authored at least 17 papers between 2004 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2012

Grey-box GUI Testing: Efficient Generation of Event Sequences

Stephan Arlt, Ishan Banerjee, Cristiano Bertolini, Atif M. Memon, Martin Schäf

CoRR, 2012

Trends in Model-based GUI Testing.

Stephan Arlt, Cristiano Bertolini, Simon Pahl, Martin Schäf

Adv. Comput., 2012

Infeasible Code Detection.

Cristiano Bertolini, Martin Schäf, Pascal Schweitzer

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

COMPASS tool vision for a system of systems Collaborative Development Environment.

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

Proceedings of the 7th International Conference on System of Systems Engineering, 2012

Lightweight Static Analysis for GUI Testing.

Stephan Arlt, Andreas Podelski, Cristiano Bertolini, Martin Schäf, Ishan Banerjee, Atif M. Memon

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets.

Cristiano Bertolini, Zhiming Liu, Jirí Srba

Proceedings of the Foundations of Health Information Engineering and Systems, 2012

2011

Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation.

Stephan Arlt, Cristiano Bertolini, Martin Schäf

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Towards a Formal Integrated Model of Collaborative Healthcare Workflows.

Cristiano Bertolini, Martin Schäf, Volker Stolz

Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011

2010

Evaluation of GUI testing techniques for system crashing: from real to model-based controlled experiments.

Cristiano Bertolini

PhD thesis, 2010

Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis.

Cristiano Bertolini, Alexandre Mota, Eduardo Aranha

Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

GUI Testing Techniques Evaluation by Designed Experiments.

Cristiano Bertolini, Alexandre Mota, Eduardo Aranha, Cristiano Ferraz

Proceedings of the Third International Conference on Software Testing, 2010

A Framework for GUI Testing Based on Use Case Design.

Cristiano Bertolini, Alexandre Mota

Proceedings of the Third International Conference on Software Testing, 2010

2009

Using Probabilistic Model Checking to Evaluate GUI Testing Techniques.

Cristiano Bertolini, Alexandre Mota

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs.

Cristiano Bertolini, Glaucia Peres, Marcelo d'Amorim, Alexandre Mota

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008

Using Refinement Checking as System Testing.

Cristiano Bertolini, Alexandre Mota

Proceedings of the Memorias de la XI Conferencia Iberoamericana de Software Engineering (CIbSE 2008), 2008

2004

Test Case Generation Using Stochastic Automata Networks: Quantitative Analysis.

Cristiano Bertolini, André G. Farina, Paulo Fernandes, Flávio Moreira Oliveira

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Structured Stochastic Modeling of Fault-Tolerant Systems.

Cristiano Bertolini, Leonardo Brenner, Paulo Fernandes, Afonso Sales, Avelino F. Zorzo

Proceedings of the 12th International Workshop on Modeling, 2004