Hybrid Intelligent Testing in Simulation-Based Verification.
Nyasha MasambaKerstin EderTim BlackmorePublished in: AITest (2022)
Keyphrases
- hybrid intelligent
- expert systems
- formal verification
- symbolic execution
- test generation
- model checking
- image sequences
- multiscale
- test data
- face verification
- formal methods
- neural network
- data sets
- three dimensional
- artificial neural networks
- real time
- software testing
- quality assurance
- information systems
- social networks