Tree Ensemble Property Verification from A Testing Perspective.
Bohao WangZhe HouGelin ZhangJianqi ShiYanhong HuangPublished in: SEKE (2021)
Keyphrases
- formal verification
- test generation
- pruning algorithm
- symbolic execution
- model checking
- tree structure
- ensemble methods
- neural network
- training data
- tree construction
- test cases
- neural network ensemble
- random forests
- ensemble learning
- classifier ensemble
- random forest
- index structure
- multiple classifiers
- test data
- prediction accuracy
- decision forest
- tree models
- decision tree classifiers
- learning algorithm
- data sets