Verification by Gambling on Program Slices.
Murad AkhundovFederico MoraNick FengVincent HuiMarsha ChechikPublished in: ATVA (2021)
Keyphrases
- hardware designs
- symbolic execution
- test generation
- static analysis
- model checking
- concurrent systems
- face verification
- test cases
- search algorithm
- video sequences
- database
- image sequences
- database systems
- formal verification
- decision trees
- asynchronous circuits
- high security
- clustering algorithm
- social networks
- data sets