FIM: fault injection and mutation for Simulink.

Ezio Bartocci Leonardo Mariani Dejan Nickovic Drishti Yadav

Published in: ESEC/SIGSOFT FSE (2022)

Keyphrases

fault injection
java card
evolutionary algorithm
genetic algorithm
fault model
differential evolution
fault detection
control system
control algorithm
smart card
information systems
distributed systems
computer systems
business process
static analysis