VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution).
Priyanka DarkeSumanth PrabhuBharti ChimdyalwarAvriti ChauhanShrawan KumarAnimesh Basak ChowdhuryR. VenkateshAdvaita DatarRaveendra Kumar MedicherlaPublished in: TACAS (2) (2018)
Keyphrases
- test generation
- symbolic execution
- test cases
- test sequences
- static analysis
- quality assurance
- design automation
- high level
- software testing
- mutation testing
- test data generation
- machine learning
- computer vision
- code coverage
- hardware designs
- databases
- visual quality
- test set
- error rate
- training set
- feature space
- decision trees
- feature selection