Mingsong Chen, Xiaoke Qin, Prabhat Mishra
Efficient decision ordering techniques for SAT-based test generation
DATE, 2010.
@inproceedings{DATE-2010-ChenQM,
author = "Mingsong Chen and Xiaoke Qin and Prabhat Mishra",
booktitle = "{Proceedings of the 14th Conference on Design, Automation and Test in Europe}",
pages = "490--495",
publisher = "{IEEE}",
title = "{Efficient decision ordering techniques for SAT-based test generation}",
year = 2010,
}