@conference {133, title = {S.P.L.O.T. - Software Product Lines Online Tools}, booktitle = {24th ACM SIGPLAN Conference on object oriented programming systems languages and applications - OOPSLA Companion}, year = {2009}, month = {10/2009}, pages = {761}, publisher = {ACM Press}, organization = {ACM Press}, address = {Orlando, Florida, USA}, abstract = {This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniques such as SAT solvers and binary decision diagrams to provide efficient reasoning and interactive configuration services to SPL researchers and practitioners. In addition, the system provides a feature model repository containing real and generated models to encourage knowledge sharing among researchers in the field.}, isbn = {9781605587684}, doi = {10.1145/1639950.1640002}, url = {http://portal.acm.org/ft_gateway.cfm?id=1640002\&type=pdf\&coll=GUIDE\&dl=GUIDE\&CFID=79618734\&CFTOKEN=16130443}, author = {Mendon{\c c}a, Marc{\'\i}lio and Branco, Moises and Cowan, Donald} }