Cristiano Bertolini

Cristiano Bertolini

Universidade Federal de Pernambuco - Quito / Brazil
Others
AD Scientific Index ID: 1088980
Federal University of Pernambuco
person_outline Cristiano Bertolini's MOST POPULAR ARTICLES
1-) Lightweight static analysis for GUI testingS Arlt, A Podelski, C Bertolini, M Schäf, I Banerjee, AM Memon2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012692012
2-) COMPASS tool vision for a system of systems collaborative development environmentJW Coleman, AK Malmos, PG Larsen, J Peleska, R Hains, Z Andrews, ...2012 7th International Conference on System of Systems Engineering (SoSE …, 2012342012
3-) Test case generation using stochastic automata networks: Quantitative analysisC Bertolini, AG Farina, P Fernandes, FM OliveiraProceedings of the Second International Conference on Software Engineering …, 2004302004
4-) An empirical evaluation of automated black box testing techniques for crashing guisC Bertolini, G Peres, M d\'Amorim, A Mota2009 International Conference on Software Testing Verification and …, 2009272009
5-) Towards a formal integrated model of collaborative healthcare workflowsC Bertolini, M Schäf, V StolzFoundations of Health Informatics Engineering and Systems: First …, 2012252012