A Hybrid Test Generation Approach Based on Extended Finite State Machines.

Ana Turlea Florentin Ipate Raluca Lefticaru

Published in: SYNASC (2016)

Keyphrases

test generation
finite state machines
mutation testing
test cases
test sequences
design automation
symbolic execution
model checking
finite state automata
software testing
quality assurance
databases
regular expressions
object oriented
hidden markov models
test data generation