Henard, Christopher ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Papadakis, Mike ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Harman, Mark
Le Traon, Yves ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines
Publication date :
2015
Event name :
Proceedings of the 37th International Conference on Software Engineering (ICSE 2015)
Event date :
from 16-5-2015 to 24-5-2015
Audience :
International
Main work title :
37th International Conference on Software Engineering (ICSE 2015)
A. Metzger and K. Pohl, "Software product line engineering and variability management: Achievements and challenges," in Proceedings of the on Future of Software Engineering, ser. FOSE 2014. New York, NY, USA: ACM, 2014, pp. 70-84. [Online]. Available: Http://doi.acm.org/10.1145/2593882.2593888
P. Clements and L. Northrop, Software Product Lines: Practices and Patterns. Boston, MA, USA: Addison-Wesley Longman Publishing Co., Inc., 2001.
P. Knauber, J. B. Muñoz, G. Böckle, J. C. S. d. P. Leite, F. v. d. Linden, L. M. Northrop, M. Stark, and D. M. Weiss, "Quantifying product line benefits," in Revised Papers from the 4th International Workshop on Software Product-Family Engineering, ser. PFE '01. London, UK, UK: Springer-Verlag, 2002, pp. 155-163. [Online]. Available: Http://dl.acm.org/citation.cfm?id=648114.748915
M. Harman, Y. Jia, J. Krinke, B. Langdon, J. Petke, and Y. Zhang, "Search based software engineering for software product line engineering: A survey and directions for future work (keynote paper)," in 18th International Software Product Line Conference, ser. SPLC '14, Florence, Italy, September 2014, to appear.
J. White, B. Doughtery, and D. C. Schmidt, "Filtered cartesian flattening: An approximation technique for optimally selecting features while adhering to resource constraints," in 12th International Conference on Software Product Lines, Sep. 2008, pp. 209-216.
J. Li, X. Liu, Y. Wang, and J. Guo, "Formalizing feature selection problem in software product lines using 0-1 programming," in 6th International Conference on Intelligent Systems and Knowledge Engineering, 2011.
J. Guo, J. White, G. Wang, J. Li, and Y. Wang, "A genetic algorithm for optimized feature selection with resource constraints in software product lines," The Journal of Systems and Software, vol. 84, no. 12, pp. 2208- 2221, Dec. 2011.
Z. Wu, J. Tang, C. K. Kwong, and C. Y. Chan, "An optimization model for reuse scenario selection considering reliability and cost in software product line development," International Journal of Information Technology & Decision Making, vol. 10, no. 5, pp. 811-841, 2011.
A. S. Sayyad, K. Goseva-Popstojanova, T. Menzies, and H. Ammar, "On parameter tuning in search-based software engineering: A replicated empirical study," in International Workshop on Replication in Empirical Software Engineering Research, Oct. 2013.
A. S. Sayyad, J. Ingram, T. Menzies, and H. Ammar, "Optimum feature selection in software product lines: Let your model and values guide your search," in 1st International Workshop on Combining Modelling and Search-Based Software Engineering, 2013, pp. 22-27.
A. S. Sayyad, T. Menzies, and H. Ammar, "On the value of user preferences in search-based software engineering: A case study in software product lines," in Proceedings of the 2013 International Conference on Software Engineering, ser. ICSE '13. Piscataway, NJ, USA: IEEE Press, 2013, pp. 492-501. [Online]. Available: Http://dl.acm.org/citation.cfm?id=2486788.2486853
A. S. Sayyad, J. Ingram, T. Menzies, and H. Ammar, "Scalable product line configuration: A straw to break the camel's back," in 28th International Conference on Automated Software Engineering, 2013, pp. 465- 474.
F. Loesch and E. Ploedereder, "Optimization of variability in software product lines," in 11th International Software Product Line Conference, 2007, pp. 151-162.
C. Henard, M. Papadakis, G. Perrouin, J. Klein, P. Heymans, and Y. L. Traon, "Bypassing the combinatorial explosion: Using similarity to generate and prioritize t-wise test configurations for software product lines," IEEE Trans. Software Eng., vol. 40, no. 7, pp. 650-670, 2014.
M. Harman, S. A. Mansouri, and Y. Zhang, "Search-based software engineering: Trends, techniques and applications," ACM Comput. Surv., vol. 45, no. 1, p. 11, 2012.
J. Coplien, D. Hoffman, and D. M. Weiss, "Commonality and variability in software engineering," IEEE Software, vol. 15, no. 6, pp. 37-45, 1998.
K. C. Kang, J. Lee, and P. Donohoe, "Feature-oriented product line engineering," IEEE Software, vol. 19, no. 4, pp. 58-65, 2002.
T. Thum, D. Batory, and C. Kastner, "Reasoning about edits to feature models," in Proceedings of the 31st International Conference on Software Engineering, ser. ICSE '09. Washington, DC, USA: IEEE Computer Society, 2009, pp. 254-264. [Online]. Available: Http://dx.doi.org/10.1109/ICSE.2009.5070526
D. Benavides, S. Segura, and A. Ruiz-Cortés, "Automated analysis of feature models 20 years later: A literature review," Inf. Syst., vol. 35, no. 6, pp. 615-636, Sep. 2010. [Online]. Available: Http://dx.doi.org/10.1016/j.is.2010.01.001
T. Berger, R. Rublack, D. Nair, J. M. Atlee, M. Becker, K. Czarnecki, and A. Wasowski, "A survey of variability modeling in industrial practice," in Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, ser. VaMoS '13. New York, NY, USA: ACM, 2013, pp. 7:1-7:8. [Online]. Available: Http://doi.acm.org/10.1145/2430502.2430513
R. Marler and J. Arora, "Survey of multi-objective optimization methods for engineering," Structural and Multidisciplinary Optimization, vol. 26, no. 6, pp. 369-395, 2004. [Online]. Available: Http: //dx.doi.org/10.1007/s00158-003-0368-6
E. Zitzler and S. Knzli, "Indicator-based selection in multiobjective search," in Parallel Problem Solving from Nature - PPSN VIII, ser. Lecture Notes in Computer Science, X. Yao, E. Burke, J. Lozano, J. Smith, J. Merelo-Guervs, J. Bullinaria, J. Rowe, P. Tio, A. Kabn, and H.-P. Schwefel, Eds., vol. 3242. Springer Berlin Heidelberg, 2004, pp. 832-842. [Online]. Available: Http: //dx.doi.org/10.1007/978-3-540-30217-9 84
R. Olaechea, D. Rayside, J. Guo, and K. Czarnecki, "Comparison of exact and approximate multi-objective optimization for software product lines," in 18th International Software Product Line Conference.
R. Olaechea, "Optimization of variability in software product lines," Master's thesis, University of Waterloo, Ontario, 2013.
S. She, R. Lotufo, T. Berger, A. Wasowski, and K. Czarnecki, "Reverse engineering feature models," in Proceedings of the 33rd International Conference on Software Engineering, ser. ICSE '11. New York, NY, USA: ACM, 2011, pp. 461-470. [Online]. Available: Http://doi.acm.org/10.1145/1985793.1985856
T. Berger, S. She, R. Lotufo, A. Wasowski, and K. Czarnecki, "Variability modeling in the systems software domain," Generative Software Development Laboratory, University of Waterloo, Technical Report, 2012.
-, "Variability modeling in the real: A perspective from the operating systems domain," in Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, ser. ASE '10. New York, NY, USA: ACM, 2010, pp. 73-82. [Online]. Available: Http://doi.acm.org/10.1145/1858996.1859010
D. L. Berre and A. Parrain, "The sat4j library, release 2.2," JSAT, vol. 7, no. 2-3, pp. 59-6, 2010.
J. J. Durillo and A. J. Nebro, "jmetal: A java framework for multiobjective optimization," Advances in Engineering Software, vol. 42, no. 10, pp. 760-771, 2011.
J. Knowles, L. Thiele, and E. Zitzler, "A Tutorial on the Performance Assessment of Stochastic Multiobjective Optimizers," Computer Engineering and Networks Laboratory (TIK), ETH Zurich, TIK Report 214, Feb. 2006.
D. Brockhoff, T. Friedrich, and F. Neumann, "Analyzing hypervolume indicator based algorithms," in Proceedings of the 10th International Conference on Parallel Problem Solving from Nature: PPSN X. Berlin, Heidelberg: Springer-Verlag, 2008, pp. 651-660. [Online]. Available: Http://dx.doi.org/10.1007/978-3-540-87700-4 65
T. Hawkins, Lebesgue's theory of integration: Its origins and development. American Mathematical Soc., 2001, vol. 282.
E. Zitzler, L. Thiele, M. Laumanns, C. M. Fonseca, and V. G. da Fonseca, "Performance assessment of multiobjective optimizers: An analysis and review," IEEE Trans. Evolutionary Computation, vol. 7, no. 2, pp. 117-132, 2003. [Online]. Available: Http: //dx.doi.org/10.1109/TEVC.2003.810758
G. B. L. David A. Van Veldhuizen, "Multiobjective evolutionary algorithm research: A history and analysis," Tech. Rep.
K. Deb, S. Agrawal, A. Pratap, and T. Meyarivan, "A fast and elitist multiobjective genetic algorithm: Nsga-ii," IEEE Trans. Evolutionary Computation, vol. 6, no. 2, pp. 182-197, 2002.
A. Arcuri and L. Briand, "A practical guide for using statistical tests to assess randomized algorithms in software engineering," in Proceedings of the 33rd International Conference on Software Engineering, ser. ICSE '11. New York, NY, USA: ACM, 2011, pp. 1-10. [Online]. Available: Http://doi.acm.org/10.1145/1985793.1985795
C. Wohlin, P. Runeson, M. Höst, M. C. Ohlsson, and B. Regnell, Experimentation in Software Engineering. Springer, 2012.
A. Vargha and H. D. Delaney, "A Critique and Improvement of the CL Common Language Effect Size Statistics of McGraw and Wong," Journal on Educational and Behavioral Statistics, vol. 25, no. 2, pp. 101-132, 2000.
J. White, B. Dougherty, and D. C. Schmidt, "Selecting highly optimal architectural feature sets with filtered cartesian flattening," Journal of Systems and Software, vol. 82, no. 8, pp. 1268-1284, 2009.
C. Henard, M. Papadakis, G. Perrouin, J. Klein, and Y. L. Traon, "Assessing software product line testing via model-based mutation: An application to similarity testing," in Proceedings of the 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops, ser. ICSTW '13. Washington, DC, USA: IEEE Computer Society, 2013, pp. 188-197. [Online]. Available: Http://dx.doi.org/10.1109/ICSTW.2013.30
E. Zitzler, D. Brockhoff, and L. Thiele, "The hypervolume indicator revisited: On the design of pareto-compliant indicators via weighted integration," in Proceedings of the 4th International Conference on Evolutionary Multi-criterion Optimization, ser. EMO'07. Berlin, Heidelberg: Springer-Verlag, 2007, pp. 862-876. [Online]. Available: Http://dl.acm.org/citation.cfm?id=1762545.1762618
R. Olaechea, S. Stewart, K. Czarnecki, and D. Rayside, "Modelling and multi-objective optimization of quality attributes in variability-rich software," in Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, ser. NFPinDSML '12. New York, NY, USA: ACM, 2012, pp. 2:1-2:6. [Online]. Available: Http://doi.acm.org/10.1145/2420942. 2420944
C. Henard, M. Papadakis, G. Perrouin, J. Klein, and Y. L. Traon, "Multiobjective test generation for software product lines," in Proceedings of the 17th International Software Product Line Conference, ser. SPLC '13. New York, NY, USA: ACM, 2013, pp. 62-71. [Online]. Available: Http://doi.acm.org/10.1145/2491627.2491635
B. G. W. Craenen, A. E. Eiben, and E. Marchiori, "How to handle constraints with evolutionary algorithms," in Practical Handbook of Genetic Algorithms. Chapman & Hall/CRC, 2001, pp. 341-361.
D. Reid, "Genetic algorithms in constrained optimization," Mathematical and Computer Modelling, vol. 23.
D. Benavides, P. Trinidad, and A. Ruiz-Cortés, "Automated reasoning on feature models," in Proceedings of the 17th International Conference on Advanced Information Systems Engineering, ser. CAiSE'05. Berlin, Heidelberg: Springer-Verlag, 2005, pp. 491-503. [Online]. Available: Http://dx.doi.org/10.1007/11431855 34
J. White, J. A. Galindo, T. Saxena, B. Dougherty, D. Benavides, and D. C. Schmidt, "Evolving feature model configurations in software product lines," Journal of Systems and Software, vol. 87, pp. 119-136, 2014.
G. Perrouin, S. Sen, J. Klein, B. Baudry, and Y. l. Traon, "Automated and scalable t-wise test case generation strategies for software product lines," in Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation, ser. ICST '10. Washington, DC, USA: IEEE Computer Society, 2010, pp. 459-468.
C. Henard, M. Papadakis, G. Perrouin, J. Klein, and Y. Le Traon, "Towards automated testing and fixing of re-engineered feature models," in Proceedings of the 2013 International Conference on Software Engineering, ser. ICSE '13. Piscataway, NJ, USA: IEEE Press, 2013, pp. 1245-1248. [Online]. Available: Http://dl.acm.org/citation.cfm?id= 2486788.2486975
M. F. Johansen, O. Haugen, and F. Fleurey, "An algorithm for generating t-wise covering arrays from large feature models," in Proceedings of the 16th International Software Product Line Conference - Volume 1, ser. SPLC '12. New York, NY, USA: ACM, 2012, pp. 46-55. [Online]. Available: Http://doi.acm.org/10.1145/2362536.2362547
R. Pohl, K. Lauenroth, and K. Pohl, "A performance comparison of contemporary algorithmic approaches for automated analysis operations on feature models," in Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ser. ASE '11. Washington, DC, USA: IEEE Computer Society, 2011, pp. 313- 322. [Online]. Available: Http://dx.doi.org/10.1109/ASE.2011.6100068
M. Mendonca, A. Wasowski, and K. Czarnecki, "Sat-based analysis of feature models is easy," in Proceedings of the 13th International Software Product Line Conference, ser. SPLC '09. Pittsburgh, PA, USA: Carnegie Mellon University, 2009, pp. 231-240. [Online]. Available: Http://dl.acm.org/citation.cfm?id=1753235.1753267
G. Zhang, H. Ye, and Y. Lin, "Using knowledge-based systems to manage quality attributes in software product lines," in Proceedings of the 15th International Software Product Line Conference, Volume 2, ser. SPLC '11. New York, NY, USA: ACM, 2011, pp. 32:1-32:7.[Online]. Available: Http://doi.acm.org/10.1145/2019136.2019172
A. Arcuri and G. Fraser, "Parameter tuning or default values? an empirical investigation in search-based software engineering," Empirical Software Engineering, vol. 18, no. 3, pp. 594-623, 2013.
Y. Jia, M. B. Cohen, M. Harman, and J. Petke, "Learning combinatorial interaction testing strategies using hyperheuristic search," RN/UCL, vol. 13, p. 17, 2013.