Cristiano Bertolini
Cristiano Bertolini
Researcher, Federal University of Santa Maria
Verified email at
Cited by
Cited by
Lightweight static analysis for GUI testing
S Arlt, A Podelski, C Bertolini, M Schäf, I Banerjee, AM Memon
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
COMPASS tool vision for a system of systems collaborative development environment
JW Coleman, AK Malmos, PG Larsen, J Peleska, R Hains, Z Andrews, ...
2012 7th International Conference on System of Systems Engineering (SoSE …, 2012
Test case generation using stochastic automata networks: Quantitative analysis
C Bertolini, AG Farina, P Fernandes, FM Oliveira
Proceedings of the Second International Conference on Software Engineering …, 2004
An empirical evaluation of automated black box testing techniques for crashing guis
C Bertolini, G Peres, M d'Amorim, A Mota
2009 International Conference on Software Testing Verification and …, 2009
Towards a formal integrated model of collaborative healthcare workflows
C Bertolini, M Schäf, V Stolz
Foundations of Health Informatics Engineering and Systems: First …, 2012
Grey-box gui testing: Efficient generation of event sequences
S Arlt, I Banerjee, C Bertolini, AM Memon, M Schäf
arXiv preprint arXiv:1205.4928, 2012
Behind the scenes: an approach to incorporate context in GUI test case generation
S Arlt, C Bertolini, M Schäf
2011 IEEE Fourth International Conference on Software Testing, Verification …, 2011
Structured stochastic modeling of fault-tolerant systems
C Bertolini, L Brenner, P Femandes, A Sales, AR Zorzo
The IEEE Computer Society's 12th Annual International Symposium on Modeling …, 2004
Trends in model-based gui testing
S Arlt, C Bertolini, S Pahl, M Schäf
Advances in Computers 86, 183-222, 2012
GUI testing techniques evaluation by designed experiments
C Bertolini, A Mota, E Aranha, C Ferraz
2010 Third International Conference on Software Testing, Verification and …, 2010
A framework for GUI testing based on use case design
C Bertolini, A Mota
2010 Third International Conference on Software Testing, Verification, and …, 2010
Verification of timed healthcare workflows using component timed-arc Petri nets
C Bertolini, Z Liu, J Srba
Foundations of Health Information Engineering and Systems: Second …, 2013
Infeasible code detection
C Bertolini, M Schäf, P Schweitzer
International Conference on Verified Software: Tools, Theories, Experiments …, 2012
Using probabilistic model checking to evaluate GUI testing techniques
C Bertolini, A Mota
2009 Seventh IEEE International Conference on Software Engineering and …, 2009
Using Refinement Checking as System Testing.
C Bertolini, A Mota
CIbSE, 17-30, 2008
Calibrating probabilistic GUI testing models based on experiments and survival analysis
C Bertolini, A Mota, E Aranha
2010 IEEE 21st International Symposium on Software Reliability Engineering …, 2010
Análise de casos de teste estatisticamente relevantes através da descriçao formal de programas
C Bertolini
Mestrado, Pós-Graduaçao em Ciência da Computaçao, PUC-RS, 2006
Infeasible code detection
C Bertolini, M Schäf, P Schweitzer
Technical Report 455, United Nations University, IIST, 2011
A Strategy for Automatic Conformance Testing in Embedded Systems
C Bertolini, A Mota
IEEE Latin America Transactions 6 (3), 290-297, 2008
Evaluation of GUI testing techniques for system crashing: from real to model-based controlled experiments
C Bertolini
Universidade Federal de Pernambuco, 2010
The system can't perform the operation now. Try again later.
Articles 1–20