Requirement verification in simulation-based automation testing.
Eero SiivolaSeppo SierlaHannu NiemistöTommi KarhelaValeriy VyatkinPublished in: CoRR (2016)
Keyphrases
- formal verification
- test generation
- symbolic execution
- model based testing
- face verification
- test cases
- video sequences
- formal methods
- artificial intelligence
- information systems
- test data generation
- functional verification
- data mining
- concurrent systems
- high security
- software testing
- face detection
- software development
- artificial neural networks
- clustering algorithm
- computer vision