Login / Signup

Increasing Efficiency of ISO 26262 Verification and Validation by Combining Fault Injection and Mutation Testing with Model based Development.

Rakesh RanaMiroslaw StaronChristian BergerJörgen HanssonMartin NilssonFredrik Törner
Published in: ICSOFT (2013)
Keyphrases
  • fault injection
  • java card
  • mutation testing
  • smart card
  • case study
  • test sequences
  • software engineering
  • static analysis
  • databases
  • computational complexity
  • fault model