Generating range fixes for software configuration

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2012, Pages 58-68

  Xiong, Yingfei ^a   Hubaux, Arnaud ^b   She, Steven ^a   Czarnecki, Krzysztof ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

^b University of Namur   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

HANDLING CONSTRAINTS; NOVEL CONCEPT; OPEN SOURCE PROJECTS; SOFTWARE CONFIGURATION;

ENGINEERING; INDUSTRIAL ENGINEERING;

SOFTWARE ENGINEERING;

EID: 84864197259     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2012.6227206     Document Type: Conference Paper

References (32)

1. L. Chen and M. Ali Babar, "A systematic review of evaluation of variability management approaches in software product lines," Information and Software Technology, vol. 53, no. 4, pp. 344-362, 2011.
2. T. Berger, S. She, R. Lotufo, A. Wasowski, and K. Czarnecki, "Variability modeling in the real: a perspective from the operating systems domain," in ASE. ACM, 2010, pp. 73-82.
3. K. Kang, S. Cohen, J. Hess, W. Novak, and A. Peterson, "Feature-oriented domain analysis (FODA) feasibility study," Carnegie-Mellon Univ, Tech. Rep. CMU/SEI-90-TR-21, 1990.
4. A. Hubaux, Y. Xiong, and K. Czarnecki, "A user survey of configuration challenges in Linux and eCos," in VaMoS. ACM press, 2012, pp. 149-155.
5. L. Passos, M. Novakovic, Y. Xiong, T. Berger, K. Czarnecki, and A. Wasowski, "A study of non-boolean constraints in variability models of an embedded operating system," in FOSD. ACM, 2011, pp. 2:1-2:8.
6. M. Jose and R. Majumdar, "Cause clue clauses: error localization using maximum satisfiability," in PLDI. ACM, 2011, pp. 437-446.
7. J. White, D. C. Schmidt, D. Benavides, P. Trinidad, and A. Ruiz-Cortés, "Automated diagnosis of product-line configuration errors in feature models," in SPLC. IEEE Computer Society, 2008, pp. 225-234.
8. R. Reiter, "A theory of diagnosis from first principles," Artificial intelligence, vol. 32, no. 1, pp. 57-95, 1987.
9. R. Greiner, B. Smith, and R. Wilkerson, "A correction to the algorithm in Reiter's theory of diagnosis," Artificial Intelligence, vol. 41, no. 1, pp. 79-88, 1989.
10. L. De Moura and N. Bjørner, "Z3: an efficient SMT solver," in TACAS/ETAPS. Springer-Verlag, 2008, pp. 337-340.
11. B. Veer and J. Dallaway, "The eCos component writer's guide," ecos.sourceware.org/ecos/docs-latest/cdl-guide/cdl-guide.html, 2001.
12. K. Czarnecki and A. Wasowski, "Feature diagrams and logics: There and back again," in SPLC. IEEE Computer Society, 2007, pp. 23-34.
13. T. Berger and S. She, "Formal semantics of the CDL language," www.informatik.uni-leipzig.de/~berger/cdl-semantics.pdf, 2010.
14. C. Nentwich, W. Emmerich, and A. Finkelstein, "Consistency management with repair actions," in ICSE. IEEE Computer Society, 2003, pp. 455-464.
15. A. Egyed, E. Letier, and A. Finkelstein, "Generating and evaluating choices for fixing inconsistencies in UML design models," in ASE. IEEE Computer Society, 2008, pp. 99-108.
16. C. Barrett, A. Stump, and C. Tinelli, "The SMT-LIB standard: Version 2.0," http://www.smtlib.org/, 2010.
17. Y. Xiong, "Configurator semantics of the CDL language," Generative Software Development Laboratory, University of Waterloo, Tech. Rep. GSDLAB-TR 2011-06-05, 2011, http://gsd.uwaterloo.ca/GSDLAB-TR2011-06-05.
18. N. Bjørner, N. Tillmann, and A. Voronkov, "Path feasibility analysis for string-manipulating programs," in TACAS. Springer-Verlag, 2009, pp. 307-321.
19. J. Scheffczyk, P. Rödig, U. M. Borghoff, and L. Schmitz, "Managing inconsistent repositories via prioritized repairs," in DocEng. ACM, 2004.
20. T. Hadzic, S. Subbarayan, R. M. Jensen, H. R. Andersen, J. Møller, and H. Hulgaard, "Fast backtrack-free product configuration using a precompiled solution space representation," in PETO. DTU-tryk, 2004, pp. 131-138.
21. M. Mendonça, "Efficient reasoning techniques for large scale feature models," Ph.D. dissertation, University of Waterloo, 2009.
22. M. Janota, G. Botterweck, R. Grigore, and J. Marques-Silva, "How to complete an interactive configuration process?" in SOFSEM. Springer-Verlag, 2010, pp. 528-539.
23. P. Trinidad, D. Benavides, A. Durán, A. Ruiz-Cortés, and M. Toro, "Automated error analysis for the agilization of feature modeling," Journal of Systems and Software, vol. 81, no. 6, pp. 883-896, 2008.
24. B. Wang, Y. Xiong, Z. Hu, H. Zhao, W. Zhang, and H. Mei, "A dynamic-priority based approach to fixing inconsistent feature models," in MODELS. Springer-Verlag, 2010, pp. 181-195.
25. B. Demsky and M. Rinard, "Automatic detection and repair of errors in data structures," in OOPSLA. ACM, 2003, pp. 78-95.
26. S. Mani, V. S. Sinha, P. Dhoolia, and S. Sinha, "Automated support for repairing input-model faults," in ASE. ACM, 2010, pp. 195-204.
27. Y. Xiong, Z. Hu, H. Zhao, H. Song, M. Takeichi, and H. Mei, "Supporting automatic model inconsistency fixing," in ESEC/FSE. ACM, 2009, pp. 315-324.
28. U. Junker, "QUICKXPLAIN: preferred explanations and relaxations for over-constrained problems," in AAAI. AAAI Press, 2004, pp. 167-172.
29. A. Felfernig, G. Friedrich, D. Jannach, and M. Stumptner, "Consistency-based diagnosis of configuration knowledge bases," Artificial Intelligence, vol. 152, pp. 213-234, 2004.
30. D. Jannach and J. Liegl, "Conflict-directed relaxation of constraints in content-based recommender systems," in Advances in Applied Artificial Intelligence. Springer Berlin / Heidelberg, 2006, vol. 4031, pp. 819-829.
31. A. Felfernig, G. Friedrich, M. Schubert, M. Mandl, M. Mairitsch, and E. Teppan, "Plausible repairs for inconsistent requirements," in IJCAI. Morgan Kaufmann Publishers Inc., 2009, pp. 791-796.
32. B. O'Sullivan, A. Papadopoulos, B. Faltings, and P. Pu, "Representative explanations for over-constrained problems," in AAAI. AAAI Press, 2007, pp. 323-328.