Login / Signup

An auto-review tool for model-based testing of safety-critical systems.

Atit MishraManjunatha RaoChethan CUVanishree RaoYogananda V. JeppuNagaraj Murthy
Published in: JAMAICA@ISSTA (2013)
Keyphrases
  • safety critical
  • formal methods
  • fault tolerant
  • support systems
  • safety analysis
  • embedded systems
  • data mining
  • expert systems
  • intelligent systems
  • test cases