{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,3]],"date-time":"2026-05-03T07:38:30Z","timestamp":1777793910454,"version":"3.51.4"},"reference-count":73,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T00:00:00Z","timestamp":1771891200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100018693","name":"Horizon Europe","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100018693","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100024370","name":"Ministero dell'Istruzione dell'Universita e della Ricerca","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100024370","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[2026,7]]},"DOI":"10.1016\/j.jss.2026.112832","type":"journal-article","created":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T16:14:26Z","timestamp":1772036066000},"page":"112832","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Intelligent automatic load test generation for elastic microservice applications: A falsification-based approach"],"prefix":"10.1016","volume":"237","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-1855-4469","authenticated-orcid":false,"given":"Marco","family":"Zamponi","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2889-2309","authenticated-orcid":false,"given":"Daniele","family":"Masti","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6895-6517","authenticated-orcid":false,"given":"Emilio","family":"Incerto","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9508-7713","authenticated-orcid":false,"given":"Franco","family":"Raimondi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6018-5989","authenticated-orcid":false,"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.jss.2026.112832_bib0001","series-title":"Facets of Combinatorial Optimization: Festschrift for Martin Gr\u00f6tschel","first-page":"449","article-title":"Mixed integer programming: analyzing 12 years of progress","author":"Achterberg","year":"2013"},{"issue":"4","key":"10.1016\/j.jss.2026.112832_bib0002","doi-asserted-by":"crossref","first-page":"5073","DOI":"10.1007\/s11227-023-05665-7","article-title":"Insights into cloud autoscaling: a unique perspective through MDP and DTMC formal models","volume":"80","author":"Agos Jawaddi","year":"2024","journal-title":"J. Supercomput."},{"issue":"1","key":"10.1016\/j.jss.2026.112832_bib0003","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/s10100-023-00881-1","article-title":"Mixed integer linear programming formulation for K-means clustering problem","volume":"32","author":"\u00c1goston","year":"2024","journal-title":"Cent. Eur. J. Oper. Res."},{"key":"10.1016\/j.jss.2026.112832_bib0004","series-title":"11th IEEE\/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003.","first-page":"246","article-title":"Managing flash crowds on the internet","author":"Ari","year":"2003"},{"key":"10.1016\/j.jss.2026.112832_bib0005","unstructured":"Amazon Web Services, Inc. Auto Scaling Documentation. https:\/\/docs.aws.amazon.com\/autoscaling\/."},{"key":"10.1016\/j.jss.2026.112832_bib0006","series-title":"Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control","first-page":"1","article-title":"Falsification using reachability of surrogate koopman models","author":"Bak","year":"2024"},{"key":"10.1016\/j.jss.2026.112832_bib0007","series-title":"Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering","first-page":"217","article-title":"A discrete-time feedback controller for containerized cloud applications","author":"Baresi","year":"2016"},{"key":"10.1016\/j.jss.2026.112832_bib0008","series-title":"Proceedings of the 8th ACM International Conference on Autonomic Computing","first-page":"91","article-title":"Autonomic load-testing framework","author":"Barna","year":"2011"},{"key":"10.1016\/j.jss.2026.112832_bib0009","series-title":"Lectures on Runtime Verification: Introductory and Advanced Topics","first-page":"135","article-title":"Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications","author":"Bartocci","year":"2018"},{"key":"10.1016\/j.jss.2026.112832_bib0010","series-title":"Proceedings of the 2008 ACM Symposium on Applied Computing","first-page":"661","article-title":"Automatic feedback, control-based, stress and load testing","author":"Bayan","year":"2008"},{"issue":"6","key":"10.1016\/j.jss.2026.112832_bib0011","doi-asserted-by":"crossref","first-page":"3194","DOI":"10.1109\/TAC.2022.3183036","article-title":"A piecewise linear regression and classification algorithm with application to learning and model predictive control of hybrid systems","volume":"68","author":"Bemporad","year":"2023","journal-title":"IEEE Trans. Automat. Contr."},{"issue":"3","key":"10.1016\/j.jss.2026.112832_bib0012","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1016\/S0005-1098(98)00178-2","article-title":"Control of systems integrating logic, dynamics, and constraints","volume":"35","author":"Bemporad","year":"1999","journal-title":"Automatica"},{"key":"10.1016\/j.jss.2026.112832_bib0013","series-title":"Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00ch36334)","first-page":"872","article-title":"The explicit solution of model predictive control via multiparametric quadratic programming","volume":"Vol. 2","author":"Bemporad","year":"2000"},{"key":"10.1016\/j.jss.2026.112832_bib0014","series-title":"Hybrid Systems: Computation and Control","first-page":"45","article-title":"Optimization-based verification and stability characterization of piecewise affine and hybrid systems","author":"Bemporad","year":"2000"},{"issue":"5","key":"10.1016\/j.jss.2026.112832_bib0015","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/j.peva.2013.01.001","article-title":"Continuous approximation of collective system behaviour: a tutorial","volume":"70","author":"Bortolussi","year":"2013","journal-title":"Perform. Eval."},{"issue":"3","key":"10.1016\/j.jss.2026.112832_bib0016","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2856127","article-title":"Workload characterization: a survey revisited","volume":"48","author":"Calzarossa","year":"2016","journal-title":"ACM Comput. Surv."},{"key":"10.1016\/j.jss.2026.112832_bib0017","series-title":"2024 IEEE 17th International Conference on Cloud Computing (CLOUD)","first-page":"376","article-title":"Budget aware performance test selection for microservices","author":"Cooper","year":"2024"},{"key":"10.1016\/j.jss.2026.112832_bib0018","series-title":"Tools and Algorithms for the Construction and Analysis of Systems","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"de Moura","year":"2008"},{"key":"10.1016\/j.jss.2026.112832_bib0019","series-title":"Present and Ulterior Software Engineering","first-page":"195","article-title":"Microservices: yesterday, today, and tomorrow","author":"Dragoni","year":"2017"},{"key":"10.1016\/j.jss.2026.112832_bib0020","series-title":"2010 IEEE 3rd International Conference on Cloud Computing","first-page":"410","article-title":"From data center resource allocation to control theory and back","author":"Dutreilh","year":"2010"},{"key":"10.1016\/j.jss.2026.112832_bib0021","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1016\/j.future.2017.12.047","article-title":"Performance modelling and verification of cloud-based auto-scaling policies","volume":"87","author":"Evangelidis","year":"2018","journal-title":"Future Gen. Comput. Syst."},{"key":"10.1016\/j.jss.2026.112832_bib0022","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2025.112130","article-title":"A neural network-based approach to hybrid systems identification for control","volume":"174","author":"Fabiani","year":"2025","journal-title":"Automatica"},{"key":"10.1016\/j.jss.2026.112832_bib0023","series-title":"Patterns of Enterprise Application Architecture","author":"Fowler","year":"2012"},{"key":"10.1016\/j.jss.2026.112832_bib0024","series-title":"2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE)","first-page":"8","article-title":"Testing elastic systems with surrogate models","author":"Gambi","year":"2013"},{"issue":"2","key":"10.1016\/j.jss.2026.112832_bib0025","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1007\/s10270-017-0584-y","article-title":"Model-driven optimal resource scaling in cloud","volume":"17","author":"Gandhi","year":"2018","journal-title":"Softw. Syst. Model."},{"key":"10.1016\/j.jss.2026.112832_bib0026","series-title":"Automated Deduction \u2013 CADE-24","first-page":"208","article-title":"Dreal: an SMT solver for nonlinear theories over the reals","author":"Gao","year":"2013"},{"issue":"3","key":"10.1016\/j.jss.2026.112832_bib0027","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/0005-1098(89)90002-2","article-title":"Model predictive control: theory and practice\u2014a survey","volume":"25","author":"Garc\u00eda","year":"1989","journal-title":"Automatica"},{"key":"10.1016\/j.jss.2026.112832_bib0028","series-title":"Proceedings of the 9th International Conference on Autonomic Computing","first-page":"173","article-title":"Optimal autoscaling in a iaas cloud","author":"Ghanbari","year":"2012"},{"key":"10.1016\/j.jss.2026.112832_bib0029","series-title":"Proceedings of the 5th ACM\/IEEE International Conference on Automation of Software Test (AST 2024)","first-page":"149","article-title":"Identifying performance issues in microservice architectures through causal reasoning","author":"Giamattei","year":"2024"},{"key":"10.1016\/j.jss.2026.112832_bib0030","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/j.jpdc.2021.04.006","article-title":"Proactive auto-scaling for cloud environments using temporal convolutional neural networks","volume":"154","author":"Golshani","year":"2021","journal-title":"J. Parallel Distrib. Comput."},{"issue":"2","key":"10.1016\/j.jss.2026.112832_bib0031","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1287\/opre.15.2.254","article-title":"Closed queuing systems with exponential servers","volume":"15","author":"Gordon","year":"1967","journal-title":"Oper. Res."},{"key":"10.1016\/j.jss.2026.112832_bib0032","series-title":"Proceedings of the Seventh ACM Symposium on Cloud Computing","first-page":"1","article-title":"Why does the cloud stop computing?: lessons from hundreds of service outages","author":"Gunawi","year":"2016"},{"key":"10.1016\/j.jss.2026.112832_bib0033","unstructured":"Gurobi Optimization, L., 2024. Gurobi optimizer reference manual."},{"issue":"7","key":"10.1016\/j.jss.2026.112832_bib0034","doi-asserted-by":"crossref","first-page":"1085","DOI":"10.1016\/S0005-1098(01)00059-0","article-title":"Equivalence of hybrid dynamical models","volume":"37","author":"Heemels","year":"2001","journal-title":"Automatica"},{"key":"10.1016\/j.jss.2026.112832_bib0035","series-title":"10th International Conference on Autonomic Computing (ICAC 13)","first-page":"23","article-title":"Elasticity in cloud computing: what it is, and what it is not","author":"Herbst","year":"2013"},{"key":"10.1016\/j.jss.2026.112832_bib0036","series-title":"2015 IEEE\/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","first-page":"46","article-title":"BUNGEE: An elasticity benchmark for self-Adaptive iaas cloud environments","author":"Herbst","year":"2015"},{"key":"10.1016\/j.jss.2026.112832_bib0037","series-title":"Tools and Algorithms for the Construction and Analysis of Systems","first-page":"441","article-title":"PRISM: A tool for automatic verification of probabilistic systems","volume":"Vol. 3920","author":"Hinton","year":"2006"},{"key":"10.1016\/j.jss.2026.112832_bib0038","unstructured":"IEEE, 1990. Standard glossary of software engineering terminology. IEEE Std 610.12-19901\u201384."},{"key":"10.1016\/j.jss.2026.112832_bib0039","series-title":"Proceedings of the ACM\/SPEC International Conference on Performance Engineering","first-page":"51","article-title":"Learning queuing networks via linear optimization","author":"Incerto","year":"2021"},{"key":"10.1016\/j.jss.2026.112832_bib0040","series-title":"2025 IEEE\/ACM 20th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","first-page":"61","article-title":"Wasteless: an optimal provisioner for self-adaptive second-generation serverless applications","author":"Incerto","year":"2025"},{"key":"10.1016\/j.jss.2026.112832_bib0041","series-title":"2023 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)","first-page":"67","article-title":"\u03bcOpt: an efficient optimal autoscaler for microservice applications","author":"Incerto","year":"2023"},{"key":"10.1016\/j.jss.2026.112832_bib0042","series-title":"2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)","first-page":"485","article-title":"Software performance self-adaptation through efficient model predictive control","author":"Incerto","year":"2017"},{"key":"10.1016\/j.jss.2026.112832_bib0043","series-title":"Euro-Par 2018: Parallel Processing","first-page":"147","article-title":"Combined vertical and horizontal autoscaling through model predictive control","volume":"Vol. 11014","author":"Incerto","year":"2018"},{"key":"10.1016\/j.jss.2026.112832_bib0044","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1016\/j.jnca.2018.09.023","article-title":"Dynamic workload patterns prediction for proactive auto-scaling of web applications","volume":"124","author":"Iqbal","year":"2018","journal-title":"J. Network Comput. Appl."},{"key":"10.1016\/j.jss.2026.112832_bib0045","unstructured":"Ireland, D., 2020. Milliseconds Make Millions. https:\/\/www.deloitte.com\/ie\/en\/services\/consulting\/research\/milliseconds-make-millions.html."},{"issue":"11","key":"10.1016\/j.jss.2026.112832_bib0046","doi-asserted-by":"crossref","first-page":"1091","DOI":"10.1109\/TSE.2015.2445340","article-title":"A survey on load testing of large-scale software systems","volume":"41","author":"Jiang","year":"2015","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/j.jss.2026.112832_bib0047","series-title":"2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","first-page":"407","article-title":"Scaling size and parameter spaces in variability-Aware software performance models (t)","author":"Kowal","year":"2015"},{"key":"10.1016\/j.jss.2026.112832_bib0048","unstructured":"Kubernetes, Horizontal Pod Autoscaling, 2026. https:\/\/kubernetes.io\/docs\/tasks\/run-application\/horizontal-pod-autoscale\/."},{"key":"10.1016\/j.jss.2026.112832_bib0049","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/j.automatica.2018.12.022","article-title":"Robust control for signal temporal logic specifications using discrete average space robustness","volume":"101","author":"Lindemann","year":"2019","journal-title":"Automatica"},{"issue":"4","key":"10.1016\/j.jss.2026.112832_bib0050","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1007\/s10723-014-9314-7","article-title":"A review of auto-scaling techniques for elastic applications in cloud environments","volume":"12","author":"Lorido-Botran","year":"2014","journal-title":"J. Grid Comput."},{"issue":"1","key":"10.1016\/j.jss.2026.112832_bib0051","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1109\/TNET.2006.890136","article-title":"Modeling the 802.11 distributed coordination function in nonsaturated heterogeneous conditions","volume":"15","author":"Malone","year":"2007","journal-title":"IEEE\/ACM Trans. Networking"},{"issue":"1","key":"10.1016\/j.jss.2026.112832_bib0052","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1214\/aoms\/1177730491","article-title":"On a test of whether one of two random variables is stochastically larger than the other","volume":"18","author":"Mann","year":"1947","journal-title":"Annals Math. Stat."},{"key":"10.1016\/j.jss.2026.112832_bib0053","series-title":"2025 IEEE\/ACM Second International Conference on AI Foundation Models and Software Engineering (Forge)","first-page":"136","article-title":"Microservices performance testing with causality-enhanced large language models","author":"Mascia","year":"2025"},{"key":"10.1016\/j.jss.2026.112832_bib0054","series-title":"2021 IEEE 17th International Conference on Automation Science and Engineering (CASE)","first-page":"732","article-title":"Efficient optimization-based falsification of cyber-physical systems with multiple conjunctive requirements","author":"Mathesen","year":"2021"},{"key":"10.1016\/j.jss.2026.112832_bib0055","series-title":"2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops","first-page":"153","article-title":"Search-based software testing: past, present and future","author":"McMinn","year":"2011"},{"key":"10.1016\/j.jss.2026.112832_bib0056","series-title":"2017 IEEE 10th International Conference on Cloud Computing (CLOUD)","first-page":"456","article-title":"A stochastic optimization approach for cloud elasticity","author":"Megahed","year":"2017"},{"issue":"184","key":"10.1016\/j.jss.2026.112832_bib0057","first-page":"4","article-title":"Completely fair scheduler","volume":"2009","author":"Pabla","year":"2009","journal-title":"Linux J."},{"issue":"4","key":"10.1016\/j.jss.2026.112832_bib0058","doi-asserted-by":"crossref","first-page":"15:1","DOI":"10.1145\/2930659","article-title":"PEAS: A performance evaluation framework for auto-Scaling strategies in cloud applications","volume":"1","author":"Papadopoulos","year":"2016","journal-title":"ACM Trans. Model. Perform. Eval. Comput. Syst."},{"issue":"3","key":"10.1016\/j.jss.2026.112832_bib0059","doi-asserted-by":"crossref","first-page":"804","DOI":"10.1109\/TSC.2024.3354062","article-title":"Autoscaling solutions for cloud applications under dynamic workloads","volume":"17","author":"Quattrocchi","year":"2024","journal-title":"IEEE Trans. Serv. Comput."},{"key":"10.1016\/j.jss.2026.112832_bib0060","doi-asserted-by":"crossref","first-page":"7160","DOI":"10.1109\/ACCESS.2025.3526751","article-title":"On the stability of the kubernetes horizontal autoscaler control loop","volume":"13","author":"Serracanta","year":"2025","journal-title":"IEEE Access"},{"key":"10.1016\/j.jss.2026.112832_bib0061","series-title":"Proceedings of the 2015 International Symposium on Software Testing and Analysis","first-page":"270","article-title":"Automating performance bottleneck detection using search-based application profiling","author":"Shen","year":"2015"},{"key":"10.1016\/j.jss.2026.112832_bib0062","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/j.peva.2015.07.005","article-title":"Evaluating approaches to resource demand estimation","volume":"92","author":"Spinner","year":"2015","journal-title":"Perform. Eval."},{"key":"10.1016\/j.jss.2026.112832_bib0063","series-title":"Proceedings of the 2023 ACM\/SPEC International Conference on Performance Engineering","first-page":"31","article-title":"Autoscaler evaluation and configuration: a practitioner\u2019s guideline","author":"Straesser","year":"2023"},{"key":"10.1016\/j.jss.2026.112832_bib0064","series-title":"Proceedings of the 2022 ACM\/SPEC on International Conference on Performance Engineering","first-page":"105","article-title":"Why is it not solved yet? challenges for production-Ready autoscaling","author":"Straesser","year":"2022"},{"key":"10.1016\/j.jss.2026.112832_bib0065","unstructured":"Tjeng, V., Xiao, K., Tedrake, R., 2017. Evaluating robustness of neural networks with mixed integer programming. 10.48550\/arXiv.1711.07356."},{"key":"10.1016\/j.jss.2026.112832_bib0066","series-title":"2021 IEEE International Conference on Web Services (ICWS)","first-page":"531","article-title":"A holistic auto-Scaling algorithm for multi-Service applications based on balanced queuing network","author":"Tong","year":"2021"},{"key":"10.1016\/j.jss.2026.112832_bib0067","doi-asserted-by":"crossref","first-page":"88339","DOI":"10.1109\/ACCESS.2023.3305687","article-title":"A survey on microservices architecture: principles, patterns and migration challenges","volume":"11","author":"Velepucha","year":"2023","journal-title":"IEEE Access"},{"issue":"1","key":"10.1016\/j.jss.2026.112832_bib0068","doi-asserted-by":"crossref","first-page":"492","DOI":"10.1007\/s11227-014-1177-y","article-title":"A queuing theory model for cloud computing","volume":"69","author":"Vilaplana","year":"2014","journal-title":"J. Supercomput."},{"key":"10.1016\/j.jss.2026.112832_bib0069","series-title":"Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering","first-page":"1956","article-title":"MLOLET - Machine learning optimized load and endurance testing: an industrial experience report","author":"Vitui","year":"2024"},{"issue":"2","key":"10.1016\/j.jss.2026.112832_bib0070","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1007\/s10270-016-0566-5","article-title":"WESSBAS: Extraction of probabilistic workload specifications for load testing and performance prediction\u2014a model-driven approach for session-based application systems","volume":"17","author":"V\u00f6gele","year":"2018","journal-title":"Softw. Syst. Model."},{"issue":"6","key":"10.1016\/j.jss.2026.112832_bib0071","doi-asserted-by":"crossref","first-page":"80","DOI":"10.2307\/3001968","article-title":"Individual comparisons by ranking methods","volume":"1","author":"Wilcoxon","year":"1945","journal-title":"Biometr. Bull."},{"issue":"12","key":"10.1016\/j.jss.2026.112832_bib0072","doi-asserted-by":"crossref","first-page":"2823","DOI":"10.1109\/TSE.2020.2969178","article-title":"Falsification of cyber-Physical systems using deep reinforcement learning","volume":"47","author":"Yamagata","year":"2021","journal-title":"IEEE Trans. Software Eng."},{"issue":"12","key":"10.1016\/j.jss.2026.112832_bib0073","doi-asserted-by":"crossref","first-page":"4090","DOI":"10.14778\/3685800.3685829","article-title":"Optscaler: a collaborative framework for robust autoscaling in the cloud","volume":"17","author":"Zou","year":"2024","journal-title":"Proc. VLDB Endowment"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016412122600066X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016412122600066X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T20:12:26Z","timestamp":1777493546000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S016412122600066X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7]]},"references-count":73,"alternative-id":["S016412122600066X"],"URL":"https:\/\/doi.org\/10.1016\/j.jss.2026.112832","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[2026,7]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Intelligent automatic load test generation for elastic microservice applications: A falsification-based approach","name":"articletitle","label":"Article Title"},{"value":"Journal of Systems and Software","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.jss.2026.112832","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 The Author(s). Published by Elsevier Inc.","name":"copyright","label":"Copyright"}],"article-number":"112832"}}