MAVE: Multilevel wrApper Verification systEm.
Iñaki Fernández de VianaPedro J. AbadJosé Luis ÁlvarezJosé Luis ArjonaPublished in: IEEE Trans. Knowl. Data Eng. (2016)
Keyphrases
- feature selection
- data sets
- black box
- concurrent systems
- formal analysis
- model checking
- formal verification
- image processing
- information extraction
- test generation
- decision trees
- face recognition
- feature extraction
- data structure
- domain specific
- genetic algorithm
- neural network
- databases
- feature ranking
- verification method
- web data extraction
- real time