Automated Test Case Generation for Safety-Critical Software in Scade

Subjects

Subjects :

Safety-critical Scade programs, Automated test generation, Symbolic execution, Bounded model checking, Search-based testing
INF/01 - INFORMATICA
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI

Details

Language :

English

Database :

OpenAIRE

Accession number :

edsair.od......1299..38223e34b2424ed08d96064941202bd1