Concepedia

Cristiano Bertolini

CB

Statistics

Publications

9

Citations

180

H-Index

9

Active since

2004

Affiliations

Universidade Federal de Pernambuco(Current)

Universidade de Pernambuco

United Nations University Institute on Globalization, Culture and Mobility

Pontifícia Universidade Católica do Rio Grande do Sul

University of Freiburg

Cristiano Bertolini is an author at Universidade Federal de Pernambuco specializing in engineering, software engineering, and software design.

Top concepts

EngineeringSoftware DesignComputer ScienceSoftware TestingSoftware AnalysisSoftware EngineeringProgram AnalysisFormal VerificationSystem SoftwareSystems Engineering

Publications per year

2004–2012

9

Publications

9

Lightweight Static Analysis for GUI Testing

Stephan Arlt, Andreas Podelski, Cristiano Bertolini et al. · 2012 · 53 citations · Full text

Engineering, Software Engineering, Gui Testing +17

COMPASS tool vision for a system of systems Collaborative Development Environment

Joey W. Coleman, Anders Kaels Malmos, Peter Gorm Larsen et al. · 2012 · 30 citations

Software Maintenance, Engineering, Collaborative Design +22

An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs

Cristiano Bertolini, Glaucia Peres, Marcelo d’Amorim et al. · 2009 · 18 citations

Software Maintenance, Engineering, Verification +24

Test case generation using stochastic automata networks: quantitative analysis

Cristiano Bertolini, André G. Farina, Paulo Fernandes et al. · Software Engineering and Formal Methods · 2004 · 16 citations

Software Maintenance, Engineering, Verification +25

Structured stochastic modeling of fault-tolerant systems

Cristiano Bertolini, Léonardo Brenner, Paulo Fernandes et al. · 2004 · 15 citations · Full text

Engineering, Verification, Fault-tolerant Mechanisms +16

1–5 of 9