Shoham Ben-David, Baruch Sterin, Joanne M. Atlee, Sandy Beidu
Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods
ICSE, 2015.
@inproceedings{ICSE-v1-2015-Ben-DavidSAB,
acmid = "2818780",
author = "Shoham Ben-David and Baruch Sterin and Joanne M. Atlee and Sandy Beidu",
booktitle = "{Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, Volume 1}",
doi = "10.1109/ICSE.2015.40",
isbn = "978-1-4799-1934-5",
pages = "189--199",
publisher = "{IEEE}",
title = "{Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods}",
year = 2015,
}