Sign in
VeriAbs : Verification by Abstraction and Test Generation.
Mohammad Afzal
A. Asia
Avriti Chauhan
Bharti Chimdyalwar
Priyanka Darke
Advaita Datar
Shrawan Kumar
R. Venkatesh
Published in:
ASE (2019)
Keyphrases
</>
test generation
symbolic execution
test cases
test sequences
quality assurance
high level
static analysis
mutation testing
design automation
software testing
code coverage
test data generation
real world
decision trees
test suite
data sets
quality control
software engineering
multi agent
database systems
databases