Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, Aditya V. Nori
MUX: algorithm selection for software model checkers
MSR, 2014.
@inproceedings{MSR-2014-TulsianKKLN,
author = "Varun Tulsian and Aditya Kanade and Rahul Kumar and Akash Lal and Aditya V. Nori",
booktitle = "{Proceedings of the 11th Working Conference on Mining Software Repositories}",
doi = "10.1145/2597073.2597080",
isbn = "978-1-4503-2863-0",
pages = "132--141",
publisher = "{ACM}",
title = "{MUX: algorithm selection for software model checkers}",
year = 2014,
}