Keyphrases
- formal verification
- test generation
- symbolic execution
- model checking
- real world
- test cases
- artificial intelligence
- test data generation
- neural network
- formal analysis
- face verification
- software testing
- multiscale
- database
- test set
- statistical modeling
- formal methods
- quality assurance
- signature verification
- website
- information systems
- machine learning
- databases