Login / Signup
An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models.
Abdul Salam Kalaji
Robert M. Hierons
Stephen Swift
Published in:
Inf. Softw. Technol. (2011)
Keyphrases
</>
finite state machines
model checking
finite state automata
search algorithm
hidden markov models
state machine
search strategy
search space
database
search methods
regular expressions
fully automatic
digital circuits
state transition
semi automatic
domain knowledge
data model
neural network