FortressCheck: automatic testing for generic properties.

Seonghoon Kang Sukyoung Ryu

Published in: SAC (2011)

Keyphrases

genetic algorithm
social networks
high level
wide range
data driven
fully automatic
structural properties
statistical tests
desirable properties
software testing
test generation