Login / Signup
Using Symbolic Execution of Parallel Program to Estimate Its Scalability.
Victor Ivannikov
Serguei Gaissaryan
Arutyun Avetisyan
Vartan A. Padaryan
Published in:
PDPTA (2003)
Keyphrases
</>
symbolic execution
static analysis
test data generation
test generation
source code
specification language
data flow
genetic algorithm
open source
database
evolutionary algorithm
simulated annealing algorithm