VUOTTO, Simone

VUOTTO, Simone  

Universita' degli Studi di SASSARI  

Mostra records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.022 secondi).
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.