Managing SAT inconsistencies with HUMUS

ACM International Conference Proceeding Series

Volumn , Issue , 2012, Pages 83-91

  Nöhrer, Alexander ^a   Biere, Armin ^a   Egyed, Alexander ^a  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

Formal reasoning; Product line engineering; User guidance

Indexed keywords

END USERS; FORMAL REASONING; HUMAN USERS; OTHER APPLICATIONS; PRODUCT CONFIGURATION; PRODUCT LINE ENGINEERING; PRODUCT LINE MODEL; SYSTEM KNOWLEDGE; USER GUIDANCE;

ERRORS; SOILS;

PRODUCTION ENGINEERING;

EID: 84857590734     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2110147.2110157     Document Type: Conference Paper

References (28)

1. R. Balzer. Tolerating Inconsistency. In 13th ICSE, Austin, Texas, USA, pages 158-165, 1991. (Pubitemid 21689983)
2. D. Benavides, P. T. Mart́n-Arroyo, and A. R. Cortés. Automated Reasoning on Feature Models. In Advanced Information Systems Engineering, 17th International Conference, CAiSE, Porto, Portugal, pages 491-503, 2005. (Pubitemid 41336123)
3. D. Benavides, S. Segura, and A. R. Cortés. Automated analysis of feature models 20 years later: A literature review. Information Systems, 35(6):615-636, 2010.
4. A. Biere, A. Cimatti, E. M. Clarke, M. Fujita, and Y. Zhu. Symbolic Model Checking Using SAT Procedures instead of BDDs. In DAC, pages 317-320, 1999.
5. A. Biere, M. Heule, H. van Maaren, and T. Walsh, editors. Handbook of Satisfiability, volume 185 of Frontiers in Artificial Intelligence and Applications. IOS Press, 2009.
6. M. Davis, G. Logemann, and D. W. Loveland. A machine program for theorem-proving. Commun. ACM, 5(7):394-397, 1962.
7. D. Dhungana, P. Grünbacher, and R. Rabiser. The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study. Automated Software Engineering, 18:77-114, 2011.
8. D. Dhungana, R. Rabiser, P. Grünbacher, K. Lehner, and C. Federspiel. DOPLER: An Adaptable Tool Suite for Product Line Engineering. In Software Product Lines, 11th International Conference, Kyoto, Japan, pages 151-152, 2007.
9. A. Egyed. Resolving uncertainties during trace analysis. In 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Newport Beach, CA, USA, pages 3-12, 2004. (Pubitemid 40787562)
10. A. Egyed. Instant consistency checking for the UML. In 28th ICSE, Shanghai, China, pages 381-390, 2006. (Pubitemid 46600935)
11. A. Egyed. Fixing Inconsistencies in UML Design Models. In 29th ICSE, Minneapolis, USA, pages 292-301, 2007. (Pubitemid 47430664)
12. A. Egyed, E. Letier, and A. Finkelstein. Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models. In 23rd ASE, L'Aquila, Italy, pages 99-108, 2008.
13. A. Gupta, M. Ganai, and C. Wang. SAT-Based Verification Methods and Applications in Hardware Verification. In M. Bernardo and A. Cimatti, editors, Formal Methods for Hardware Verification, volume 3965 of Lecture Notes in Computer Science, pages 108-143. Springer Berlin / Heidelberg, 2006. (Pubitemid 44058139)
14. D. Jackson and M. Vaziri. Finding bugs with a constraint solver. In ISSTA, pages 14-25, 2000.
15. C. W. Johnson and C. Runciman. Semantic Errors -Diagnosis and Repair. In SIGPLAN Symposium on Compiler Construction, pages 88-97, 1982.
16. C. M. Li and F. Manyà. MaxSAT, Hard and Soft Constraints. In Handbook of Satisfiability, pages 613-631. 2009.
17. M. H. Liffiton and K. A. Sakallah. Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints. J. Autom. Reason., 40(1):1-33, 2008. (Pubitemid 350241118)
18. M. H. Liffiton and K. A. Sakallah. Generalizing Core-Guided Max-SAT. In Theory and Applications of Satisfiability Testing - SAT, 12th International Conference, Swansea, UK, pages 481-494, 2009.
19. M. Mendonca, M. Branco, and D. Cowan. S.P.L.O.T.: software product lines online tools. In 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, pages 761-762, New York, NY, USA, 2009. ACM.
20. M. Mendonça, A. Wasowski, and K. Czarnecki. SAT-based analysis of feature models is easy. In Software Product Lines, 13th International Conference, San Francisco, California, USA, pages 231-240, 2009.
21. C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein. xlinkit: A Consistency Checking and Smart Link Generation Service. ACM Trans. Internet Techn., 2(2):151-185, 2002.
22. A. Nöhrer and A. Egyed. Conict Resolution Strategies during Product Configuration. In Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, volume 37 of ICB Research Report, pages 107-114. Universität Duisburg-Essen, 2010.
23. A. Nöhrer and A. Egyed. Optimizing User Guidance during Decision-Making. In Software Product Lines, 15th International Conference, Munich, Germany, 2011.
24. M. L. Rosa, W. M. P. van der Aalst, M. Dumas, and A. H. M. ter Hofstede. Questionnaire-based variability modeling for system configuration. Software and System Modeling, 8(2):251-274, 2009.
25. A. Smith, A. G. Veneris, M. F. Ali, and A. Viglas. Fault diagnosis and logic debugging using Boolean satisfiability. IEEE Trans. on CAD of Integrated Circuits and Systems, 24(10):1606-1621, 2005.
26. P. Trinidad, D. Benavides, A. R. Cortés, S. Segura, and A. Jimenez. FAMA Framework. In Software Product Lines, 12th International Conference, Limerick, Ireland, page 359, 2008.
27. H. van Maaren and S. Wieringa. Finding Guaranteed MUSes Fast. In Theory and Applications of Satisfiability Testing, 11th International Conference, Guangzhou, China, pages 291-304, 2008. (Pubitemid 351775518)
28. J. White, D. C. Schmidt, D. Benavides, P. Trinidad, and A. R. Cortés. Automated Diagnosis of Product-Line Configuration Errors in Feature Models. In Software Product Lines, 12th International Conference, Limerick, Ireland, pages 225-234, 2008.