@techreport{CTSA,
author="B{\"o}hme, Marcel and Roychoudhury, Abhik",
title="Comprehensive Test Suite Augmentation",
institution="National University of Singapore",
year="2012",
number="TR11/11"
}