Keyphrases
- finite state machines
- model checking
- finite state automata
- mutation testing
- hidden markov models
- digital circuits
- table of contents
- test cases
- neural network
- database
- regular expressions
- test data
- software testing
- positive and negative
- database management systems
- natural language processing
- genetic algorithm
- data sets