Fault model-driven testing from FSM with symbolic inputs.

Omer Nguena Timo Alexandre Petrenko S. 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