Diversity driven adaptive test generation for concurrent data structures.

Linhai Ma Peng Wu Tsong Yueh Chen

Published in: Inf. Softw. Technol. (2018)

Keyphrases

test generation
data structure
test cases
data driven
symbolic execution
design automation
test sequences
static analysis
high quality
cooperative
software testing