Distributed Symbolic Execution using Test-Depth Partitioning.

Shikhar Singh Sarfraz Khurshid

Published in: CoRR (2021)

Keyphrases

symbolic execution
test generation
test data generation
distributed systems
test cases
static analysis
decision trees
source code
orders of magnitude
database
case study
programming language
software development
software testing
simulated annealing algorithm