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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.