{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T13:54:04Z","timestamp":1770818044056,"version":"3.50.1"},"reference-count":55,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T00:00:00Z","timestamp":1761264000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T00:00:00Z","timestamp":1761264000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"name":"Luxembourg National Research Fund","award":["IPBG19\/14016225\/INSTRUCT"],"award-info":[{"award-number":["IPBG19\/14016225\/INSTRUCT"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2026,1]]},"DOI":"10.1007\/s10664-025-10737-8","type":"journal-article","created":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T07:56:17Z","timestamp":1761292577000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Test schedule generation for acceptance testing of mission-critical satellite systems"],"prefix":"10.1007","volume":"31","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8219-0466","authenticated-orcid":false,"given":"Rapha\u00ebl","family":"Ollando","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9025-7173","authenticated-orcid":false,"given":"Seung Yeob","family":"Shin","sequence":"additional","affiliation":[]},{"given":"Mario","family":"Minardi","sequence":"additional","affiliation":[]},{"given":"Nikolas","family":"Sidiropoulos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,10,24]]},"reference":[{"issue":"2","key":"10737_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3375636","volume":"29","author":"S Ali","year":"2020","unstructured":"Ali S, Arcaini P, Pradhan D, Safdar SA, Yue T (2020) Quality indicators in search-based software engineering: an empirical evaluation. ACM Trans Softw Eng Methodol (TOSEM) 29(2):1\u201329","journal-title":"ACM Trans Softw Eng Methodol (TOSEM)"},{"key":"10737_CR2","doi-asserted-by":"crossref","unstructured":"Ammann P, Offutt J (2016) Introduction to software testing, 2nd edn. Cambridge University Press","DOI":"10.1017\/9781316771273"},{"issue":"3","key":"10737_CR3","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1002\/stvr.1486","volume":"24","author":"A Arcuri","year":"2014","unstructured":"Arcuri A, Briand L (2014) A hitchhiker\u2019s guide to statistical tests for assessing randomized algorithms in software engineering. Softw Testing Verification Reliab 24(3):219\u2013250","journal-title":"Softw Testing Verification Reliab"},{"key":"10737_CR4","doi-asserted-by":"crossref","unstructured":"Arcuri A, Fraser G (2011) On parameter tuning in search based software engineering. In: Proceedings of the 3rd International Symposium on Search Based Software Engineering (SSBSE\u201911). pp 33\u201347","DOI":"10.1007\/978-3-642-23716-4_6"},{"key":"10737_CR5","doi-asserted-by":"crossref","unstructured":"Arrieta A, Wang S, Sagardui G, Etxeberria L (2016) Test case prioritization of configurable cyber-physical systems with weight-based search algorithms. In: Proceedings of the genetic and evolutionary computation conference 2016. Association for Computing Machinery, New York, NY, USA, pp 1053\u20131060","DOI":"10.1145\/2908812.2908871"},{"key":"10737_CR6","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.infsof.2019.06.009","volume":"114","author":"A Arrieta","year":"2019","unstructured":"Arrieta A, Wang S, Markiegi U, Arruabarrena A, Etxeberria L, Sagardui G (2019) Pareto efficient multi-objective black-box test case selection for simulation-based testing. Inf Softw Technol 114:137\u2013154","journal-title":"Inf Softw Technol"},{"key":"10737_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jss.2018.09.055","volume":"149","author":"A Arrieta","year":"2019","unstructured":"Arrieta A, Wang S, Sagardui G, Etxeberria L (2019) Search-based test case prioritization for simulation-based testing of cyber-physical system product lines. J Syst Softw 149:1\u201334","journal-title":"J Syst Softw"},{"key":"10737_CR8","unstructured":"Balanis CA (2016) Antenna theory: analysis and design. John Wiley & Sons"},{"issue":"1","key":"10737_CR9","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.aei.2004.07.001","volume":"18","author":"JE Bell","year":"2004","unstructured":"Bell JE, McMullen PR (2004) Ant colony optimization techniques for the vehicle routing problem. Adv Eng Inform 18(1):41\u201348","journal-title":"Adv Eng Inform"},{"issue":"1","key":"10737_CR10","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/TEVC.2020.2992387","volume":"25","author":"J Blank","year":"2021","unstructured":"Blank J, Deb K, Dhebar Y, Bandaru S, Seada H (2021) Generating well-spaced points on a unit simplex for evolutionary many-objective optimization. IEEE Trans Evol Comput 25(1):48\u201360","journal-title":"IEEE Trans Evol Comput"},{"key":"10737_CR11","doi-asserted-by":"crossref","unstructured":"Busjaeger B, Xie T (2016) Learning for test prioritization: an industrial case study. In: 24th ACM SIGSOFT International symposium on foundations of software engineering. pp 975\u2013980","DOI":"10.1145\/2950290.2983954"},{"key":"10737_CR12","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/s11219-012-9181-z","volume":"21","author":"C Catal","year":"2013","unstructured":"Catal C, Mishra D (2013) Test case prioritization: a systematic mapping study. Software Qual J 21:445\u2013478","journal-title":"Software Qual J"},{"key":"10737_CR13","doi-asserted-by":"crossref","unstructured":"Coello CAC (2000) Treating constraints as objectives for single-objective evolutionary optimization. Eng Optimization+ A35 32(3):275\u2013308","DOI":"10.1080\/03052150008941301"},{"issue":"1","key":"10737_CR14","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/TEM.2003.822468","volume":"51","author":"FD Davis","year":"2004","unstructured":"Davis FD, Venkatesh V (2004) Toward preprototype user acceptance testing of new information systems: implications for software project management. IEEE Trans Eng Manage 51(1):31\u201346","journal-title":"IEEE Trans Eng Manage"},{"key":"10737_CR15","doi-asserted-by":"crossref","unstructured":"Deb K, Agrawal S (1999) A niched-penalty approach for constraint handling in genetic algorithms. In: Artificial neural nets and genetic algorithms: proceedings of the international conference in Portoro\u017e. pp 235\u2013243","DOI":"10.1007\/978-3-7091-6384-9_40"},{"issue":"4","key":"10737_CR16","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1109\/TEVC.2013.2281535","volume":"18","author":"K Deb","year":"2014","unstructured":"Deb K, Jain H (2014) An evolutionary many-objective optimization algorithm using reference-point-based nondominated sorting approach, part i: solving problems with box constraints. IEEE Trans Evol Comput 18(4):577\u2013601","journal-title":"IEEE Trans Evol Comput"},{"issue":"2","key":"10737_CR17","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1109\/4235.996017","volume":"6","author":"K Deb","year":"2002","unstructured":"Deb K, Pratap A, Agarwal S, Meyarivan T (2002) A fast and elitist multiobjective genetic algorithm: NSGA-II. IEEE Trans Evol Comput 6(2):182\u2013197","journal-title":"IEEE Trans Evol Comput"},{"key":"10737_CR18","doi-asserted-by":"crossref","unstructured":"Dorigo M, Maniezzo V, Colorni A (1996) Ant system: optimization by a colony of cooperating agents. IEEE Trans Syst Man Cybern Part B (Cybernetics) 26(1):29\u201341","DOI":"10.1109\/3477.484436"},{"key":"10737_CR19","unstructured":"Finsterwalder M (2001) Automating acceptance tests for GUI applications in an extreme programming environment. In: 2nd international conference on extreme programming and flexible processes in software engineering (XP\u201901). pp 114\u2013117"},{"key":"10737_CR20","doi-asserted-by":"crossref","unstructured":"Fortescue P, Stark J, Swinerd G (2011) Spacecraft systems engineering. John Wiley & Sons, Ltd","DOI":"10.1002\/9781119971009"},{"key":"10737_CR21","doi-asserted-by":"crossref","unstructured":"Gao K, Wu G, Zhu J (2013) Multi-satellite observation scheduling based on a hybrid ant colony optimization. In: Proceedings of the 2nd International Symposium on Computer, Communication, Control and Automation (ISCCCA 2013). pp 675\u2013678","DOI":"10.2991\/isccca.2013.169"},{"key":"10737_CR22","doi-asserted-by":"publisher","DOI":"10.1002\/9780470172261","volume-title":"Genetic algorithms and engineering optimization","author":"M Gen","year":"1999","unstructured":"Gen M, Cheng R (1999) Genetic algorithms and engineering optimization, vol 7. John Wiley & Sons, USA"},{"issue":"1","key":"10737_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2379776.2379787","volume":"45","author":"M Harman","year":"2012","unstructured":"Harman M, Mansouri SA, Zhang Y (2012) Search-based software engineering: trends, techniques and applications. ACM Comput Surv (CSUR) 45(1):1\u201361","journal-title":"ACM Comput Surv (CSUR)"},{"issue":"4","key":"10737_CR24","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1177\/003754979406200405","volume":"62","author":"A Homaifar","year":"1994","unstructured":"Homaifar A, Qi CX, Lai SH (1994) Constrained optimization via genetic algorithms. Simulation 62(4):242\u2013253","journal-title":"Simulation"},{"key":"10737_CR25","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1016\/j.infsof.2017.08.014","volume":"93","author":"M Khatibsyarbini","year":"2018","unstructured":"Khatibsyarbini M, Isa MA, Jawawi DN, Tumeng R (2018) Test case prioritization approaches in regression testing: a systematic literature review. Inf Softw Technol 93:74\u201393","journal-title":"Inf Softw Technol"},{"issue":"8","key":"10737_CR26","doi-asserted-by":"publisher","first-page":"2672","DOI":"10.1016\/j.cor.2006.12.029","volume":"35","author":"M Kong","year":"2008","unstructured":"Kong M, Tian P, Kao Y (2008) A new ant colony optimization algorithm for the multidimensional knapsack problem. Comput Oper Res 35(8):2672\u20132683","journal-title":"Comput Oper Res"},{"key":"10737_CR27","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1023\/A:1018503800709","volume":"6","author":"HK Leung","year":"1997","unstructured":"Leung HK, Wong PW (1997) A study of user acceptance tests. Software Qual J 6:137\u2013149","journal-title":"Software Qual J"},{"issue":"4","key":"10737_CR28","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1109\/TSE.2007.38","volume":"33","author":"Z Li","year":"2007","unstructured":"Li Z, Harman M, Hierons RM (2007) Search algorithms for regression test case prioritization. IEEE Trans Software Eng 33(4):225\u2013237","journal-title":"IEEE Trans Software Eng"},{"key":"10737_CR29","doi-asserted-by":"crossref","unstructured":"Liebel G, Al\u00e9groth E, Feldt R (2013) State-of-practice in GUI-based system and acceptance testing: An industrial multiple-case study. In: Euromicro 39th conference on software engineering and advanced applications. IEEE, pp 17\u201324","DOI":"10.1109\/SEAA.2013.29"},{"issue":"2","key":"10737_CR30","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1080\/09528139008953717","volume":"2","author":"GE Liepins","year":"1990","unstructured":"Liepins GE, Vose MD (1990) Representational issues in genetic optimization. J Exp Theor Artif Intell 2(2):101\u2013115","journal-title":"J Exp Theor Artif Intell"},{"key":"10737_CR31","doi-asserted-by":"crossref","unstructured":"Liskin O, Herrmann C, Knauss E, Kurpick T, Rumpe B, Schneider K (2012) Supporting acceptance testing in distributed software projects with integrated feedback systems: experiences and requirements. In: IEEE 7th international conference on global software engineering. IEEE, pp 84\u201393","DOI":"10.1109\/ICGSE.2012.34"},{"key":"10737_CR32","unstructured":"L\u00f6ffler R, G\u00fcldali B, Geisen S (2010) Towards model-based acceptance testing for scrum. Softwaretechnik-Trends Band 30, Heft 3"},{"key":"10737_CR33","unstructured":"Luke S (2013) Essentials of metaheuristics, 2nd edn. Lulu, available for free at http:\/\/cs.gmu.edu\/~sean\/book\/metaheuristics\/"},{"issue":"1","key":"10737_CR34","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1214\/aoms\/1177730491","volume":"18","author":"HB Mann","year":"1947","unstructured":"Mann HB, Whitney DR (1947) On a test of whether one of two random variables is stochastically larger than the other. Ann Math Stat 18(1):50\u201360","journal-title":"Ann Math Stat"},{"key":"10737_CR35","doi-asserted-by":"crossref","unstructured":"Maral G, Bousquet M, Sun Z (2020) Satellite communications systems: systems, techniques and technology. John Wiley & Sons","DOI":"10.1002\/9781119673811"},{"issue":"11","key":"10737_CR36","doi-asserted-by":"publisher","first-page":"1572","DOI":"10.1016\/j.cor.2011.01.016","volume":"38","author":"F Marinelli","year":"2011","unstructured":"Marinelli F, Nocella S, Rossi F, Smriglio S (2011) A Lagrangian heuristic for satellite range scheduling with resource constraints. Comput Oper Res 38(11):1572\u20131583","journal-title":"Comput Oper Res"},{"key":"10737_CR37","doi-asserted-by":"crossref","unstructured":"Mkaouer MW, Kessentini M, Bechikh S, Deb K, \u00d3\u00a0Cinn\u00e9ide M (2014) High dimensional search-based software engineering: finding tradeoffs among 15 objectives for automating software refactoring using NSGA-III. In: Proceedings of the 2014 annual conference on genetic and evolutionary computation. Association for Computing Machinery, New York, NY, USA, pp 1263\u20131270","DOI":"10.1145\/2576768.2598366"},{"issue":"4","key":"10737_CR38","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/s10878-005-4922-6","volume":"10","author":"R Montemanni","year":"2005","unstructured":"Montemanni R, Gambardella LM, Rizzoli AE, Donati AV (2005) Ant colony system for a dynamic vehicle routing problem. J Comb Optim 10(4):327\u2013343","journal-title":"J Comb Optim"},{"key":"10737_CR39","doi-asserted-by":"crossref","unstructured":"O\u2019Connor P, Kleyner A (2012) Practical reliability engineering. John Wiley & Sons","DOI":"10.1002\/9781119961260"},{"key":"10737_CR40","unstructured":"Ollando R, Shin SY, Minardi M, Sidiropoulos N (2025) [artifact repository] test schedule generation for acceptance testing of mission-critical satellite systems. https:\/\/figshare.com\/s\/58931c1953bd4f9a0136"},{"key":"10737_CR41","volume-title":"Numerical optimization of computer models","author":"HP Schwefel","year":"1981","unstructured":"Schwefel HP (1981) Numerical optimization of computer models. John Wiley & Sons, USA"},{"key":"10737_CR42","doi-asserted-by":"crossref","unstructured":"Shin SY, Nejati S, Sabetzadeh M, Briand LC, Zimmer F (2018) Test case prioritization for acceptance testing of cyber physical systems: a multi-objective search-based approach. In: Proceedings of the 27th ACM SIGSOFT international symposium on software testing and analysis (ISSTA\u201918). pp 49\u201360","DOI":"10.1145\/3213846.3213852"},{"issue":"8","key":"10737_CR43","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1016\/S0167-739X(00)00043-1","volume":"16","author":"T St\u00fctzle","year":"2000","unstructured":"St\u00fctzle T, Hoos HH (2000) Max-min ant system. Futur Gener Comput Syst 16(8):889\u2013914","journal-title":"Futur Gener Comput Syst"},{"key":"10737_CR44","unstructured":"Van\u00a0Veldhuizen DA, Lamont GB (1998) Multiobjective evolutionary algorithm research: A history and analysis. Tech. Rep. TR-98-03, Air Force Institute of Technology"},{"key":"10737_CR45","doi-asserted-by":"crossref","unstructured":"Vargha A, Delaney HD (2000) A critique and improvement of the \u201ccl\u201d common language effect size statistics of McGraw and Wong. J Educ Behav Stat 25(2):101\u2013132","DOI":"10.3102\/10769986025002101"},{"key":"10737_CR46","doi-asserted-by":"crossref","unstructured":"Wang S, Ali S, Yue T, Bakkeli \u00d8, Liaaen M (2016a) Enhancing test case prioritization in an industrial setting with resource awareness and multi-objective search. In: 38th IEEE\/ACM international conference on software engineering companion. pp 182\u2013191","DOI":"10.1145\/2889160.2889240"},{"key":"10737_CR47","doi-asserted-by":"crossref","unstructured":"Wang S, Ali S, Yue T, Li Y, Liaaen M (2016b) A practical guide to select quality indicators for assessing pareto-based search algorithms in search-based software engineering. In: Proceedings of the 38th international conference on software engineering, ICSE \u201916. pp 631\u2013642","DOI":"10.1145\/2884781.2884880"},{"key":"10737_CR48","unstructured":"West DB (2001) Introduction to graph theory, 2nd edn. Pearson College Div"},{"issue":"7","key":"10737_CR49","doi-asserted-by":"publisher","first-page":"1884","DOI":"10.1016\/j.cor.2013.02.009","volume":"40","author":"G Wu","year":"2013","unstructured":"Wu G, Liu J, Ma M, Qiu D (2013) A two-phase scheduling method with the consideration of task clustering for earth observing satellites. Comput Oper Res 40(7):1884\u20131894","journal-title":"Comput Oper Res"},{"issue":"3","key":"10737_CR50","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/s10489-010-0234-3","volume":"35","author":"N Zhang","year":"2011","unstructured":"Zhang N, Zr F, Lj K (2011) Guidance-solution based ant colony optimization for satellite control resource scheduling problem. Appl Intell 35(3):436\u2013444","journal-title":"Appl Intell"},{"issue":"6","key":"10737_CR51","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1109\/TEVC.2007.892759","volume":"11","author":"Q Zhang","year":"2007","unstructured":"Zhang Q, Li H (2007) MOEA\/D: a multiobjective evolutionary algorithm based on decomposition. IEEE Trans Evol Comput 11(6):712\u2013731","journal-title":"IEEE Trans Evol Comput"},{"issue":"6","key":"10737_CR52","doi-asserted-by":"publisher","first-page":"2816","DOI":"10.1016\/j.eswa.2013.10.014","volume":"41","author":"Z Zhang","year":"2014","unstructured":"Zhang Z, Zhang N, Feng Z (2014) Multi-satellite control resource scheduling based on ant colony optimization. Expert Syst Appl 41(6):2816\u20132823","journal-title":"Expert Syst Appl"},{"issue":"10","key":"10737_CR53","doi-asserted-by":"publisher","first-page":"3295","DOI":"10.1007\/s10489-018-1144-z","volume":"48","author":"Z Zhang","year":"2018","unstructured":"Zhang Z, Hu F, Zhang N (2018) Ant colony algorithm for satellite control resource scheduling problem. Appl Intell 48(10):3295\u20133305","journal-title":"Appl Intell"},{"key":"10737_CR54","doi-asserted-by":"crossref","unstructured":"Zitzler E, Thiele L (1998) Multiobjective optimization using evolutionary algorithms \u2014 a comparative case study. In: Proceedings of the 5th international conference on parallel problem solving from nature, PPSN \u2019V. pp 292\u2013301","DOI":"10.1007\/BFb0056872"},{"key":"10737_CR55","unstructured":"Zitzler E, Laumanns M, Thiele L (2001) SPEA2: Improving the strength pareto evolutionary algorithm. TIK report 103"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-025-10737-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10664-025-10737-8","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-025-10737-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T11:25:35Z","timestamp":1770809135000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10664-025-10737-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,24]]},"references-count":55,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,1]]}},"alternative-id":["10737"],"URL":"https:\/\/doi.org\/10.1007\/s10664-025-10737-8","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"value":"1382-3256","type":"print"},{"value":"1573-7616","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,24]]},"assertion":[{"value":"3 January 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 September 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 October 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"This research does not involve studies on human or animal subjects.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Informed consent"}},{"value":"The authors declare that they have no conflict of interest.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"1"}}