VUOTTO, Simone
VUOTTO, Simone
Universita' degli Studi di SASSARI
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.01 secondi).
Automata based test generation with SpecPro
2019-01-01 Vuotto, S.; Narizzano, M.; Pulina, L.; Tacchella, A.
Automated Requirements-Based Testing of Black-Box Reactive Systems
2020-01-01 Narizzano, M.; Pulina, L.; Tacchella, A.; Vuotto, S.
Consistency of property specification patterns with boolean and constrained numerical signals
2018-01-01 Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Vuotto, Simone
Poster: Automatic consistency checking of requirements with ReqV
2019-01-01 Vuotto, S.; Narizzano, M.; Pulina, L.; Tacchella, A.
Property specification patterns at work: verification and inconsistency explanation
2019-01-01 Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Vuotto, Simone
SMT-Based Consistency Checking of Configuration-Based Components Specifications
2021-01-01 Pandolfo, L.; Pulina, L.; Vuotto, S.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Automata based test generation with SpecPro | 1-gen-2019 | Vuotto, S.; Narizzano, M.; Pulina, L.; Tacchella, A. | |
| Automated Requirements-Based Testing of Black-Box Reactive Systems | 1-gen-2020 | Narizzano, M.; Pulina, L.; Tacchella, A.; Vuotto, S. | |
| Consistency of property specification patterns with boolean and constrained numerical signals | 1-gen-2018 | Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Vuotto, Simone | |
| Poster: Automatic consistency checking of requirements with ReqV | 1-gen-2019 | Vuotto, S.; Narizzano, M.; Pulina, L.; Tacchella, A. | |
| Property specification patterns at work: verification and inconsistency explanation | 1-gen-2019 | Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Vuotto, Simone | |
| SMT-Based Consistency Checking of Configuration-Based Components Specifications | 1-gen-2021 | Pandolfo, L.; Pulina, L.; Vuotto, S. |