Arthur I. Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, Tanja E. J. Vos
Symbolic search-based testing
ASE, 2011.
@inproceedings{ASE-2011-BaarsHHLMTV,
author = "Arthur I. Baars and Mark Harman and Youssef Hassoun and Kiran Lakhotia and Phil McMinn and Paolo Tonella and Tanja E. J. Vos",
booktitle = "{Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1109/ASE.2011.6100119",
isbn = "978-1-4577-1638-6",
pages = "53--62",
publisher = "{IEEE}",
title = "{Symbolic search-based testing}",
year = 2011,
}