 | 2012 |
|---|
| 9 |       | Cristiano Bertolini,
Martin Schäf,
Pascal Schweitzer:
Infeasible Code Detection.
VSTTE 2012: 310-325 |
| 2010 |
|---|
| 8 | | Cristiano Bertolini,
Alexandre Mota,
Eduardo Aranha,
Cristiano Ferraz:
GUI Testing Techniques Evaluation by Designed Experiments.
ICST 2010: 235-244 |
| 7 | | Cristiano Bertolini,
Alexandre Mota:
A Framework for GUI Testing Based on Use Case Design.
ICST Workshops 2010: 252-259 |
| 6 | | Cristiano Bertolini,
Alexandre Mota,
Eduardo Aranha:
Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis.
ISSRE 2010: 319-328 |
| 2009 |
|---|
| 5 | | Cristiano Bertolini,
Glaucia Peres,
Marcelo d'Amorim,
Alexandre Mota:
An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs.
ICST 2009: 21-30 |
| 4 | | Cristiano Bertolini,
Alexandre Mota:
Using Probabilistic Model Checking to Evaluate GUI Testing Techniques.
SEFM 2009: 115-124 |
| 2008 |
|---|
| 3 |  | Cristiano Bertolini,
Alexandre Mota:
Using Refinement Checking as System Testing.
CIbSE 2008: 17-30 |
| 2004 |
|---|
| 2 | | Cristiano Bertolini,
Leonardo Brenner,
Paulo Fernandes,
Afonso Sales,
Avelino F. Zorzo:
Structured Stochastic Modeling of Fault-Tolerant Systems.
MASCOTS 2004: 139-146 |
| 1 | | Cristiano Bertolini,
André G. Farina,
Paulo Fernandes,
Flávio Moreira Oliveira:
Test Case Generation Using Stochastic Automata Networks: Quantitative Analysis.
SEFM 2004: 251-260 |
Data released under the ODC-BY 1.0 license — See also our legal information page