Cristiano Bertolini
Title
Cited by
Cited by
Year
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
622012
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
312012
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
272004
Towards a formal integrated model of collaborative healthcare workflows
C Bertolini, M Schäf, V Stolz
International Symposium on Foundations of Health Informatics Engineering and …, 2011
252011
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
232009
CAAL: Concurrency Workbench
JR Andersen, N Andersen, S Enevoldsen, MM Hansen, KG Larsen, ...
International Colloquium on Theoretical Aspects of Computing, 573-582, 2015
212015
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
202004
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
182012
A framework for GUI testing based on use case design
C Bertolini, A Mota
2010 Third International Conference on Software Testing, Verification, and …, 2010
172010
Trends in model-based gui testing
S Arlt, C Bertolini, S Pahl, M Schäf
Advances in Computers 86, 183-222, 2012
152012
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
152010
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
142011
Verification of timed healthcare workflows using component timed-arc Petri nets
C Bertolini, Z Liu, J Srba
International Symposium on Foundations of Health Informatics Engineering and …, 2012
132012
Infeasible code detection
C Bertolini, M Schäf, P Schweitzer
International Conference on Verified Software: Tools, Theories, Experiments …, 2012
112012
Using probabilistic model checking to evaluate GUI testing techniques
C Bertolini, A Mota
2009 Seventh IEEE International Conference on Software Engineering and …, 2009
92009
Using Refinement Checking as System Testing.
C Bertolini, A Mota
CIbSE, 17-30, 2008
42008
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
32010
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
22006
A Strategy for Automatic Conformance Testing in Embedded Systems
C Bertolini, A Mota
IEEE Latin America Transactions 6 (3), 290-297, 2008
12008
Evaluation of GUI testing techniques for system crashing: from real to model-based controlled experiments
C Bertolini
Universidade Federal de Pernambuco, 2010
2010
The system can't perform the operation now. Try again later.
Articles 1–20