Automatic Test Generation for Dynamic Data Structures.

Ruilian Zhao Qing Li

Published in: SERA (2007)

Keyphrases

test generation
data structure
test cases
symbolic execution
design automation
test sequences
quality assurance
static analysis
multi agent
open source
image quality
cooperative
matching algorithm
quality control
high level
information systems
computer vision
databases