KURIAN, ELSON
KURIAN, ELSON
DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.004 secondi).
Automated Test Case Generation for Safety-Critical Software in Scade
2023 Kurian, E; Braione, P; Briola, D; D'Avino, D; Modonato, M; Denaro, G
Automatically generating test cases for safety-critical software via symbolic execution
2023 Kurian, E; Briola, D; Braione, P; Denaro, G
On the Effectiveness of Automatic Test Case Generation for Safety-Critical Software
2023 Kurian, E
Relevance of Bots in Software and Their Impacts on Software Security
2021 Kurian, E; Varghese, S
Towards an Innovative Model in Wearable Expert System for Skiing
2021 Kurian, E; Varghese, S; Fiorini, S
Titolo | Tipologia | Data di pubblicazione | Autori | File |
---|---|---|---|---|
Automated Test Case Generation for Safety-Critical Software in Scade | 02 - Intervento a convegno | 2023 | Kurian, EBraione, PBriola, DModonato, MDenaro, G + | |
Automatically generating test cases for safety-critical software via symbolic execution | 01 - Articolo su rivista | 2023 | Kurian E.Briola D.Braione P.Denaro G. | |
On the Effectiveness of Automatic Test Case Generation for Safety-Critical Software | 07 - Tesi di dottorato Bicocca post 2009 | 2023 | KURIAN, ELSON | |
Relevance of Bots in Software and Their Impacts on Software Security | 02 - Intervento a convegno | 2021 | Kurian, E + | |
Towards an Innovative Model in Wearable Expert System for Skiing | 02 - Intervento a convegno | 2021 | Kurian E.Fiorini S. + |