Sfoglia per Autore
Combining Stochastic Grammars and Genetic Programming for Coverage Testing at the System Level
2014-01-01 Kifetew, Fitsum Meshesha; Tiella, Roberto; Tonella, Paolo
Semantic-Based Process Analysis
2014-01-01 Di Francescomarino, Chiara; Corcoglioniti, Francesco; Dragoni, Mauro; Bertoli, Piergiorgio; Tiella, Roberto; Ghidini, Chiara; Nori, Michele; Pistore, Marco
Assessment of Data Obfuscation with Residue Number Coding
2015-01-01 Demissie, Biniam Fisseha; Ceccato, Mariano; Tiella, Roberto
Weekly Round Trips from Norms to Requirements and Tests: an Industrial Experience Report
2015-01-01 Tonella, Paolo; Tiella, Roberto
Assessment of Source Code Obfuscation Techniques
2016-01-01 Viticchié, Alessio; Regano, Leonardo; Torchiano, Marco; Basile, Cataldo; Ceccato, Mariano; Tonella, Paolo; Tiella, Roberto
Automatic generation of opaque constants based on the k-clique problem for resilient data obfuscation
2017-01-01 Tiella, Roberto; Ceccato, Mariano
Generating valid grammar-based test inputs by means of genetic programming and annotated grammars
2017-01-01 Kifetew, Fitsum Meshesha; Tiella, Roberto; Tonella, Paolo
Formal Design and Validation of an Automatic Train Operation Control System
2022-01-01 Amendola, Arturo; Barruffo, Lorenzo; Bozzano, Marco; Cimatti, Alessandro; De Simone, Salvatore; Fedeli, Eugenio; Gabbasov, Artem; Ernesto Garrubba, Domenico; Girardi, Massimiliano; Serra, Diana; Tiella, Roberto; Zampedri, Gianni
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Combining Stochastic Grammars and Genetic Programming for Coverage Testing at the System Level | 1-gen-2014 | Kifetew, Fitsum Meshesha; Tiella, Roberto; Tonella, Paolo | |
Semantic-Based Process Analysis | 1-gen-2014 | Di Francescomarino, Chiara; Corcoglioniti, Francesco; Dragoni, Mauro; Bertoli, Piergiorgio; Tiella, Roberto; Ghidini, Chiara; Nori, Michele; Pistore, Marco | |
Assessment of Data Obfuscation with Residue Number Coding | 1-gen-2015 | Demissie, Biniam Fisseha; Ceccato, Mariano; Tiella, Roberto | |
Weekly Round Trips from Norms to Requirements and Tests: an Industrial Experience Report | 1-gen-2015 | Tonella, Paolo; Tiella, Roberto | |
Assessment of Source Code Obfuscation Techniques | 1-gen-2016 | Viticchié, Alessio; Regano, Leonardo; Torchiano, Marco; Basile, Cataldo; Ceccato, Mariano; Tonella, Paolo; Tiella, Roberto | |
Automatic generation of opaque constants based on the k-clique problem for resilient data obfuscation | 1-gen-2017 | Tiella, Roberto; Ceccato, Mariano | |
Generating valid grammar-based test inputs by means of genetic programming and annotated grammars | 1-gen-2017 | Kifetew, Fitsum Meshesha; Tiella, Roberto; Tonella, Paolo | |
Formal Design and Validation of an Automatic Train Operation Control System | 1-gen-2022 | Amendola, Arturo; Barruffo, Lorenzo; Bozzano, Marco; Cimatti, Alessandro; De Simone, Salvatore; Fedeli, Eugenio; Gabbasov, Artem; Ernesto Garrubba, Domenico; Girardi, Massimiliano; Serra, Diana; Tiella, Roberto; Zampedri, Gianni |
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