Sfoglia per Autore
Revolution: Automatic Evolution of Mined Specifications
2012-01-01 Leonardo, Mariani; Marchetto, Alessandro; Nguyen, Duy Cu; Tonella, Paolo; Arthur, Baars
An Empirical Study about the Effectiveness of Debugging When Random Test Cases Are Used
2012-01-01 Ceccato, Mariano; Marchetto, Alessandro; Leonardo, Mariani; Nguyen, Duy Cu; Tonella, Paolo
Automated Generation of State Abstraction Functions using Data Invariant Inference
2013-01-01 Tonella, Paolo; Nguyen, Duy Cu; Marchetto, Alessandro; Kiran, Lakhotia; Mark, Harman
N-Gram Based Test Sequence Generation from Finite State Models
2013-01-01 Tonella, Paolo; Tiella, Roberto; Nguyen, Duy Cu
Automated Inference of Classifications and Dependencies for Combinatorial Testing
2013-01-01 Nguyen, Duy Cu; Tonella, Paolo
Automated oracles: an empirical study on cost and effectiveness
2013-01-01 Nguyen, Duy Cu; Marchetto, Alessandro; Tonella, Paolo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Revolution: Automatic Evolution of Mined Specifications | 1-gen-2012 | Leonardo, Mariani; Marchetto, Alessandro; Nguyen, Duy Cu; Tonella, Paolo; Arthur, Baars | |
An Empirical Study about the Effectiveness of Debugging When Random Test Cases Are Used | 1-gen-2012 | Ceccato, Mariano; Marchetto, Alessandro; Leonardo, Mariani; Nguyen, Duy Cu; Tonella, Paolo | |
Automated Generation of State Abstraction Functions using Data Invariant Inference | 1-gen-2013 | Tonella, Paolo; Nguyen, Duy Cu; Marchetto, Alessandro; Kiran, Lakhotia; Mark, Harman | |
N-Gram Based Test Sequence Generation from Finite State Models | 1-gen-2013 | Tonella, Paolo; Tiella, Roberto; Nguyen, Duy Cu | |
Automated Inference of Classifications and Dependencies for Combinatorial Testing | 1-gen-2013 | Nguyen, Duy Cu; Tonella, Paolo | |
Automated oracles: an empirical study on cost and effectiveness | 1-gen-2013 | Nguyen, Duy Cu; Marchetto, Alessandro; Tonella, Paolo |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile