Testing from Partial Finite State Machines without Harmonised Traces.

Robert M. Hierons

Published in: IEEE Trans. Software Eng. (2017)

Keyphrases

finite state machines
model checking
finite state automata
mutation testing
digital circuits
regular expressions
neural network
domain knowledge
text mining
contextual information
test set
test data
test sequences