Sfoglia per Autore
Delivering Dependable Reusable Components by Expressing and Enforcing Design Decisions
file da validare2013-01-01 Calvagna, A; Tramontana, EMILIANO ALESSIO
Combinatorial Interaction Testing of a Java Card Static Verifier
2014-01-01 Calvagna, ANDREA MARIO; Fornaia, ANDREA FRANCESCO; Tramontana, EMILIANO ALESSIO
Track Report of Validating Software for Critical Systems (VSC 2014)
file da validare2014-01-01 Calvagna, A; Tramontana, EMILIANO ALESSIO
Assessing the correctness of JVM implementations
2014-01-01 Calvagna, A; Fornaia, ANDREA FRANCESCO; Tramontana, EMILIANO ALESSIO
Random versus combinatorial effectiveness in software conformance testing: a case study
2015-01-01 Calvagna, A; Fornaia, ANDREA FRANCESCO; Tramontana, EMILIANO ALESSIO
A framework for incremental covering arrays construction
file da validare2015-01-01 Calvagna, A; Tramontana, EMILIANO ALESSIO
VSC Track at WETICE: Summary report and preface
file da validare2015-01-01 Calvagna, ANDREA MARIO; Tramontana, EMILIANO ALESSIO
VSC Track at WETICE 2016: Summary report and preface
file da validare2016-01-01 Calvagna, ANDREA MARIO; Fornaia, ANDREA FRANCESCO; Tramontana, EMILIANO ALESSIO
Report on 5th Edition of Track on Validation of Safety critical Collaboration systems
file da validare2017-01-01 Calvagna, ANDREA MARIO; Fornaia, ANDREA FRANCESCO; Tramontana, EMILIANO ALESSIO
Validation of Safety Critical Collaboration Systems (VSC) at WETICE 2019: Track Report
file da validare2019-01-01 Calvagna, A.; Fornaia, A.; Tramontana, E.
Automatic Generation of Parallel Java Programs and their Validation using Combinatorial Testing Suites
file da validare2021-01-01 Calanna, Salvatore Daniele; Calvagna, Andrea; Fornaia, Andrea; Torrisi, Riccardo; Tramontana, Emiliano
A (Reverse) Mutation Testing Approach to Automatically generate parallel C/C plus plus Code
file da validare2021-01-01 Calanna, S; Calvagna, A; Campisi, S; Fornaia, A; Pappalardo, G; Torrisi, R; Tramontana, E
Providing Trust in a Dynamic Distributed Energy Production Scenario by means of a Blockchain
file da validare2022-01-01 Calvagna, A; Casablanca, E; Marotta, G; Pappalardo, G; Tramontana, E
Revealing People’s Sentiment in Natural Italian Language Sentences
file da validare2023-01-01 Calvagna, A.; Tramontana, E.; Verga, G.
Merging Ontologies and Data from Electronic Health Records
file da validare2024-01-01 Calcagno, Salvatore; Calvagna, Andrea; Tramontana, Emiliano; Verga, Gabriella
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Delivering Dependable Reusable Components by Expressing and Enforcing Design Decisions | 1-gen-2013 | Calvagna, A; Tramontana, EMILIANO ALESSIO | file da validare |
Combinatorial Interaction Testing of a Java Card Static Verifier | 1-gen-2014 | Calvagna, ANDREA MARIO; Fornaia, ANDREA FRANCESCO; Tramontana, EMILIANO ALESSIO | |
Track Report of Validating Software for Critical Systems (VSC 2014) | 1-gen-2014 | Calvagna, A; Tramontana, EMILIANO ALESSIO | file da validare |
Assessing the correctness of JVM implementations | 1-gen-2014 | Calvagna, A; Fornaia, ANDREA FRANCESCO; Tramontana, EMILIANO ALESSIO | |
Random versus combinatorial effectiveness in software conformance testing: a case study | 1-gen-2015 | Calvagna, A; Fornaia, ANDREA FRANCESCO; Tramontana, EMILIANO ALESSIO | |
A framework for incremental covering arrays construction | 1-gen-2015 | Calvagna, A; Tramontana, EMILIANO ALESSIO | file da validare |
VSC Track at WETICE: Summary report and preface | 1-gen-2015 | Calvagna, ANDREA MARIO; Tramontana, EMILIANO ALESSIO | file da validare |
VSC Track at WETICE 2016: Summary report and preface | 1-gen-2016 | Calvagna, ANDREA MARIO; Fornaia, ANDREA FRANCESCO; Tramontana, EMILIANO ALESSIO | file da validare |
Report on 5th Edition of Track on Validation of Safety critical Collaboration systems | 1-gen-2017 | Calvagna, ANDREA MARIO; Fornaia, ANDREA FRANCESCO; Tramontana, EMILIANO ALESSIO | file da validare |
Validation of Safety Critical Collaboration Systems (VSC) at WETICE 2019: Track Report | 1-gen-2019 | Calvagna, A.; Fornaia, A.; Tramontana, E. | file da validare |
Automatic Generation of Parallel Java Programs and their Validation using Combinatorial Testing Suites | 1-gen-2021 | Calanna, Salvatore Daniele; Calvagna, Andrea; Fornaia, Andrea; Torrisi, Riccardo; Tramontana, Emiliano | file da validare |
A (Reverse) Mutation Testing Approach to Automatically generate parallel C/C plus plus Code | 1-gen-2021 | Calanna, S; Calvagna, A; Campisi, S; Fornaia, A; Pappalardo, G; Torrisi, R; Tramontana, E | file da validare |
Providing Trust in a Dynamic Distributed Energy Production Scenario by means of a Blockchain | 1-gen-2022 | Calvagna, A; Casablanca, E; Marotta, G; Pappalardo, G; Tramontana, E | file da validare |
Revealing People’s Sentiment in Natural Italian Language Sentences | 1-gen-2023 | Calvagna, A.; Tramontana, E.; Verga, G. | file da validare |
Merging Ontologies and Data from Electronic Health Records | 1-gen-2024 | Calcagno, Salvatore; Calvagna, Andrea; Tramontana, Emiliano; Verga, Gabriella | file da validare |
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