Cristiano Bertolini

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
Grey-box GUI Testing: Efficient Generation of Event Sequences
CoRR, 2012

Trends in Model-based GUI Testing.
Adv. Comput., 2012

Infeasible Code Detection.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

COMPASS tool vision for a system of systems Collaborative Development Environment.
Proceedings of the 7th International Conference on System of Systems Engineering, 2012

Lightweight Static Analysis for GUI Testing.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets.
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.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Towards a Formal Integrated Model of Collaborative Healthcare Workflows.
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.
PhD thesis, 2010

Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis.
Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

GUI Testing Techniques Evaluation by Designed Experiments.
Proceedings of the Third International Conference on Software Testing, 2010

A Framework for GUI Testing Based on Use Case Design.
Proceedings of the Third International Conference on Software Testing, 2010

2009
Using Probabilistic Model Checking to Evaluate GUI Testing Techniques.
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.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008
Using Refinement Checking as System Testing.
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.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Structured Stochastic Modeling of Fault-Tolerant Systems.
Proceedings of the 12th International Workshop on Modeling, 2004


  Loading...