An industrial experience report on applying search-based boundary input generation to cyber-physical systems

Testing Cyber Physical Systems (CPS) is crucial, as they play a central role in modern society. In the complex input space of these systems, boundary test inputs provide a valuable asset for test engineers as they identify slight input modifications that dramatically impact Quality of Service. In th...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Empirical software engineering : an international journal Ročník 30; číslo 4; s. 112
Hlavní autoři:	Valle, Pablo, Riccio, Vincenzo, Arrieta, Aitor, Tonella, Paolo, Arratibel, Maite
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York Springer US 01.08.2025 Springer Nature B.V
Témata:	Algorithms Automation Case studies Compilers Computer Science Cyber-physical systems Debugging Elevators & escalators Interpreters Passengers Programming Languages Quality of service Simulation Software engineering Software Engineering/Programming and Operating Systems Subject specialists Unmanned aerial vehicles Cyber-physical systems Simulation-based testing Search-based test input generation
ISSN:	1382-3256, 1573-7616
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Abstract	Testing Cyber Physical Systems (CPS) is crucial, as they play a central role in modern society. In the complex input space of these systems, boundary test inputs provide a valuable asset for test engineers as they identify slight input modifications that dramatically impact Quality of Service. In this experience paper, we propose LiftJanus , the first search-based test generator for CPS that integrates test input minimization, boundary value detection, and automated system repair. We performed an empirical study involving two real-world elevator systems provided by our industrial collaborator, Orona . Our results proved that LiftJanus generated boundary inputs twice as effective as the baselines, with the repair algorithm successfully enhancing the system’s configuration in 76.25% of the cases. Interviews with domain experts confirmed that LiftJanus is a comprehensive solution for enhancing the quality of elevator systems.
AbstractList	Testing Cyber Physical Systems (CPS) is crucial, as they play a central role in modern society. In the complex input space of these systems, boundary test inputs provide a valuable asset for test engineers as they identify slight input modifications that dramatically impact Quality of Service. In this experience paper, we propose LiftJanus, the first search-based test generator for CPS that integrates test input minimization, boundary value detection, and automated system repair. We performed an empirical study involving two real-world elevator systems provided by our industrial collaborator, Orona. Our results proved that LiftJanus generated boundary inputs twice as effective as the baselines, with the repair algorithm successfully enhancing the system’s configuration in 76.25% of the cases. Interviews with domain experts confirmed that LiftJanus is a comprehensive solution for enhancing the quality of elevator systems. Testing Cyber Physical Systems (CPS) is crucial, as they play a central role in modern society. In the complex input space of these systems, boundary test inputs provide a valuable asset for test engineers as they identify slight input modifications that dramatically impact Quality of Service. In this experience paper, we propose LiftJanus , the first search-based test generator for CPS that integrates test input minimization, boundary value detection, and automated system repair. We performed an empirical study involving two real-world elevator systems provided by our industrial collaborator, Orona . Our results proved that LiftJanus generated boundary inputs twice as effective as the baselines, with the repair algorithm successfully enhancing the system’s configuration in 76.25% of the cases. Interviews with domain experts confirmed that LiftJanus is a comprehensive solution for enhancing the quality of elevator systems.
ArticleNumber	112
Author	Riccio, Vincenzo Tonella, Paolo Arrieta, Aitor Arratibel, Maite Valle, Pablo
Author_xml	– sequence: 1 givenname: Pablo orcidid: 0000-0002-0588-316X surname: Valle fullname: Valle, Pablo email: pvalle@mondragon.edu organization: Mondragon University – sequence: 2 givenname: Vincenzo surname: Riccio fullname: Riccio, Vincenzo organization: Università di Udine – sequence: 3 givenname: Aitor surname: Arrieta fullname: Arrieta, Aitor organization: Mondragon University – sequence: 4 givenname: Paolo surname: Tonella fullname: Tonella, Paolo organization: Università della Svizzera italiana – sequence: 5 givenname: Maite surname: Arratibel fullname: Arratibel, Maite organization: Oorna
BookMark	eNp9kD1PwzAQhi1UJNrCH2CyxGw427FTj1XFl1SJBWbLSS5tqtYJdqKSf4-hSGyd7obnfU_3zMjEtx4JueVwzwHyh8hB64yBUCxtObDjBZlylUuWa64naZcLwaRQ-orMYtwBgMkzNSX7paeNr4bYh8btKX51GBr0JdKAXRt62nrqum4_Nn5DI7pQblnhIla0aAdfuTCmeDf0dIMeg-ubxPctLccCA-u2Y2zKVBvH2OMhXpPL2u0j3vzNOfl4enxfvbD12_PrarlmpQTomZSF4k6ZQqlykQmByAsQRmpTg64FGMiU0kpIJyujK1HUPC95wZUEnptFJufk7tTbhfZzwNjbXTsEn05aKZIVo43h5ylQOsu4kIkSJ6oMbYwBa9uF5pD-thzsj3t7cm-Te_vr3h5TSJ5CMcF-g-G_-kzqG7kDiRs
Cites_doi	10.1016/j.jss.2018.09.055 10.1145/3377811.3380353 10.1145/3544792 10.1007/s10664-023-10306-x 10.1109/JPROC.2011.2160929 10.1109/TSE.2018.2811489 10.1109/4235.996017 10.1109/ICST60714.2024.00040 10.1007/s11219-016-9341-7 10.1145/3511701 10.1016/j.jss.2017.10.031 10.1145/3650105.3652296 10.1109/ISSRE5003.2020.00019 10.1016/j.infsof.2023.107286 10.1145/3597926.3598117 10.4324/9781315723600 10.1016/j.infsof.2022.106936 10.1109/TSE.2023.3309610 10.1109/ISORC.2016.17 10.1145/3338906.3340444 10.1109/TSE.2024.3407840 10.1145/3569935 10.1145/3638246 10.1016/j.scico.2023.102996 10.1145/3468264.3473920 10.1109/ASE51524.2021.9678764 10.1145/3368089.3409730 10.1109/32.988498 10.1145/3576041 10.1002/smr.2465 10.1145/3293882.3330566 10.1145/3395363.3397386 10.1109/TSE.2025.3563121 10.1109/ISSRE55969.2022.00058 10.1109/ICSE48619.2023.00104 10.22237/jmasm/1257035100 10.1109/ICSE43902.2021.00082 10.1109/ISSREW.2017.9 10.1162/EVCO_a_00025 10.1145/3597926.3598109 10.1109/ICST57152.2023.00034
ContentType	Journal Article
Copyright	The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2025 Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law. Copyright Springer Nature B.V. Aug 2025 Copyright Springer Nature B.V. Jul 2025
Copyright_xml	– notice: The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2025 Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law. – notice: Copyright Springer Nature B.V. Aug 2025 – notice: Copyright Springer Nature B.V. Jul 2025
DBID	AAYXX CITATION 7SC 8FD JQ2 L7M L~C L~D
DOI	10.1007/s10664-025-10670-w
DatabaseName	CrossRef Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional
DatabaseTitle	CrossRef Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional
DatabaseTitleList	Computer and Information Systems Abstracts Computer and Information Systems Abstracts
DeliveryMethod	fulltext_linktorsrc
Discipline	Computer Science
EISSN	1573-7616
ExternalDocumentID	10_1007_s10664_025_10670_w
GrantInformation_xml	– fundername: Department of Education, Universities and Research of the Basque Country grantid: IT1519-22; IT1519-22 – fundername: Next-Generation EU grantid: roject SecCo-OC - CUP N. D33C22001300002 - PNRR M4 C2 I1.3 - “SEcurity and RIghts in the CyberSpace (SERICS)" PE0000014 PE7 – fundername: Ministerio de Ciencia, Innovación y Universidades grantid: PID2023-152979OA-I0 funderid: http://dx.doi.org/10.13039/100014440 – fundername: Education Department of the Basque Government grantid: PRE 2024 1 0014 – fundername: Swiss National Science Foundation grantid: TopoScope (n.214989)
GroupedDBID	-Y2 -~C .86 .DC .VR 06D 0R~ 0VY 199 1N0 1SB 2.D 203 28- 29G 2J2 2JN 2JY 2KG 2LR 2P1 2VQ 2~H 30V 4.4 406 408 409 40D 40E 5GY 5QI 5VS 67Z 6NX 78A 8FE 8FG 8TC 8UJ 95- 95. 95~ 96X AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AAOBN AAPKM AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYOK AAYQN AAYTO AAYZH ABAKF ABBBX ABBRH ABBXA ABDBE ABDZT ABECU ABFTD ABFTV ABHLI ABHQN ABJCF ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABQSL ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABWNU ABXPI ACAOD ACBXY ACDTI ACGFS ACHSB ACHXU ACIWK ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACSNA ACZOJ ADHHG ADHIR ADHKG ADIMF ADKNI ADKPE ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEFIE AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AENEX AEOHA AEPYU AESKC AETLH AEVLU AEXYK AFBBN AFDZB AFEXP AFGCZ AFKRA AFLOW AFOHR AFQWF AFWTZ AFZKB AGAYW AGDGC AGGDS AGJBK AGMZJ AGQEE AGQMX AGQPQ AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHPBZ AHSBF AHYZX AIAKS AIGIU AIIXL AILAN AITGF AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMXSW AMYLF AMYQR AOCGG ARAPS ARMRJ ASPBG ATHPR AVWKF AXYYD AYFIA AYJHY AZFZN B-. BA0 BBWZM BDATZ BENPR BGLVJ BGNMA BSONS CAG CCPQU COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP DU5 EBLON EBS EIOEI EJD ESBYG FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNWQR GQ7 GQ8 GXS H13 HCIFZ HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF HZ~ I09 IHE IJ- IKXTQ ITM IWAJR IXC IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ KDC KOV KOW L6V LAK LLZTM M4Y M7S MA- N2Q NB0 NDZJH NPVJJ NQJWS NU0 O9- O93 O9G O9I O9J OAM P19 P62 P9O PF0 PHGZM PHGZT PMFND PT4 PT5 PTHSS Q2X QOK QOS R4E R89 R9I RHV RNI RNS ROL RPX RSV RZC RZE RZK S0W S16 S1Z S26 S27 S28 S3B SAP SCJ SCLPG SCO SDH SDM SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 T16 TSG TSK TSV TUC U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 WK8 YLTOR Z45 ZMTXR ~EX AAYXX ABFSG ABRTQ ACSTC AEZWR AFFHD AFHIU AHWEU AIXLP CITATION PQGLB 7SC 8FD JQ2 L7M L~C L~D
ID	FETCH-LOGICAL-c300t-33b51a59b55c8422ee1b029369f06f20904556523a3d96d2bf17c1b1530179843
IEDL.DBID	RSV
ISICitedReferencesCount	0
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001489599100001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	1382-3256
IngestDate	Tue Dec 02 15:57:08 EST 2025 Tue Dec 02 15:55:11 EST 2025 Sat Nov 29 07:52:11 EST 2025 Fri Jun 06 04:21:01 EDT 2025
IsPeerReviewed	true
IsScholarly	true
Issue	4
Keywords	Cyber-physical systems Simulation-based testing Search-based test input generation
Language	English
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c300t-33b51a59b55c8422ee1b029369f06f20904556523a3d96d2bf17c1b1530179843
Notes	ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14
ORCID	0000-0002-0588-316X
PQID	3205644123
PQPubID	326341
ParticipantIDs	proquest_journals_3215796991 proquest_journals_3205644123 crossref_primary_10_1007_s10664_025_10670_w springer_journals_10_1007_s10664_025_10670_w
PublicationCentury	2000
PublicationDate	2025-08-01
PublicationDateYYYYMMDD	2025-08-01
PublicationDate_xml	– month: 08 year: 2025 text: 2025-08-01 day: 01
PublicationDecade	2020
PublicationPlace	New York
PublicationPlace_xml	– name: New York – name: Dordrecht
PublicationSubtitle	An International Journal
PublicationTitle	Empirical software engineering : an international journal
PublicationTitleAbbrev	Empir Software Eng
PublicationYear	2025
Publisher	Springer US Springer Nature B.V
Publisher_xml	– name: Springer US – name: Springer Nature B.V
References	10670_CR53 10670_CR54 10670_CR11 H Fahmy (10670_CR18) 2023; 32 10670_CR55 10670_CR12 10670_CR56 D Humeniuk (10670_CR26) 2022; 149 10670_CR51 10670_CR52 K Deb (10670_CR16) 2002; 6 A Arrieta (10670_CR3) 2019; 149 BA Jodat (10670_CR27) 2024; 33 A Zeller (10670_CR57) 2002; 28 T Zohdinasab (10670_CR61) 2023; 32 A Stocco (10670_CR50) 2023; 28 J Lehman (10670_CR32) 2011; 19 P Derler (10670_CR17) 2011; 100 10670_CR46 10670_CR47 10670_CR48 10670_CR21 10670_CR23 10670_CR60 M Biagiola (10670_CR10) 2022; 31 10670_CR62 XY Zhang (10670_CR58) 2024; 33 S Klikovits (10670_CR30) 2023; 230 10670_CR19 10670_CR13 G Barney (10670_CR8) 2010 10670_CR14 10670_CR15 10670_CR59 10670_CR31 L Han (10670_CR22) 2023; 32 10670_CR33 M Pezzè (10670_CR42) 2008 R Matinnejad (10670_CR34) 2018; 45 A Arrieta (10670_CR2) 2017; 25 A Gartziandia (10670_CR20) 2022; 34 SS Sawilowsky (10670_CR49) 2009; 8 10670_CR28 10670_CR29 10670_CR24 10670_CR25 GE Mullins (10670_CR38) 2018; 137 10670_CR43 10670_CR44 10670_CR45 10670_CR40 10670_CR41 G Barney (10670_CR9) 2015 10670_CR7 10670_CR6 10670_CR39 10670_CR5 10670_CR4 10670_CR35 10670_CR36 10670_CR1 10670_CR37
References_xml	– volume: 149 start-page: 1 year: 2019 ident: 10670_CR3 publication-title: J Syst Softw doi: 10.1016/j.jss.2018.09.055 – ident: 10670_CR45 doi: 10.1145/3377811.3380353 – volume: 33 start-page: 1 issue: 8 year: 2024 ident: 10670_CR58 publication-title: ACM Trans Softw Eng Methodol – ident: 10670_CR5 doi: 10.1145/3544792 – volume: 100 start-page: 13 issue: 1 year: 2011 ident: 10670_CR17 publication-title: Modeling cyber-physical systems. Proc EEE – ident: 10670_CR13 doi: 10.1007/s10664-023-10306-x – ident: 10670_CR1 doi: 10.1109/JPROC.2011.2160929 – volume: 45 start-page: 919 issue: 9 year: 2018 ident: 10670_CR34 publication-title: IEEE Trans Softw Eng doi: 10.1109/TSE.2018.2811489 – volume: 6 start-page: 182 issue: 2 year: 2002 ident: 10670_CR16 publication-title: IEEE Trans Evol Comput doi: 10.1109/4235.996017 – ident: 10670_CR28 doi: 10.1109/ICST60714.2024.00040 – volume: 25 start-page: 1041 issue: 3 year: 2017 ident: 10670_CR2 publication-title: Softw Qual J doi: 10.1007/s11219-016-9341-7 – volume: 31 start-page: 1 issue: 4 year: 2022 ident: 10670_CR10 publication-title: ACM Trans Softw Eng and Methodol (TOSEM) doi: 10.1145/3511701 – ident: 10670_CR56 doi: 10.1016/j.jss.2017.10.031 – ident: 10670_CR47 doi: 10.1145/3650105.3652296 – ident: 10670_CR62 – volume: 28 start-page: 73 issue: 3 year: 2023 ident: 10670_CR50 publication-title: Empir Softw Eng doi: 10.1007/s10664-023-10306-x – ident: 10670_CR52 doi: 10.1109/ISSRE5003.2020.00019 – ident: 10670_CR11 doi: 10.1016/j.infsof.2023.107286 – ident: 10670_CR15 doi: 10.1145/3597926.3598117 – volume-title: Elevator traffic handbook: theory and practice year: 2015 ident: 10670_CR9 doi: 10.4324/9781315723600 – volume: 149 year: 2022 ident: 10670_CR26 publication-title: Inf Softw Technol doi: 10.1016/j.infsof.2022.106936 – ident: 10670_CR19 doi: 10.1109/TSE.2023.3309610 – ident: 10670_CR51 doi: 10.1109/ISORC.2016.17 – ident: 10670_CR7 doi: 10.1145/3338906.3340444 – ident: 10670_CR24 doi: 10.1109/TSE.2024.3407840 – ident: 10670_CR37 doi: 10.1145/3569935 – ident: 10670_CR31 – ident: 10670_CR46 doi: 10.1109/TSE.2018.2811489 – volume: 33 start-page: 1 issue: 4 year: 2024 ident: 10670_CR27 publication-title: ACM Trans Softw Eng Methodol doi: 10.1145/3638246 – volume: 230 year: 2023 ident: 10670_CR30 publication-title: Sci Comput Program doi: 10.1016/j.scico.2023.102996 – ident: 10670_CR59 doi: 10.1145/3468264.3473920 – ident: 10670_CR35 doi: 10.1109/ASE51524.2021.9678764 – ident: 10670_CR29 doi: 10.1145/3368089.3409730 – volume: 28 start-page: 183 issue: 2 year: 2002 ident: 10670_CR57 publication-title: IEEE Trans Softw Eng doi: 10.1109/32.988498 – volume: 32 start-page: 1 issue: 4 year: 2023 ident: 10670_CR22 publication-title: ACM Trans Softw Eng Methodol doi: 10.1145/3576041 – ident: 10670_CR53 doi: 10.1002/smr.2465 – ident: 10670_CR12 – ident: 10670_CR39 doi: 10.4324/9781315723600 – ident: 10670_CR33 doi: 10.1109/4235.996017 – volume: 32 start-page: 1 issue: 2 year: 2023 ident: 10670_CR61 publication-title: ACM Trans Softw Eng Methodol doi: 10.1145/3544792 – ident: 10670_CR4 doi: 10.1145/3293882.3330566 – volume-title: Software testing and analysis: process, principles, and techniques year: 2008 ident: 10670_CR42 – ident: 10670_CR6 doi: 10.1145/3395363.3397386 – ident: 10670_CR60 – volume: 32 start-page: 1 issue: 4 year: 2023 ident: 10670_CR18 publication-title: ACM Trans Softw Eng Methodol doi: 10.1145/3569935 – ident: 10670_CR41 – ident: 10670_CR55 doi: 10.1109/TSE.2025.3563121 – ident: 10670_CR44 – ident: 10670_CR25 doi: 10.1109/ISSRE55969.2022.00058 – ident: 10670_CR36 doi: 10.1109/ICSE48619.2023.00104 – volume: 8 start-page: 597 year: 2009 ident: 10670_CR49 publication-title: J ModernAappl Stat Methods doi: 10.22237/jmasm/1257035100 – volume-title: Transportation systems in buildings: CIBSE Guide D: 2010 year: 2010 ident: 10670_CR8 – volume: 34 issue: 11 year: 2022 ident: 10670_CR20 publication-title: J Softw Evol Process doi: 10.1002/smr.2465 – ident: 10670_CR14 doi: 10.1109/ICSE43902.2021.00082 – ident: 10670_CR54 doi: 10.1109/ISSREW.2017.9 – volume: 19 start-page: 189 issue: 2 year: 2011 ident: 10670_CR32 publication-title: Evol comput doi: 10.1162/EVCO_a_00025 – ident: 10670_CR48 doi: 10.1016/j.jss.2018.09.055 – ident: 10670_CR21 doi: 10.1145/3597926.3598109 – ident: 10670_CR43 doi: 10.1109/ICST57152.2023.00034 – volume: 137 start-page: 197 year: 2018 ident: 10670_CR38 publication-title: J Syst Softw doi: 10.1016/j.jss.2017.10.031 – ident: 10670_CR23 – ident: 10670_CR40
SSID	ssj0009745
Score	2.398463
Snippet	Testing Cyber Physical Systems (CPS) is crucial, as they play a central role in modern society. In the complex input space of these systems, boundary test...
SourceID	proquest crossref springer
SourceType	Aggregation Database Index Database Publisher
StartPage	112
SubjectTerms	Algorithms Automation Case studies Compilers Computer Science Cyber-physical systems Debugging Elevators & escalators Interpreters Passengers Programming Languages Quality of service Simulation Software engineering Software Engineering/Programming and Operating Systems Subject specialists Unmanned aerial vehicles
Title	An industrial experience report on applying search-based boundary input generation to cyber-physical systems
URI	https://link.springer.com/article/10.1007/s10664-025-10670-w https://www.proquest.com/docview/3205644123 https://www.proquest.com/docview/3215796991
Volume	30
WOSCitedRecordID	wos001489599100001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
journalDatabaseRights	– providerCode: PRVAVX databaseName: Springer Nature Consortium list (Orbis Cascade Alliance) customDbUrl: eissn: 1573-7616 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0009745 issn: 1382-3256 databaseCode: RSV dateStart: 19970101 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwELagMLBQnqJQkAc2sORXHh4rRMWAKsSj6hbZiYMqobRKAlX_PbaTNIDoALNjO7rz-T7pfN8HwKWvkyDw4hClVDHEPSmQSCVHPJUhToQS1HWlje-D0SicTMRD3RRWNK_dm5Kku6m_NLv5PkdWftXSnmG02ARbJt2FVrDh8WncUu0GTprYkushZjJ63Srz-xrf01GLMX-URV22GXb_9597YLdGl3BQHYd9sKGzA9BtlBtgHciH4G2QwelKtAPqFd8xrGoIcJZBW9q2PVCwCgZk810ClZNhypdmulkTvjrWautcWM5gvFQ6R_Pa9bBiiS6OwMvw9vnmDtW6CyhmGJeIMeUR6QnlGSdySrUmClOr_JdiP6VYGBhocCBlkiXCT6hKSRATZe5OG94hZ8egk80yfQJgEobMzCZKxKkBXkTJRMZEc8w1VlyKHrhqzB_NK3qNqCVStoaMjCEjZ8ho0QP9xkNRHWpFxKjBcGZtytYME9tua2BwD1w3DmuH1292-rfPz8AOtT53bwP7oFPm7_ocbMcf5bTIL9wJ_QSleOHX
linkProvider	Springer Nature
linkToHtml	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1NSwMxEB20CnqxfmK1ag7eNJBNsh85FrFUrEW0lt6WzW5WCrItbbX035tkd1sVe9BzNskyk8k8mMx7AJeeSnzfjQOcUskwdyOBRRpxzNMoIImQgtqutF7b73SCfl88Fk1hk_K1e1mStDf1l2Y3z-PYyK8a2jOCZ-uwwXXGMoz5T8-9JdWub6WJDbkeZjqjF60yv6_xPR0tMeaPsqjNNs3q__5zF3YKdIka-XHYgzWV7UO1VG5ARSAfwFsjQ4OFaAdSC75jlNcQ0DBDprRteqBQHgzY5LsESSvDNJ7r6XpN9GpZq41z0XSI4rlUYzwqXI9ylujJIbw0b7s3LVzoLuCYETLFjEnXiVwhXe1ETqlSjiTUKP-lxEspERoGahxIWcQS4SVUpo4fO1LfnSa8A86OoJINM3UMKAkCpmc7UsSpBl6OjJIodhQnXBHJI1GDq9L84Sin1wiXRMrGkKE2ZGgNGc5qUC89FBahNgkZ1RhOr03ZimHHtNtqGFyD69Jhy-HVm5387fML2Gp1H9ph-65zfwrb1PjfvhOsQ2U6fldnsBl_TAeT8bk9rZ9EAuS7
linkToPdf	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1dS8MwFL34hfjitzidmgffNCxN0o88ijoUxxioY2-haVMRpBtbVfz3JmnrprgH8TltWnJze0-5OecAnAY6DUM_iXBGFcPcjwUWWcwxz-KIpEIJ6lhp_U7Y7UaDgejNsPjdafe6JVlyGqxKU160RmnWmiG-BQHH1orVSqAR_L4Iy9wepLf_6_f9qexu6GyKrdAeZqa6V7SZ3-f4XpqmePNHi9RVnvbG_995E9Yr1Ikuym2yBQs634aN2tEBVQm-Ay8XOXr-MvNA-ksHGZW9BTTMkW15W24UKpME2zqYIuXsmcYf5nYzJ3pyatY26KgYouRD6TEeVVsClerRk114bF8_XN7gyo8BJ4yQAjOmfC_2hfJNcDmlWnuKUOsImJEgo0QYeGjwIWUxS0WQUpV5YeIp8021aR9xtgdL-TDX-4DSKGLmbk-JJDOAzFNxGiee5oRrongsGnBWh0KOStkNORVYtgspzUJKt5DyvQHNOlqySsGJZNRgOzM3ZXOGPUvDNfC4Aed18KbD8x928LfLT2C1d9WWndvu3SGsURt-d3ywCUvF-FUfwUryVjxPxsdu434C8yDtnw
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=An+industrial+experience+report+on+applying+search-based+boundary+input+generation+to+cyber-physical+systems&rft.jtitle=Empirical+software+engineering+%3A+an+international+journal&rft.date=2025-08-01&rft.pub=Springer+Nature+B.V&rft.issn=1382-3256&rft.eissn=1573-7616&rft.volume=30&rft.issue=4&rft.spage=112&rft_id=info:doi/10.1007%2Fs10664-025-10670-w&rft.externalDBID=HAS_PDF_LINK
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1382-3256&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1382-3256&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1382-3256&client=summon