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

Fault model-driven testing from FSM with symbolic inputs.

Omer Nguena TimoAlexandre PetrenkoS. Ramesh
Published in: Softw. Qual. J. (2019)
Keyphrases
  • fault model
  • fault injection
  • safety analysis
  • finite state machines
  • data driven
  • model based diagnosis
  • high level
  • logic programs
  • input data
  • test cases
  • software testing