A Deep Neural Network Guided Testing Approach for Finite State Machines.
Habibur RahamanSantanu ChattopadhyayIndranil SenguptaPublished in: ISDCS (2021)
Keyphrases
- finite state machines
- neural network
- model checking
- finite state automata
- back propagation
- mutation testing
- neural network model
- genetic algorithm
- neural network is trained
- pattern recognition
- recurrent neural networks
- fuzzy logic
- software testing
- test sequences
- hidden markov models
- test cases
- bp neural network
- regular expressions
- network architecture
- digital circuits
- artificial neural networks
- pattern matching
- test set
- multi layer perceptron
- test suite