Fault model-driven testing from FSM with symbolic inputs

Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh. Fault model-driven testing from FSM with symbolic inputs. Software Quality Journal, 27(2):501-527, 2019. [doi]

Abstract

Abstract is missing.