Search-based data-flow test generation.

Mattia Vivanti Andre Mis Alessandra Gorla Gordon Fraser

Published in: ISSRE (2013)

Keyphrases

data flow
test generation
symbolic execution
control flow
search algorithm
database machine
digital signal processing
test cases
software testing
data transfer
static analysis
image processing
object oriented software
test sequences
error rate
multi agent systems
databases
bottle neck