| 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 | 77 | 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 | 36 | 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 | 30 | 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 | 27 | 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 | 25 | 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 | 24 | 2012 |
| Trends in model-based gui testing S Arlt, C Bertolini, S Pahl, M Schäf Advances in Computers 86, 183-222, 2012 | 22 | 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 | 22 | 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 | 21 | 2004 |
| 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 | 20 | 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 | 19 | 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 | 18 | 2013 |
| Infeasible code detection C Bertolini, M Schäf, P Schweitzer International Conference on Verified Software: Tools, Theories, Experiments …, 2012 | 13 | 2012 |
| Using probabilistic model checking to evaluate GUI testing techniques C Bertolini, A Mota 2009 Seventh IEEE International Conference on Software Engineering and …, 2009 | 11 | 2009 |
| Using Refinement Checking as System Testing. C Bertolini, A Mota CIbSE, 17-30, 2008 | 5 | 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 | 3 | 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 | 2 | 2006 |
| Infeasible code detection C Bertolini, M Schäf, P Schweitzer Technical Report 455, United Nations University, IIST, 2011 | 1 | 2011 |
| A Strategy for Automatic Conformance Testing in Embedded Systems C Bertolini, A Mota IEEE Latin America Transactions 6 (3), 290-297, 2008 | 1 | 2008 |
| STEPHAN ARLT AND SIMON PAHL C BERTOLINI, M SCHÄF Advances in Computers 86, 183, 2012 | | 2012 |
