@inproceedings{Mohalik:2012:TSP:2362536.2362562, author = {Mohalik, Swarup and Ramesh, S. and Millo, Jean-Vivien and Krishna, Shankara Narayanan and Narwane, Ganesh Khandu}, title = {Tracing SPLs precisely and efficiently}, booktitle = {Proceedings of the 16th International Software Product Line Conference - Volume 1}, series = {SPLC '12}, year = {2012}, isbn = {978-1-4503-1094-9}, location = {Salvador, Brazil}, pages = {186--195}, numpages = {10}, url = {http://doi.acm.org/10.1145/2362536.2362562}, doi = {10.1145/2362536.2362562}, acmid = {2362562}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {QSAT, feature model, formal methods, software product line}, }