Sfoglia per Autore KURIAN, ELSON
Mostrati risultati da 1 a 5 di 5
On the Effectiveness of Automatic Test Case Generation for Safety-Critical Software
2023 Kurian, E
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
Towards an Innovative Model in Wearable Expert System for Skiing
2021 Kurian, E; Varghese, S; Fiorini, S
Relevance of Bots in Software and Their Impacts on Software Security
2021 Kurian, E; Varghese, S
| Titolo | Tipologia | Data di pubblicazione | Autori | File |
|---|---|---|---|---|
| On the Effectiveness of Automatic Test Case Generation for Safety-Critical Software | 07 - Tesi di dottorato Bicocca post 2009 | 2023 | KURIAN, ELSON | |
| 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. | |
| Towards an Innovative Model in Wearable Expert System for Skiing | 02 - Intervento a convegno | 2021 | Kurian E.Fiorini S. + | |
| Relevance of Bots in Software and Their Impacts on Software Security | 02 - Intervento a convegno | 2021 | Kurian, E + |
Mostrati risultati da 1 a 5 di 5
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