Memory Modeling-Based Automatic Test Data Generation for String-Manipulating Programs.

Feiyu Li Yunzhan Gong

Published in: APSEC Workshops (2012)

Keyphrases

test data generation
symbolic execution
test cases
simulated annealing algorithm
pattern matching
search based testing
data structure
software testing
database
data sets
artificial intelligence
artificial neural networks
object oriented
regular expressions
test case generation