• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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