Login / Signup
A synergistic approach for distributed symbolic execution using test ranges.
Rui Qiu
Sarfraz Khurshid
Corina S. Pasareanu
Guowei Yang
Published in:
ICSE (Companion Volume) (2017)
Keyphrases
</>
symbolic execution
test generation
test data generation
test cases
software testing
static analysis
distributed systems
general purpose
databases
source code
simulated annealing algorithm
artificial intelligence
search algorithm
open source
orders of magnitude