Login / Signup

From Fault Injection to Mutant Injection: The Next Step for Safety Analysis?

Guillermo Rodríguez-NavasPatrick J. GraydonIain Bate
Published in: Haifa Verification Conference (2012)
Keyphrases
  • fault model
  • safety analysis
  • fault injection
  • control system
  • nuclear power plant
  • model based diagnosis
  • java card
  • artificial intelligence
  • low cost
  • constraint programming