skip to main content
research-article

Recommending Faulty Configurations for Interacting Systems Under Test Using Multi-objective Search

Published: 03 August 2021 Publication History

Abstract

Modern systems, such as cyber-physical systems, often consist of multiple products within/across product lines communicating with each other through information networks. Consequently, their runtime behaviors are influenced by product configurations and networks. Such systems play a vital role in our daily life; thus, ensuring their correctness by thorough testing becomes essential. However, testing these systems is particularly challenging due to a large number of possible configurations and limited available resources. Therefore, it is important and practically useful to test these systems with specific configurations under which products will most likely fail to communicate with each other. Motivated by this, we present a search-based configuration recommendation (SBCR) approach to recommend faulty configurations for the system under test (SUT) based on cross-product line (CPL) rules. CPL rules are soft constraints, constraining product configurations while indicating the most probable system states with a certain degree of confidence. In SBCR, we defined four search objectives based on CPL rules and combined them with six commonly applied search algorithms. To evaluate SBCR (i.e., SBCRNSGA-II, SBCRIBEA, SBCRMoCell, SBCRSPEA2, SBCRPAES, and SBCRSMPSO), we performed two case studies (Cisco and Jitsi) and conducted difference analyses. Results show that for both of the case studies, SBCR significantly outperformed random search-based configuration recommendation (RBCR) for 86% of the total comparisons based on six quality indicators, and 100% of the total comparisons based on the percentage of faulty configurations (PFC). Among the six variants of SBCR, SBCRSPEA2 outperformed the others in 85% of the total comparisons based on six quality indicators and 100% of the total comparisons based on PFC.

References

[1]
G. Holl, P. Grünbacher, and R. Rabiser. 2012. A systematic review and an expert survey on capabilities supporting multi product lines. Information and Software Technology (IST) 54, 8 (2012), 828–852.
[2]
M. Rosenmüller and N. Siegmund. 2010. Automating the configuration of multi software product lines. In Proceedings of International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS’10). Elsevier, 123-130.
[3]
H. Lu, T. Yue, S. Ali, and L. Zhang. 2015. Model-based incremental conformance checking to enable interactive product configuration. Information and Software Technology (IST) 72 (2015), 68–89.
[4]
H. Lu, T. Yue, S. Ali, and L. Zhang. 2016. Nonconformity resolving recommendations for product line configuration. In Proceedings of International Conference on Software Testing. IEEE, Chicago, IL, 57–68.
[5]
ISO Software and systems engineering – Reference model for product line engineering and management. ISO, 2013.
[6]
T. Yue, S. Ali, and B. Selic. 2015. Cyber-physical system product line engineering: Comprehensive domain analysis and experience report. In Proceedings of International Systems and Software Product Line Conference (SPLC). ACM, 338–347.
[7]
S. Wang, A. Gotlieb, M. Liaaen, and L. C. Briand. 2012. Automatic selection of test execution plans from a video conferencing system product line. In Proceedings of VARiability for You Workshop: Variability Modeling Made Useful for Everyone. ACM, 2425422, 32–37.
[8]
M. B. Cohen, M. B. Dwyer, and J. Shi. 2008. Constructing interaction test suites for highly-configurable systems in the presence of constraints: A greedy approach. IEEE Transactions on Software Engineering 34, 5 (2008), 633–650.
[9]
S. Oster, F. Markert, and P. Ritter. 2010. Automated incremental pairwise testing of software product lines. In Proceedings of International Conference on Software Product Lines. Springer, 196–210.
[10]
G. Perrouin, S. Sen, J. Klein, B. Baudry, and Y. Le Traon. 2010. Automated and scalable t-wise test case generation strategies for software product lines. In Proceedings of 2010 3rd International Conference on Software Testing, Verification and Validation. IEEE, 459–468.
[11]
M. F. Johansen, Y. Haugen, and F. Fleurey. 2012. An algorithm for generating t-wise covering arrays from large feature models. In Proceedings of 16th International Software Product Line Conference - Volume 1. ACM, Salvador, Brazil, 46–55.
[12]
A. Hervieu, D. Marijan, A. Gotlieb, and B. Baudry. 2016. Practical minimization of pairwise-covering test configurations using constraint programming. Information and Software Technology 71 (2016), 129–146.
[13]
B. J. Garvin, M. B. Cohen, and M. B. Dwyer. 2011. Evaluating improvements to a meta-heuristic search for constrained interaction testing. Empirical Software Engineering 16, 1 (2011), 61–102.
[14]
C. Henard, M. Papadakis, M. Harman, and Y. Le Traon. 2015. Combining multi-objective search and constraint solving for configuring large software product lines. In Proceedings of 37th International Conference on Software Engineering—Volume 1. IEEE Press, 517–528.
[15]
A. S. Sayyad, J. Ingram, T. Menzies, and H. Ammar. 2013. Scalable product line configuration: A straw to break the camel's back. In Proceedings of International Conference on Automated Software Engineering (ASE). IEEE, 465–474.
[16]
C. Salinesi, R. Triki, and R. Mazo. 2012. Combining configuration and recommendation to define an interactive product line configuration approach. arXiv preprint arXiv:1206.2520 (2012).
[17]
J. A. Pereira, P. Matuszyk, S. Krieter, M. Spiliopoulou, and G. Saake. 2016. A feature-based personalized recommender system for product-line configuration. In Proceedings of ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. ACM, 120–131.
[18]
J. White, D. C. Schmidt, D. Benavides, P. Trinidad, and A. Ruiz-Cortés. 2008. Automated diagnosis of product-line configuration errors in feature models. In Proceedings of International Systems and Software Product Line Conference (SPLC’08). IEEE, 225–234.
[19]
C. Henard, M. Papadakis, G. Perrouin, J. Klein, and Y. Le Traon. 2013. Towards automated testing and fixing of re-engineered feature models. In Proceedings of 35th International Conference on Software Engineering (ICSE’13). IEEE, 1245–1248.
[20]
J. Barreiros and A. Moreira. 2014. A cover-based approach for configuration repair. In Proceedings of 18th International Software Product Line Conference—Volume 1. ACM, 157–166.
[21]
Y. Xiong, H. Zhang, A. Hubaux, S. She, J. Wang, and K. Czarnecki. 2014. Range fixes: Interactive error resolution for software configuration. IEEE Transactions on Software Engineering 41, 6 (2014), 603–619.
[22]
Y. Xiong, A. Hubaux, S. She, and K. Czarnecki. 2012. Generating range fixes for software configuration. In Proceedings of 34th International Conference on Software Engineering (ICSE’12). IEEE, 58–68.
[23]
B. Wang, L. Passos, Y. Xiong, K. Czarnecki, H. Zhao, and W. Zhang. 2013. Smartfixer: Fixing software configurations based on dynamic priorities. In Proceedings of 17th International Software Product Line Conference. ACM, 82–90.
[24]
K. Czarnecki, S. She, and A. Wasowski. 2008. Sample spaces and feature models: There and back again. In Proceedings of International Systems and Software Product Line Conference (SPLC’08). IEEE, 22–31.
[25]
S. A. Safdar, T. Yue, S. Ali, and H. Lu. 2019. Using multi-objective search and machine learning to infer rules constraining product configurations. Automated Software Engineering (ASE) 26, 4 (2019), 1–62.
[26]
S. A. Safdar, L. Hong, Y. Tao, and A. Shaukat. 2017. Mining cross product line rules with multi-objective search and machine learning. In Proceedings of the Genetic and Evolutionary Computation Conference (GECCO’17). ACM, 3071261, 1319–1326.
[27]
R. E. Lopez-Herrejon, L. Linsbauer, and A. Egyed. 2015. A systematic mapping study of search-based software engineering for software product lines. Information and Software Technology (IST), 61 (2015), 33–51.
[28]
M. Harman, Y. Jia, J. Krinke, W. B. Langdon, J. Petke, and Y. Zhang. 2014. Search based software engineering for software product line engineering: A Survey and directions for future work. In Proceedings of International Systems and Software Product Line Conference (SPLC’14). ACM, 5–18.
[29]
J. Guo, J. H. Liang, K. Shi, D. Yang, J. Zhang, K. Czarnecki, V. Ganesh, and H. Yu. 2017. SMTIBEA: A hybrid multi-objective optimization algorithm for configuring large constrained software product lines. Software & Systems Modeling (SoSyM) 16, 4 (2017), 1–20.
[30]
J. Brownlee. 2012. Clever Algorithms: Nature-Inspired Programming Recipes. 1st edition. lulu.com.
[31]
K. Deb, A. Pratap, S. Agarwal, and T. Meyarivan. 2002. A fast and elitist multiobjective genetic algorithm: NSGA-II. IEEE Transactions on Evolutionary Computation 6, 2 (2002), 182–197.
[32]
F. Sarro, A. Petrozziello, and M. Harman. 2016. Multi-objective software effort estimation. In Proceedings of International Conference on Software Engineering (ICSE’16). ACM, 619–630.
[33]
S. Yoo and M. Harman. 2007. Pareto efficient multi-objective test case selection. In Proceedings of International Symposium on Software Testing and Analysis. ACM, 1273483, 140–150.
[34]
Y. Zhang, A. Finkelstein, and M. Harman. 2008. Search based requirements optimisation: Existing work and challenges. In Proceedings of International Working Conference on Requirements Engineering: Foundation for Software Quality. Springer, Berlin, Heidelberg.
[35]
E. Zitzler and S. Künzli. 2004. Indicator-based selection in multiobjective search. In Proceedings of International Conference on Parallel Problem Solving from Nature. Springer, 832–842.
[36]
E. Zitzler and L. Thiele. 1999. Multiobjective evolutionary algorithms: a comparative case study and the strength Pareto approach. IEEE Transactions on Evolutionary Computation 3, 4 (1999), 257–271.
[37]
E. Zitzler, M. Laumanns, and L. Thiele. 2001. SPEA2: Improving the Strength Pareto Evolutionary Algorithm. TIK-report, 103 (2001).
[38]
J. D. Knowles and D. W. Corne. 2000. Approximating the nondominated front using the Pareto archived evolution strategy. IEEE Transactions on Evolutionary Computation 8, 2 (2000), 149–172.
[39]
A. Nebro, J. Durillo, F. Luna, B. Dorronsoro, and E. Alba. 2007. Design Issues in a Multiobjective Cellular Genetic Algorithm. Springer, Berlin.
[40]
A. J. Nebro, J. J. Durillo, J. Garcia-Nieto, C. A. Coello Coello, F. Luna, and E. Alba. 2009. SMPSO: A new PSO-based metaheuristic for multi-objective optimization. In Proceedings of IEEE Symposium on Computational Intelligence in Multi-Criteria Decision-Making (MCDM’09). IEEE, 66–73.
[41]
OCL. 2011. Object Constraint Language Specification, Version 2.2. Object Management Group (OMG).
[42]
S. Nadi, T. Berger, C. Kästner, and K. Czarnecki. 2015. Where do configuration constraints stem from? An extraction approach and an empirical study. IEEE Transactions on Software Engineering (TSE) 41, 8 (2015), 820–841.
[43]
S. Nadi, T. Berger, C. Kästner, and K. Czarnecki. 2014. Mining configuration constraints: Static analyses and empirical results. In Proceedings of International Conference on Software Engineering (ICSE’14). ACM, 140–151.
[44]
P. McMinn. 2004. Search-based software test data generation: A survey. Software Testing Verification and Reliability (STVR) 14, 2 (2004), 105–156.
[45]
S. Ali, M. Z. Iqbal, A. Arcuri, and L. C. Briand. 2013. Generating test data from OCL constraints with search techniques. IEEE Transactions on Software Engineering (TSE) 39, 10 (2013), 1376–1402.
[46]
C. Henard, M. Papadakis, G. Perrouin, J. Klein, and Y. L. Traon. 2013. Multi-objective test generation for software product lines. In Proceedings of International Systems and Software Product Line Conference (SPLC’13). ACM, 62–71.
[47]
R. T. Marler and J. S. Arora. 2004. Survey of multi-objective optimization methods for engineering. Structural and Multidisciplinary Optimization (SMO) 26, 6 (2004), 369–395.
[48]
J. J. Durillo and A. J. Nebro. 2011. jMetal: A Java framework for multi-objective optimization. Advances in Engineering Software 42, 10 (2011), 760–771.
[49]
A. Arcuri and L. Briand. 2011. A practical guide for using statistical tests to assess randomized algorithms in software engineering. In Proceedings of International Conference on Software Engineering (ICSE). IEEE, 1–10.
[50]
S. Wang, D. Buchmann, S. Ali, A. Gotlieb, D. Pradhan, and M. Liaaen. 2014. Multi-objective test prioritization in software product line testing: an industrial case study. In Proceedings of International Systems and Software Product Line Conference (SPLC’14). ACM, 32–41.
[51]
S. Ali, M. Liaaen, S. Wang, and T. Yue. 2017. Empowering testing activities with modeling-achievements and insights from nine years of collaboration with Cisco. In Proceedings of International Conference on Model-Driven Engineering and Software Development (MODELSWARD). Springer 581–589.
[52]
Jitsi. 2003. Retrieved June 4, 2021 from http://www.jitsi.org.
[53]
S. Wang, S. Ali, T. Yue, Y. Li, and M. Liaaen. 2016. A practical guide to select quality indicators for assessing Pareto-based search algorithms in search-based software engineering. In Proceedings of International Conference on Software Engineering (ICSE’16). ACM, 631–642.
[54]
S. Ali, P. Arcaini, D. Pradhan, S. A. Safdar, and T. Yue. 2020. Quality indicators in search-based software engineering: An empirical evaluation. ACM Transactions on Software Engineering and Methodology (TOSEM) 29, 2 (2020), 1–29.
[55]
J. D. Knowles, L. Thiele, and E. Zitzler. 2006. A tutorial on the performance assessment of stochastic multiobjective optimizers. TIK-Report, 214 (2006).
[56]
D. A. Van Veldhuizen and G. B. Lamont. 1998. Multiobjective evolutionary algorithm research: A history and analysis. Citeseer, (1998).
[57]
J. L. Cochrane and M. Zeleny. 1973. Multiple Criteria Decision Making. University of South Carolina Press, (1973).
[58]
K. Deb. 2001. Multi-objective optimization using evolutionary algorithms. John Wiley & Sons, (2001).
[59]
C. M. Fonseca and P. J. Fleming. 1998. Multiobjective optimization and multiple constraint handling with evolutionary algorithms Part II: Application example. IEEE Transactions on Systems, Man, and Cybernetics: Systems 28, 1 (1998), 38–47.
[60]
M. Tanaka, H. Watanabe, Y. Furukawa, and T. Tanino. 1995. GA-based decision support system for multicriteria optimization. In Proceedings of IEEE International Conference on Systems, Man and Cybernetics, Intelligent Systems for the 21st Century. IEEE, 1556–1561.
[61]
A. J. Nebro, F. Luna, E. Alba, B. Dorronsoro, J. J. Durillo, and A. Beham. 2008. AbYSS: Adapting scatter search to multiobjective optimization. IEEE Transactions on Evolutionary Computation 12, 4 (2008), 439–457.
[62]
A. Zhou, Y. Jin, Q. Zhang, B. Sendhoff, and E. Tsang, 2006. Combining model-based and genetics-based offspring generation for multi-objective optimization using a convergence criterion. In Proceedings of IEEE Congress on Evolutionary Computation (CEC). IEEE, 892–899.
[63]
M. López-Ibánez, J. Dubois-Lacoste, T. Stützle, and M. Birattari. 2011. The iRace package, iterated race for automatic algorithm configuration. Technical Report TR/IRIDIA/2011-004, IRIDIA, Université Libre de Bruxelles, (2011).
[64]
T. Liao, M. A. M. de Oca, and T. Stützle. 2013. Computational results for an automatically tuned CMA-ES with increasing population size on the CEC’05 benchmark set. Soft Computing 17, 6 (2013), 1031–1046.
[65]
L. P. Caceres, M. López-Ibáñez, and T. Stützle. 2015. Ant colony optimization on a limited budget of evaluations. Swarm Intelligence 9, 2-3 (2015), 103–124.
[66]
Z. Ren, H. Jiang, J. Xuan, S. Zhang, and Z. Luo. 2017. Feature based problem hardness understanding for requirements engineering. Science China Information Sciences 60, 3 (2017), 032105.
[67]
L. C. Bezerra, M. López-Ibáñez, and T. Stützle. 2020. Automatic configuration of multi-objective optimizers and multi-objective configuration. Springer, Cham.
[68]
D. Pradhan, S. Wang, S. Ali, T. Yue, and M. Liaaen. 2018. CBGA-ES+: A cluster-based genetic algorithm with non-dominated elitist selection for supporting multi-objective test optimization. IEEE Transactions on Software Engineering (TSE) 47, 1 (2018), 86--107.
[69]
J. B. Kollat and P. M. Reed. 2006. Comparing state-of-the-art evolutionary multi-objective algorithms for long-term groundwater monitoring design. Advances in Water Resources 29, 6 (2006), 792–807.
[70]
A. E. Eiben and S. K. Smit. 2011. Parameter tuning for configuring and analyzing evolutionary algorithms. Swarm and Evolutionary Computation 1, 1 (2011), 19–31.
[71]
A. Baars, M. Harman, Y. Hassoun, K. Lakhotia, P. McMinn, P. Tonella, and T. Vos, 2011. Symbolic search-based testing. In Proceedings of 26th IEEE/ACM International Conference on Automated Software Engineering. IEEE Computer Society, 53–62.
[72]
K. Praditwong, M. Harman, and X. Yao. 2010. Software module clustering as a multi-objective search problem. IEEE Transactions on Software Engineering (TSE) 37, 2 (2010), 264–282.
[73]
S. Gueorguiev, M. Harman, and G. Antoniol. 2009. Software project planning for robustness and completion time in the presence of uncertainty using multi objective search based software engineering. In Proceedings of 11th Annual Conference on Genetic and Evolutionary Computation. ACM, 1673–1680.
[74]
J. A. Rice. 2006. Mathematical Statistics and Data Analysis. Cengage Learning.
[75]
J. Wu, S. Ali, T. Yue, J. Tian, and C. Liu. 2016. Assessing the quality of industrial avionics software: an extensive empirical evaluation. Empirical Software Engineering (EMSE) 22, 4 (2016), 1–50.
[76]
H. B. Mann and D. R. Whitney. 1947. On a test of whether one of two random variables is stochastically larger than the other. The Annals of Mathematical Statistics 18, 1 (1947), 50–60.
[77]
A. Vargha and H. D. Delaney. 2000. A critique and improvement of the CL common language effect size statistics of McGraw and Wong. Journal of Educational and Behavioral Statistics (JEBS) 25, 2 (2000), 101–132.
[78]
N. Breslow. 1970. A generalized Kruskal-Wallis test for comparing K samples subject to unequal patterns of censorship. Biometrika 57, 3 (1970), 579–594.
[79]
A. Konak, D. W. Coit, and A. E. Smith. 2006. Multi-objective optimization using genetic algorithms: A tutorial. Reliability Engineering & System Safety (RESS) 91, 9 (2006), 992–1007.
[80]
Y. Zhang. 2010. Multi-objective Search-Based Requirements Selection and Optimisation. Ph.D. Dissertation. University of London.
[81]
A. Arcuri and G. Fraser. 2011. On parameter tuning in search based software engineering. In Proceedings of International Symposium on Search Based Software Engineering (SSBSE’11). Lecture Notes in Computer Science, Vol. 6956. Springer, Berlin.
[82]
A. Arcuri and G. Fraser. 2013. Parameter tuning or default values? An empirical investigation in search-based software engineering. Empirical Software Engineering (EMSE) 18, 3 (2013), 594–623.
[83]
S. Wang, S. Ali, T. Yue, Y. Bakkeli, and M. Liaaen. 2016. Enhancing test case prioritization in an industrial setting with resource awareness and multi-objective search. In Proceedings of 38th International Conference on Software Engineering Companion. ACM, 2889240 182–191.
[84]
D. Pradhan, S. Wang, T. Yue, S. Ali, and M. Liaaen. 2019. Search-based test case implantation for testing untested configurations. Information and Software Technology 111 (2019), 22–36.
[85]
S. A. Safdar, T. Yue, S. Ali, and H. Lu. 2016. Evaluating variability modeling techniques for supporting cyber-physical system product line engineering. In Proceedings of International Conference on System Analysis and Modeling (SAM). Springer, 1–19.
[86]
S. A. Safdar, L. Hong, Y. Tao, A. Shaukat, and K. Nie. 2020. A framework for automated multi-stage and multi-step product configuration of cyber-physical systems. Software and Systems Modeling (SoSym) 19, 3 (2020).
[87]
Cisco Systems. 2020. End-user guide manuals. Retrieved June 4, 2021 from https://www.cisco.com/c/en/us/support/collaboration-endpoints/telepresence-mx-series/products-user-guide-list.html.
[88]
J. A. Pereira, S. Schulze, E. Figueiredo, and G. Saake. 2018. N-dimensional tensor factorization for self-configuration of software product lines at runtime. In Proceedings of 22nd International Systems and Software Product Line Conference-Volume 1. ACM, 87–97.
[89]
D. Marijan, A. Gotlieb, S. Sen, and A. Hervieu. 2013. Practical pairwise testing for software product lines. In Proceedings of 17th International Software Product Line Conference. ACM, 227–235.
[90]
M. Mukelabai, D. Nešić, S. Maro, T. Berger, and J.-P. Steghöfer. 2018. Tackling combinatorial explosion: a study of industrial needs and practices for analyzing highly configurable systems. In Proceedings of 33rd ACM/IEEE International Conference on Automated Software Engineering. ACM, 155–166.
[91]
C. Wang, F. Pastore, A. Goknil, L. C. Briand, and Z. Iqbal. 2015. UMTG: A toolset to automatically generate system test cases from use case specifications. In Proceedings of 10th Joint Meeting on Foundations of Software Engineering. 942–945.
[92]
P. Runeson, M. Host, A. Rainer, and B. Regnell. 2012. Case study research in software engineering: Guidelines and examples. John Wiley & Sons.
[93]
Márcio De Oliveira Barros and Arilo Cláudio Dias-Neto. 2011. 0006/2011 - Threats to validity in search-based software engineering empirical studies. RelaTe-DIA 5, 1 (2011). http://www.seer.unirio.br/monografiasppgi/article/view/1479.
[94]
S. Wang, S. Ali, and A. Gotlieb. 2014. Cost-effective test suite minimization in product lines using search techniques. Journal of Systems and Software (JSS) 103 (2014), 370–391.
[95]
B. Kitchenham, L. Pickard, and S. L. Pfleeger. 1995. Case studies for method and tool evaluation. IEEE Software 12, 4 (1995), 52.
[96]
Z. Li, M. Harman, and R. M. Hierons. 2007. Search algorithms for regression test case prioritization. IEEE Transactions on Software Engineering 33, 4 (2007), 225–237.
[97]
C. Wohlin, P. Runeson, M. Host, M. Ohlsson, B. Regnell, and A. Wesslen. 2000. Experimentation in software engineering: An introduction. Kluwer Academic Publishers.
[98]
D. Pradhan, S. Wang, S. Ali, and T. Yue. 2016. Search-based cost-effective test case selection within a time budget: An empirical study. In Proceedings of The Genetic and Evolutionary Computation Conference (GECCO’16). ACM, 2908850, 1085-1092.
[99]
A. S. Sayyad, T. Menzies, and H. Ammar. 2013. On the value of user preferences in search-based software engineering: A case study in software product lines. In Proceedings of International Conference on Software Engineering (ICSE’13). IEEE, 492–501.
[100]
S. Wang, S. Ali, T. Yue, and M. Liaaen. 2015. UPMOA: An improved search algorithm to support user-preference multi-objective optimization. In Proceedings of 26th International Symposium on Software Reliability Engineering. IEEE, 393–404.
[101]
F. Sarro, A. Petrozziello, and M. Harman. 2016. Multi-objective software effort estimation. In Proceedings of 38th International Conference on Software Engineering. IEEE, 619--630.
[102]
H. Yu, K. Shi, J. Guo, G. Fan, X. Yang, and L. Chen. 2018. Combining constraint solving with different MOEAs for configuring large software product lines: a case study. In Proceedings of 42nd Annual Computer Software and Applications Conference (COMPSAC). IEEE, 54–63.
[103]
T. Yue, S. Ali, H. Lu, and K. Nie. 2016. Search-based decision ordering to facilitate product line engineering of cyber-physical system. In Proceedings of 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD’16). IEEE, 691–703.
[104]
R. Behjati, T. Yue, L. Briand, and B. Selic. 2013. SimPL: A product-line modeling methodology for families of integrated control systems. Information and Software Technology (IST) 55, 3 (2013), 607--629.
[105]
L. De Moura and N. Bjørner. 2008. Z3: An efficient SMT solver. In Proceedings of International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 337–340.
[106]
N. Jussien, G. Rochart, and X. Lorca, Year. Choco: an open source Java constraint programming library. In Proceedings of Workshop on Open-Source Software for Integer and Constraint Programming (OSSICP'08). 1--10.
[107]
Veer, B. and Dallaway, J. 2010. The eCos component writer's guide. http://ecos.sourceware.org/docs-3.0/pdf/ecos-3.0-cdl-guide-a4.pdf.
[108]
S. She and T. Berger. 2010. Formal semantics of the Kconfig language. Technical note, University of Waterloo, 24 (2010).
[109]
V. Mencl. 1998. Component definition language. Department of SW Engineering. Master thesis. Charles University, Prague (1998).

Cited By

View all
  • (2024)On Estimating the Feasible Solution Space of Multi-objective Testing Resource AllocationACM Transactions on Software Engineering and Methodology10.1145/365444433:6(1-41)Online publication date: 27-Jun-2024
  • (2024)Software product line testing: a systematic literature reviewEmpirical Software Engineering10.1007/s10664-024-10516-x29:6Online publication date: 2-Sep-2024
  • (2022)Search-based detection of code changes introducing performance regressionSwarm and Evolutionary Computation10.1016/j.swevo.2022.10110173(101101)Online publication date: Aug-2022

Index Terms

  1. Recommending Faulty Configurations for Interacting Systems Under Test Using Multi-objective Search

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Transactions on Software Engineering and Methodology
    ACM Transactions on Software Engineering and Methodology  Volume 30, Issue 4
    Continuous Special Section: AI and SE
    October 2021
    613 pages
    ISSN:1049-331X
    EISSN:1557-7392
    DOI:10.1145/3461694
    • Editor:
    • Mauro Pezzè
    Issue’s Table of Contents
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 03 August 2021
    Accepted: 01 April 2021
    Revised: 01 March 2021
    Received: 01 August 2020
    Published in TOSEM Volume 30, Issue 4

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. Product line
    2. configuration recommendation
    3. interacting products
    4. mined rules
    5. multi-objective search
    6. testing

    Qualifiers

    • Research-article
    • Research
    • Refereed

    Funding Sources

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)26
    • Downloads (Last 6 weeks)4
    Reflects downloads up to 25 Feb 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2024)On Estimating the Feasible Solution Space of Multi-objective Testing Resource AllocationACM Transactions on Software Engineering and Methodology10.1145/365444433:6(1-41)Online publication date: 27-Jun-2024
    • (2024)Software product line testing: a systematic literature reviewEmpirical Software Engineering10.1007/s10664-024-10516-x29:6Online publication date: 2-Sep-2024
    • (2022)Search-based detection of code changes introducing performance regressionSwarm and Evolutionary Computation10.1016/j.swevo.2022.10110173(101101)Online publication date: Aug-2022

    View Options

    Login options

    Full Access

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    HTML Format

    View this article in HTML Format.

    HTML Format

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media