Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Todd Lauderdale, Zvonimir Rakamaric, Vishwanath Raman
Taming test inputs for separation assurance
ASE, 2014.
@inproceedings{ASE-2014-GiannakopoulouHILRR,
author = "Dimitra Giannakopoulou and Falk Howar and Malte Isberner and Todd Lauderdale and Zvonimir Rakamaric and Vishwanath Raman",
booktitle = "{Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1145/2642937.2642940",
isbn = "978-1-4503-3013-8",
pages = "373--384",
publisher = "{ACM}",
title = "{Taming test inputs for separation assurance}",
year = 2014,
}