Efficient regression testing of distributed real-time reactive systems in the context of model-driven development

Regression testing is indispensable, especially for real-time distributed systems to ensure that existing functionalities are not affected by changes. Despite recent advances, regression testing for distributed systems remains challenging and extremely costly. Existing techniques often require runni...

Full description

Saved in:

Bibliographic Details
Published in:	Software and systems modeling Vol. 22; no. 5; pp. 1565 - 1587
Main Authors:	Babaei, Majid, Dingel, Juergen
Format:	Journal Article
Language:	English
Published:	Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2023 Springer Nature B.V
Subjects:	Automation Compilers Computer networks Computer Science Context Embedded systems Information Systems Applications (incl.Internet) Interpreters IT in Business Programming Languages Programming Techniques Real time Regression models Run time (computers) Software Engineering Software Engineering/Programming and Operating Systems Special Section Paper MDD Distributed systems Regression testing
ISSN:	1619-1366, 1619-1374
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Abstract	Regression testing is indispensable, especially for real-time distributed systems to ensure that existing functionalities are not affected by changes. Despite recent advances, regression testing for distributed systems remains challenging and extremely costly. Existing techniques often require running a failing system several times before detecting a regression. As a result, conventional approaches that use re-execution without considering the inherent non-determinism of distributed systems, and providing no (or low) control over execution are inadequate in many ways. In this paper, we present MRegTest , a replay-based regression testing framework in the context of model-driven development to facilitate deterministic replay of traces for detecting regressions while offering sufficient control for the purpose of testing over the execution of the changed system. The experimental results show that compared to the traditional approaches that annotate traces with timestamps and variable values MRegTest detects almost all regressions while reducing the size of the trace significantly and incurring similar runtime overhead.
AbstractList	Regression testing is indispensable, especially for real-time distributed systems to ensure that existing functionalities are not affected by changes. Despite recent advances, regression testing for distributed systems remains challenging and extremely costly. Existing techniques often require running a failing system several times before detecting a regression. As a result, conventional approaches that use re-execution without considering the inherent non-determinism of distributed systems, and providing no (or low) control over execution are inadequate in many ways. In this paper, we present MRegTest, a replay-based regression testing framework in the context of model-driven development to facilitate deterministic replay of traces for detecting regressions while offering sufficient control for the purpose of testing over the execution of the changed system. The experimental results show that compared to the traditional approaches that annotate traces with timestamps and variable values MRegTest detects almost all regressions while reducing the size of the trace significantly and incurring similar runtime overhead. Regression testing is indispensable, especially for real-time distributed systems to ensure that existing functionalities are not affected by changes. Despite recent advances, regression testing for distributed systems remains challenging and extremely costly. Existing techniques often require running a failing system several times before detecting a regression. As a result, conventional approaches that use re-execution without considering the inherent non-determinism of distributed systems, and providing no (or low) control over execution are inadequate in many ways. In this paper, we present MRegTest , a replay-based regression testing framework in the context of model-driven development to facilitate deterministic replay of traces for detecting regressions while offering sufficient control for the purpose of testing over the execution of the changed system. The experimental results show that compared to the traditional approaches that annotate traces with timestamps and variable values MRegTest detects almost all regressions while reducing the size of the trace significantly and incurring similar runtime overhead.
Author	Babaei, Majid Dingel, Juergen
Author_xml	– sequence: 1 givenname: Majid surname: Babaei fullname: Babaei, Majid email: babaei@cs.queensu.ca organization: School of Computing Queen’s University – sequence: 2 givenname: Juergen surname: Dingel fullname: Dingel, Juergen organization: Computing Queen’s University
BookMark	eNp9kE1PAyEQhompibX2D3jaxDMKy5YtR9PUj6SJl94Jyw4Vswst0Mb-e6lrNPHQCzMJ78MwzzUaOe8AoVtK7ikh9UOkpKwJJiXDhJI5x7MLNKacCkxZXY1-e86v0DRG2xBSlUJUnI_RbmmM1RZcKgJsAuRr74oEMVm3KbwpWhtTsM0-QZsTqsPJ9nDqdLIHKOIxJuhjYTP0DoX2LsFnOoG9b6HDbcgpV7RwgM5v-zznBl0a1UWY_tQJWj8t14sXvHp7fl08rrBmVCSsDRHQ0kY0DRCjVFVpVRtoK87aWpeNqASfcc6Yasp8sFJRQ7XSILjQNbAJuhue3Qa_2-d95IffB5cnynLO6zkngtOcmg8pHXyMAYzUNqmUHaSgbCcpkSfFclAss2L5rVjOMlr-Q7fB9iocz0NsgGIOuw2Ev1-dob4AiceThg
CitedBy_id	crossref_primary_10_1016_j_infsof_2024_107492 crossref_primary_10_1016_j_jss_2025_112508
Cites_doi	10.1145/1041685.1029928 10.1016/S0950-5849(99)00036-1 10.1145/358557.358572 10.1007/978-3-319-68015-6_8 10.1145/1543405.1543413 10.1002/j.1538-7305.1955.tb03788.x 10.1145/2790077 10.1109/TSE.2018.2861392 10.1109/32.536955 10.1109/24.855533 10.1016/j.infsof.2008.09.010 10.1007/s10270-014-0399-z 10.1007/978-3-319-47443-4_6 10.1007/s10009-015-0408-8 10.1109/TSE.2017.2707089 10.1016/S0020-0190(03)00364-8 10.1007/s00766-010-0102-z 10.1002/stv.430 10.1145/3152688.3152692 10.1109/ICST.2019.00060 10.1007/978-3-030-21759-4_10 10.1145/2950290.2950361 10.1145/2539036.2539043 10.1109/ICSM.2002.1167775 10.1145/3237009.3237015 10.1109/ASE.2017.8115710 10.1109/ICSM.2011.6080769 10.1007/978-3-642-12035-0_39 10.1007/BFb0057795 10.1145/3180155.3180198 10.1109/ICSE.2015.45 10.1145/3122848 10.1145/3365438.3410939 10.1007/978-3-540-69927-9_4 10.1145/2950290.2950294 10.1016/j.infsof.2009.07.001 10.1145/2491411.2491447 10.1145/2950290.2983942 10.1145/504282.504305 10.1007/978-3-642-34026-0_9 10.1007/978-3-030-45234-6_7 10.1145/2568225.2568294 10.1145/2824815.2824821 10.1145/1291535.1291541 10.1109/RTAS.2009.36 10.1007/978-3-319-78024-5_35 10.1145/3417990.3422003 10.1145/3238147.3241984 10.1109/ICSEA.2010.75 10.1145/2994291.2994299 10.1109/MiSE.2017.4 10.1145/3106237.3106278 10.1145/3281366.3281370 10.1007/11880240_53 10.1007/978-3-319-97571-9_13 10.1145/1295074.1295086 10.1145/1357054.1357323 10.1145/2524211.2524217 10.1109/ICSM.2002.1167768 10.1145/1291535.1291540 10.1145/1508284.1508249 10.1145/2038916.2038932 10.1145/359576.359585 10.1145/2771783.2771784
ContentType	Journal Article
Copyright	The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature 2023. 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_xml	– notice: The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature 2023. 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.
DBID	AAYXX CITATION 3V. 7SC 7XB 8AL 8AO 8FD 8FE 8FG 8FK ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- L7M L~C L~D M0N P5Z P62 PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI Q9U
DOI	10.1007/s10270-023-01086-5
DatabaseName	CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ProQuest Central (purchase pre-March 2016) Computing Database (Alumni Edition) ProQuest Pharma Collection Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Aerospace Database ProQuest Central Essentials Local Electronic Collection Information ProQuest Central Technology collection ProQuest One ProQuest Central ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Computing Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Premium ProQuest One Academic ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central Basic
DatabaseTitle	CrossRef Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Pharma Collection ProQuest Central ProQuest One Applied & Life Sciences ProQuest Central Korea ProQuest Central (New) Advanced Technologies Database with Aerospace Advanced Technologies & Aerospace Collection ProQuest Computing ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition ProQuest One Academic ProQuest Central (Alumni) ProQuest One Academic (New)
DatabaseTitleList	Computer Science Database
Database_xml	– sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database
DeliveryMethod	fulltext_linktorsrc
Discipline	Computer Science
EISSN	1619-1374
EndPage	1587
ExternalDocumentID	10_1007_s10270_023_01086_5
GrantInformation_xml	– fundername: Natural Sciences and Engineering Research Council of Canada funderid: http://dx.doi.org/10.13039/501100000038
GroupedDBID	-59 -5G -BR -EM -Y2 -~C .4S .86 .DC .VR 06D 0R~ 0VY 123 1N0 203 2J2 2JN 2JY 2KG 2LR 2P1 2VQ 2~H 30V 3V. 4.4 406 408 409 40D 40E 5VS 67Z 6NX 8AO 8FE 8FG 8TC 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYOK AAYQN AAYTO AAYZH ABAKF ABBBX ABBXA ABDBF ABDZT ABECU ABFTD ABFTV ABHLI ABHQN ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABQSL ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABUWG ABWNU ABXPI ACAOD ACBXY ACDTI ACGFS ACHSB ACHXU ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACSNA ACUHS ACZOJ ADHHG ADHIR ADINQ ADKNI ADKPE ADMLS ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AENEX AEOHA AEPYU AESKC AETLH AEVLU AEXYK AFBBN AFGCZ AFKRA AFLOW AFQWF AFWTZ AFZKB AGAYW AGDGC AGJBK AGMZJ AGQEE AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHSBF AHYZX AIAKS AIGIU AIIXL AILAN AITGF AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMTXH AMXSW AMYLF AMYQR AOCGG ARAPS ARCSS ARMRJ ASPBG AVWKF AXYYD AYJHY AZFZN AZQEC B-. B0M BA0 BDATZ BENPR BGLVJ BGNMA BPHCQ BSONS CAG CCPQU COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP DU5 DWQXO EAD EAP EBLON EBS EDO EIOEI EJD EMK EPL ESBYG ESX FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNUQQ GNWQR GQ6 GQ7 GQ8 GXS H13 HCIFZ HF~ HG5 HG6 HLICF HMJXF HQYDN HRMNR HVGLF HZ~ I-F I09 IHE IJ- IKXTQ ITM IWAJR IXC IXE IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ K6V K7- KDC KOV LAS LLZTM M0N M4Y MA- N2Q NB0 NPVJJ NQJWS NU0 O9- O93 O9J OAM P62 P9O PF0 PQQKQ PROAC PT4 Q2X QOS R89 R9I RIG RNS ROL RPX RSV S16 S1Z S27 S3B SAP SCO SDH SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 TSG TSK TSV TUC TUS U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 WK8 YLTOR Z45 Z5O Z7R Z7S Z7X Z7Z Z81 Z83 Z88 ZMTXR ~8M AAPKM AAYXX ABBRH ABDBE ABFSG ABRTQ ACSTC ADHKG AEZWR AFDZB AFFHD AFHIU AFOHR AGQPQ AHPBZ AHWEU AIXLP ATHPR AYFIA CITATION PHGZM PHGZT PQGLB 7SC 7XB 8AL 8FD 8FK JQ2 L7M L~C L~D PKEHL PQEST PQUKI Q9U
ID	FETCH-LOGICAL-c319t-cf09ed1b9bbe0faa44ca7fed463d7c2b949656633ab233a32a1f1cace969c7e3
IEDL.DBID	BENPR
ISICitedReferencesCount	2
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000943867500001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	1619-1366
IngestDate	Wed Nov 05 02:13:00 EST 2025 Sat Nov 29 04:10:45 EST 2025 Tue Nov 18 22:24:53 EST 2025 Fri Feb 21 02:41:49 EST 2025
IsPeerReviewed	true
IsScholarly	true
Issue	5
Keywords	MDD Distributed systems Regression testing
Language	English
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c319t-cf09ed1b9bbe0faa44ca7fed463d7c2b949656633ab233a32a1f1cace969c7e3
Notes	ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14
PQID	2867860961
PQPubID	43171
PageCount	23
ParticipantIDs	proquest_journals_2867860961 crossref_citationtrail_10_1007_s10270_023_01086_5 crossref_primary_10_1007_s10270_023_01086_5 springer_journals_10_1007_s10270_023_01086_5
PublicationCentury	2000
PublicationDate	20231000 2023-10-00 20231001
PublicationDateYYYYMMDD	2023-10-01
PublicationDate_xml	– month: 10 year: 2023 text: 20231000
PublicationDecade	2020
PublicationPlace	Berlin/Heidelberg
PublicationPlace_xml	– name: Berlin/Heidelberg – name: Heidelberg
PublicationTitle	Software and systems modeling
PublicationTitleAbbrev	Softw Syst Model
PublicationYear	2023
Publisher	Springer Berlin Heidelberg Springer Nature B.V
Publisher_xml	– name: Springer Berlin Heidelberg – name: Springer Nature B.V
References	Posse, Dingel (CR39) 2016; 15 Elbaum, Rothermel, Penix (CR1) 2014; 2014 Swartout, Balzer (CR58) 1982; 25 CR38 CR37 CR35 CR79 CR34 CR78 CR33 Milner (CR50) 1982 CR77 CR32 CR76 CR31 CR75 CR30 CR74 CR73 Orso, Shi, Harrold (CR70) 2004; 29 CR72 CR71 Rothermel, Harrold (CR36) 1996; 22 Honfi, Molnár, Micskei, Majzik, Csöndes, Kovács, Réthy (CR83) 2017 Biswas, Mall, Satpathy, Sukumaran (CR68) 2011; 35 Biswas, Mall, Satpathy, Sukumaran (CR81) 2009; 34 CR2 CR4 CR3 CR6 Zech, Kalb, Felderer, Atkinson, Breu (CR85) 2017; 19 CR5 CR8 CR7 Bianchi, Margara, Pezzè (CR25) 2018; 44 CR9 CR49 CR47 CR45 CR89 CR44 CR88 CR43 CR87 CR42 CR86 CR41 CR40 CR84 CR82 Hierons, Merayo, Nunez, Wotawa, Nica, Kushik (CR19) 2016 Yoo, Harman (CR67) 2012; 22 CR80 Pal, Vain (CR66) 2019; 52 Sigelman, Barroso, Burrows, Stephenson, Plakal, Beaver, Jaspan, Shanbhag (CR13) 2010 Yu, Huang, Wang (CR63) 2020; 46 CR17 CR16 CR15 Esmaeilsabzali, Day, Atlee, Niu (CR48) 2010; 15 Briand, Labiche, He (CR55) 2009; 51 CR59 CR14 CR57 CR12 CR56 CR11 CR10 Chen, Zhang, Guo, Li, Wu, Chen (CR64) 2015; 48 CR53 CR52 CR51 Cacciari, Rafiq (CR20) 1999; 41 CR92 Ural, Whittier (CR18) 2003; 88 CR91 CR90 CR29 CR28 Ekelund, Engström (CR62) 2015; 2015 CR27 CR26 CR69 CR24 CR23 CR22 CR21 CR65 Mealy (CR46) 1955; 34 CR61 CR60 Rothermel, Harrold (CR54) 1996; 22 Traon, Jeron, Jezequel, Morel (CR93) 2000; 49 1086_CR30 1086_CR74 1086_CR31 1086_CR75 1086_CR72 1086_CR73 S Biswas (1086_CR81) 2009; 34 1086_CR71 S Biswas (1086_CR68) 2011; 35 W Swartout (1086_CR58) 1982; 25 ED Ekelund (1086_CR62) 2015; 2015 D Pal (1086_CR66) 2019; 52 S Elbaum (1086_CR1) 2014; 2014 1086_CR38 1086_CR37 1086_CR34 1086_CR78 1086_CR35 1086_CR79 1086_CR32 1086_CR76 1086_CR33 1086_CR77 L Briand (1086_CR55) 2009; 51 1086_CR61 1086_CR60 S Esmaeilsabzali (1086_CR48) 2010; 15 G Rothermel (1086_CR36) 1996; 22 T Yu (1086_CR63) 2020; 46 1086_CR9 1086_CR29 1086_CR2 1086_CR27 1086_CR28 1086_CR4 1086_CR69 1086_CR3 H Ural (1086_CR18) 2003; 88 1086_CR26 1086_CR6 1086_CR23 1086_CR5 1086_CR24 1086_CR8 1086_CR21 1086_CR65 1086_CR7 1086_CR22 E Posse (1086_CR39) 2016; 15 1086_CR52 1086_CR53 1086_CR51 1086_CR92 1086_CR90 1086_CR91 S Yoo (1086_CR67) 2012; 22 L Cacciari (1086_CR20) 1999; 41 R Milner (1086_CR50) 1982 D Honfi (1086_CR83) 2017 G Rothermel (1086_CR54) 1996; 22 A Orso (1086_CR70) 2004; 29 RM Hierons (1086_CR19) 2016 BH Sigelman (1086_CR13) 2010 GH Mealy (1086_CR46) 1955; 34 1086_CR16 1086_CR17 1086_CR14 1086_CR15 1086_CR59 1086_CR12 1086_CR56 FA Bianchi (1086_CR25) 2018; 44 1086_CR57 1086_CR10 1086_CR11 1086_CR41 Y Traon (1086_CR93) 2000; 49 1086_CR42 1086_CR86 1086_CR40 1086_CR84 1086_CR82 1086_CR80 P Zech (1086_CR85) 2017; 19 1086_CR49 1086_CR47 1086_CR45 1086_CR89 1086_CR43 1086_CR87 1086_CR44 Y Chen (1086_CR64) 2015; 48 1086_CR88
References_xml	– ident: CR45 – ident: CR22 – volume: 29 start-page: 241 issue: 6 year: 2004 end-page: 251 ident: CR70 article-title: Scaling regression testing to large software systems publication-title: SIGSOFT Softw. Eng. Notes doi: 10.1145/1041685.1029928 – volume: 41 start-page: 767 issue: 11 year: 1999 end-page: 780 ident: CR20 article-title: Controllability and observability in distributed testing publication-title: Inf. Softw. Technol. doi: 10.1016/S0950-5849(99)00036-1 – volume: 25 start-page: 438 issue: 7 year: 1982 end-page: 440 ident: CR58 article-title: On the inevitable intertwining of specification and implementation publication-title: Commun. ACM doi: 10.1145/358557.358572 – ident: CR49 – ident: CR74 – start-page: 119 year: 2017 end-page: 135 ident: CR83 article-title: Model-based regression testing of autonomous robots publication-title: SDL 2017: Model-Driven Engineering for Future Internet doi: 10.1007/978-3-319-68015-6_8 – ident: CR4 – ident: CR87 – ident: CR16 – ident: CR51 – ident: CR12 – volume: 34 start-page: 1 issue: 4 year: 2009 end-page: 9 ident: CR81 article-title: A model-based regression test selection approach for embedded applications publication-title: SIGSOFT Softw. Eng. Notes doi: 10.1145/1543405.1543413 – ident: CR35 – ident: CR29 – ident: CR61 – volume: 52 start-page: 1091 issue: 13 year: 2019 end-page: 1096 ident: CR66 article-title: A systematic approach on modeling refinement and regression testing of real-time distributed systems publication-title: IFAC – ident: CR80 – ident: CR77 – ident: CR8 – ident: CR84 – volume: 34 start-page: 1045 issue: 5 year: 1955 end-page: 1079 ident: CR46 article-title: A method for synthesizing sequential circuits publication-title: Bell Syst. Tech. J. doi: 10.1002/j.1538-7305.1955.tb03788.x – volume: 48 start-page: 171 issue: 2 year: 2015 end-page: 1747 ident: CR64 article-title: Deterministic replay: a survey publication-title: ACM Comput. Surv. doi: 10.1145/2790077 – ident: CR42 – volume: 2015 start-page: 449 year: 2015 end-page: 457 ident: CR62 article-title: Efficient regression testing based on test history: An industrial evaluation publication-title: IEEE Int. Conf. Softw. Maint. Evol. (ICSME) – ident: CR21 – ident: CR71 – ident: CR75 – ident: CR92 – ident: CR15 – ident: CR88 – year: 1982 ident: CR50 publication-title: A Calculus of Communicating Systems – volume: 46 start-page: 405 issue: 4 year: 2020 end-page: 419 ident: CR63 article-title: ConTesa: directed test suite augmentation for concurrent software publication-title: IEEE Trans. Software Eng. doi: 10.1109/TSE.2018.2861392 – ident: CR11 – ident: CR9 – ident: CR57 – year: 2010 ident: CR13 publication-title: Dapper, a Large-Scale Distributed Systems Tracing Infrastructure – ident: CR32 – ident: CR60 – ident: CR78 – ident: CR5 – volume: 22 start-page: 529 issue: 8 year: 1996 end-page: 551 ident: CR54 article-title: Analyzing regression test selection techniques publication-title: IEEE Trans. Softw. Eng. doi: 10.1109/32.536955 – ident: CR26 – ident: CR43 – ident: CR91 – ident: CR47 – ident: CR72 – volume: 49 start-page: 12 issue: 1 year: 2000 end-page: 25 ident: CR93 article-title: Efficient object-oriented integration and regression testing publication-title: IEEE Trans. Reliab. doi: 10.1109/24.855533 – ident: CR14 – ident: CR2 – ident: CR37 – ident: CR53 – ident: CR89 – volume: 2014 start-page: 235 year: 2014 end-page: 245 ident: CR1 article-title: Techniques for improving regression testing in continuous integration development environments, ser. FSE,: new York, NY, USA: Assoc publication-title: Comput. Mach. – volume: 22 start-page: 529 issue: 8 year: 1996 end-page: 551 ident: CR36 article-title: Analyzing regression test selection techniques publication-title: IEEE Trans. Software Eng. doi: 10.1109/32.536955 – ident: CR30 – ident: CR10 – volume: 51 start-page: 16 issue: 1 year: 2009 end-page: 30 ident: CR55 article-title: Automating regression test selection based on UML designs publication-title: Inf. Softw. Technol. doi: 10.1016/j.infsof.2008.09.010 – ident: CR33 – ident: CR82 – ident: CR6 – ident: CR79 – ident: CR56 – ident: CR86 – ident: CR40 – ident: CR27 – ident: CR23 – volume: 15 start-page: 179 issue: 1 year: 2016 end-page: 217 ident: CR39 article-title: An executable formal semantics for UML-RT publication-title: Softw. Syst. Model. doi: 10.1007/s10270-014-0399-z – ident: CR69 – start-page: 89 year: 2016 end-page: 105 ident: CR19 article-title: Controllability through nondeterminism in distributed testing publication-title: Testing Software and Systems doi: 10.1007/978-3-319-47443-4_6 – ident: CR44 – ident: CR73 – volume: 19 start-page: 115 issue: 1 year: 2017 end-page: 131 ident: CR85 article-title: Model-based regression testing by OCL publication-title: Int. J. Softw. Tools Technol. Transf. doi: 10.1007/s10009-015-0408-8 – volume: 35 start-page: 289 issue: 3 year: 2011 end-page: 321 ident: CR68 article-title: Regression test selection techniques: a survey publication-title: Informatica (Slovenia) – ident: CR65 – ident: CR90 – ident: CR3 – ident: CR38 – volume: 44 start-page: 747 issue: 8 year: 2018 end-page: 783 ident: CR25 article-title: A survey of recent trends in testing concurrent software systems publication-title: IEEE Trans. Software Eng. doi: 10.1109/TSE.2017.2707089 – ident: CR52 – ident: CR17 – ident: CR31 – volume: 88 start-page: 133 issue: 3 year: 2003 end-page: 141 ident: CR18 article-title: Distributed testing without encountering controllability and observability problems publication-title: Inf. Process. Lett. doi: 10.1016/S0020-0190(03)00364-8 – ident: CR34 – ident: CR7 – ident: CR59 – ident: CR76 – ident: CR28 – ident: CR41 – ident: CR24 – volume: 15 start-page: 235 issue: 06 year: 2010 end-page: 265 ident: CR48 article-title: Deconstructing the semantics of big-step modelling languages publication-title: Requir. Eng. doi: 10.1007/s00766-010-0102-z – volume: 22 start-page: 67 issue: 2 year: 2012 end-page: 120 ident: CR67 article-title: Regression testing minimization, selection and prioritization: A survey publication-title: Softw. Test. Verif. Reliab. doi: 10.1002/stv.430 – ident: 1086_CR2 doi: 10.1145/3152688.3152692 – ident: 1086_CR24 doi: 10.1109/ICST.2019.00060 – ident: 1086_CR5 doi: 10.1007/978-3-030-21759-4_10 – ident: 1086_CR73 doi: 10.1145/2950290.2950361 – start-page: 119 volume-title: SDL 2017: Model-Driven Engineering for Future Internet year: 2017 ident: 1086_CR83 doi: 10.1007/978-3-319-68015-6_8 – ident: 1086_CR84 doi: 10.1145/2539036.2539043 – ident: 1086_CR91 doi: 10.1109/ICSM.2002.1167775 – ident: 1086_CR11 – ident: 1086_CR3 doi: 10.1145/3237009.3237015 – ident: 1086_CR53 – ident: 1086_CR78 doi: 10.1109/ASE.2017.8115710 – ident: 1086_CR34 – ident: 1086_CR71 doi: 10.1109/ICSM.2011.6080769 – ident: 1086_CR82 doi: 10.1007/978-3-642-12035-0_39 – ident: 1086_CR15 – ident: 1086_CR40 – ident: 1086_CR43 doi: 10.1007/BFb0057795 – volume: 52 start-page: 1091 issue: 13 year: 2019 ident: 1086_CR66 publication-title: IFAC – volume: 46 start-page: 405 issue: 4 year: 2020 ident: 1086_CR63 publication-title: IEEE Trans. Software Eng. doi: 10.1109/TSE.2018.2861392 – volume: 22 start-page: 67 issue: 2 year: 2012 ident: 1086_CR67 publication-title: Softw. Test. Verif. Reliab. doi: 10.1002/stv.430 – volume: 44 start-page: 747 issue: 8 year: 2018 ident: 1086_CR25 publication-title: IEEE Trans. Software Eng. doi: 10.1109/TSE.2017.2707089 – ident: 1086_CR75 doi: 10.1145/3180155.3180198 – ident: 1086_CR77 doi: 10.1145/1041685.1029928 – ident: 1086_CR44 – ident: 1086_CR21 doi: 10.1109/ICSE.2015.45 – volume: 49 start-page: 12 issue: 1 year: 2000 ident: 1086_CR93 publication-title: IEEE Trans. Reliab. doi: 10.1109/24.855533 – ident: 1086_CR35 doi: 10.1145/3122848 – volume: 2014 start-page: 235 year: 2014 ident: 1086_CR1 publication-title: Comput. Mach. – ident: 1086_CR16 doi: 10.1145/3365438.3410939 – ident: 1086_CR52 doi: 10.1007/978-3-540-69927-9_4 – start-page: 89 volume-title: Testing Software and Systems year: 2016 ident: 1086_CR19 doi: 10.1007/978-3-319-47443-4_6 – volume: 48 start-page: 171 issue: 2 year: 2015 ident: 1086_CR64 publication-title: ACM Comput. Surv. doi: 10.1145/2790077 – ident: 1086_CR65 doi: 10.1145/2950290.2950294 – volume: 15 start-page: 235 issue: 06 year: 2010 ident: 1086_CR48 publication-title: Requir. Eng. doi: 10.1007/s00766-010-0102-z – ident: 1086_CR69 doi: 10.1016/j.infsof.2009.07.001 – volume: 22 start-page: 529 issue: 8 year: 1996 ident: 1086_CR36 publication-title: IEEE Trans. Software Eng. doi: 10.1109/32.536955 – ident: 1086_CR7 doi: 10.1145/2491411.2491447 – ident: 1086_CR37 doi: 10.1145/2950290.2983942 – ident: 1086_CR76 doi: 10.1145/504282.504305 – ident: 1086_CR86 doi: 10.1007/978-3-642-34026-0_9 – volume: 25 start-page: 438 issue: 7 year: 1982 ident: 1086_CR58 publication-title: Commun. ACM doi: 10.1145/358557.358572 – volume: 15 start-page: 179 issue: 1 year: 2016 ident: 1086_CR39 publication-title: Softw. Syst. Model. doi: 10.1007/s10270-014-0399-z – ident: 1086_CR4 doi: 10.1007/978-3-030-45234-6_7 – ident: 1086_CR22 doi: 10.1145/2568225.2568294 – volume: 34 start-page: 1 issue: 4 year: 2009 ident: 1086_CR81 publication-title: SIGSOFT Softw. Eng. Notes doi: 10.1145/1543405.1543413 – ident: 1086_CR32 doi: 10.1145/2824815.2824821 – volume: 88 start-page: 133 issue: 3 year: 2003 ident: 1086_CR18 publication-title: Inf. Process. Lett. doi: 10.1016/S0020-0190(03)00364-8 – ident: 1086_CR47 – ident: 1086_CR80 doi: 10.1145/1291535.1291541 – volume-title: A Calculus of Communicating Systems year: 1982 ident: 1086_CR50 – ident: 1086_CR49 – ident: 1086_CR74 – ident: 1086_CR56 doi: 10.1109/RTAS.2009.36 – ident: 1086_CR27 doi: 10.1007/978-3-319-78024-5_35 – ident: 1086_CR30 doi: 10.1145/3417990.3422003 – ident: 1086_CR59 – volume: 2015 start-page: 449 year: 2015 ident: 1086_CR62 publication-title: IEEE Int. Conf. Softw. Maint. Evol. (ICSME) – ident: 1086_CR79 doi: 10.1145/3238147.3241984 – ident: 1086_CR26 doi: 10.1109/ICSEA.2010.75 – ident: 1086_CR90 – ident: 1086_CR12 doi: 10.1145/2994291.2994299 – ident: 1086_CR9 – volume: 41 start-page: 767 issue: 11 year: 1999 ident: 1086_CR20 publication-title: Inf. Softw. Technol. doi: 10.1016/S0950-5849(99)00036-1 – ident: 1086_CR61 – ident: 1086_CR29 – ident: 1086_CR57 doi: 10.1109/MiSE.2017.4 – ident: 1086_CR60 doi: 10.1145/3106237.3106278 – ident: 1086_CR6 doi: 10.1145/3281366.3281370 – ident: 1086_CR42 – ident: 1086_CR45 doi: 10.1007/11880240_53 – ident: 1086_CR87 doi: 10.1007/978-3-319-97571-9_13 – ident: 1086_CR89 doi: 10.1145/1295074.1295086 – volume: 34 start-page: 1045 issue: 5 year: 1955 ident: 1086_CR46 publication-title: Bell Syst. Tech. J. doi: 10.1002/j.1538-7305.1955.tb03788.x – volume: 51 start-page: 16 issue: 1 year: 2009 ident: 1086_CR55 publication-title: Inf. Softw. Technol. doi: 10.1016/j.infsof.2008.09.010 – ident: 1086_CR8 doi: 10.1145/1357054.1357323 – ident: 1086_CR10 – ident: 1086_CR23 doi: 10.1145/2524211.2524217 – volume: 29 start-page: 241 issue: 6 year: 2004 ident: 1086_CR70 publication-title: SIGSOFT Softw. Eng. Notes doi: 10.1145/1041685.1029928 – ident: 1086_CR31 – volume: 22 start-page: 529 issue: 8 year: 1996 ident: 1086_CR54 publication-title: IEEE Trans. Softw. Eng. doi: 10.1109/32.536955 – volume: 35 start-page: 289 issue: 3 year: 2011 ident: 1086_CR68 publication-title: Informatica (Slovenia) – ident: 1086_CR17 – volume: 19 start-page: 115 issue: 1 year: 2017 ident: 1086_CR85 publication-title: Int. J. Softw. Tools Technol. Transf. doi: 10.1007/s10009-015-0408-8 – ident: 1086_CR88 doi: 10.1109/ICSM.2002.1167768 – ident: 1086_CR38 – ident: 1086_CR92 doi: 10.1145/1291535.1291540 – ident: 1086_CR14 doi: 10.1145/1508284.1508249 – ident: 1086_CR33 doi: 10.1145/2038916.2038932 – ident: 1086_CR51 doi: 10.1145/359576.359585 – ident: 1086_CR72 doi: 10.1145/2771783.2771784 – volume-title: Dapper, a Large-Scale Distributed Systems Tracing Infrastructure year: 2010 ident: 1086_CR13 – ident: 1086_CR28 – ident: 1086_CR41
SSID	ssib004299466 ssj0027432
Score	2.3287752
Snippet	Regression testing is indispensable, especially for real-time distributed systems to ensure that existing functionalities are not affected by changes. Despite...
SourceID	proquest crossref springer
SourceType	Aggregation Database Enrichment Source Index Database Publisher
StartPage	1565
SubjectTerms	Automation Compilers Computer networks Computer Science Context Embedded systems Information Systems Applications (incl.Internet) Interpreters IT in Business Programming Languages Programming Techniques Real time Regression models Run time (computers) Software Engineering Software Engineering/Programming and Operating Systems Special Section Paper
SummonAdditionalLinks	– databaseName: SpringerLINK Contemporary 1997-Present dbid: RSV link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3NS8MwFA86PXhxfuJ0Sg7eNLCmbdocRSYeZAiOsVtJ8zEHo9O2-vebl7arExX0Ugp9CSUf7_1C3vv9ELpkwmehgmqcgEckiKT1g7HWxNDQxGLAjHDs_JOHaDSKp1P-WBeFFU22e3Ml6Tz1p2I3CiIpFPJ_LBAn4SbaCoFtBs7oT5M1DxsASFkdu5xMmYU2nHg-Y3XpzPd9roenFnN-uSZ10eeu-7__3kO7NdrEN9Xy2EcbOjtA3UbJAdcb-xC9Dh2ThA1AONezKjU2wyUwcGQzvDRYAb8uSGNpZS3EgoAmPbw5d4krPugCz22jZ40h_906fWjolHaIysGpYtVmKB2h8d1wfHtPajEGIu0uLYk0A66Vl_I01QMjRBBIERmtAuarSNKUA_G8hS--SKl9-FR4xpNCas64jLR_jDrZMtMnCFOWUmOkR5mxIVTJWMUGcI6w4CWNjekhr5mCRNZE5aCXsUhaimUY0sQOaeKGNAl76GrV5qWi6fjVut_MbFJv2SKhsY3bDBRweui6mcn288-9nf7N_AztgGR9lRDYR50yf9PnaFu-l_Miv3BL-QMxd-1x priority: 102 providerName: Springer Nature
Title	Efficient regression testing of distributed real-time reactive systems in the context of model-driven development
URI	https://link.springer.com/article/10.1007/s10270-023-01086-5 https://www.proquest.com/docview/2867860961
Volume	22
WOSCitedRecordID	wos000943867500001&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: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1619-1374 dateEnd: 20241213 omitProxy: false ssIdentifier: ssj0027432 issn: 1619-1366 databaseCode: P5Z dateStart: 20230101 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1619-1374 dateEnd: 20241213 omitProxy: false ssIdentifier: ssj0027432 issn: 1619-1366 databaseCode: K7- dateStart: 20230101 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1619-1374 dateEnd: 20241213 omitProxy: false ssIdentifier: ssj0027432 issn: 1619-1366 databaseCode: BENPR dateStart: 20230101 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVAVX databaseName: SpringerLINK Contemporary 1997-Present customDbUrl: eissn: 1619-1374 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0027432 issn: 1619-1366 databaseCode: RSV dateStart: 20020901 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/eLvHCXMwpV1LS8QwEB58Hbz4FtcXOXjT4DZt0_YkKiuCsiwqIl5KmocK0tXd1d_vTJtaFfTiJRSahMI3mZkmk-8D2JMqlLGh2zhRlvAo0egHU2u5E7FLVVc6VbHz314m_X56d5cN_Ibb2JdVNj6xctRmqGmP_FCk6FYlCZQcvbxyUo2i01UvoTENs8RUhnY-e9LrD66-_HJVEmWY1mQ8CKX012b85TlBoiuC6okwsefx99DU5ps_jkiryHO2-N9vXoIFn3Oy49pIlmHKliuw2Og5ML-8V-G1V_FJYBhiI_tQF8iWbEI8HOUDGzpmiGWXBLKswR7qmZMyPT1VTpPVrNBj9oSDHi2jKnh0_TSw0tvhZkSulZm2TmkNbs56N6fn3EsycI1rdcK162bWBEVWFLbrlIoirRJnTSRDk2hRZEQ_j0lMqAqBTShU4AKttM1kphMbrsNMOSztBjAhC-GcDoR0GEiNTk3qKNtRmMIUqXMdCBowcu3pykk14zlviZYJwBwBzCsA87gD-59jXmqyjj97bzeo5X7hjvMWsg4cNLi3r3-fbfPv2bZgnoTq6zLAbZiZjN7sDszp98nTeLTrzXYXpi8Sju0gvsf26vr2A5NU-FA
linkProvider	ProQuest
linkToHtml	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1Lb9QwEB6VLRK9UF4VCwV8gBNYbJzESQ4V4rFVqy6rCq1Qb5bjR1mpzba7aRE_iv_YGSchgERvPXCJIsW2lPjzzDie-T6Al1LHMrVUjZMUGU8yg3Ywd457kfpcj6TXgZ3_6ySbTvOjo-JwDX52tTCUVtnZxGCo7cLQP_K3IkezKkmg5N3ZOSfVKDpd7SQ0GlgcuB_fccu22tn_hPP7Sojd8ezjHm9VBbhBuNXc-FHhbFQWZelGXuskMTrzziYytpkRZUEM6uiHY10KvMRCRz4y2rhCFiZzMQ57C9aTOJHpANY_jKeHX37b4QVFNIyiCh7FUrZVOm2tniCNF0HpS7iP4OmfnrAPb_86kQ2ObnfzP_tE9-BuG1Gz980SuA9rrnoAm51aBWuN10M4Hwe2DHSybOmOm_TfitXEMlIds4VnljiESf7LWWyhT3g9P3V0F1wCazivV2yOnb45Rjn-6NioY1AT4nZJjoPZPgvrEcxu4r23YFAtKvcYmJCl8N5EQnoME6zJbe4pltMYoJW590OIurlXpiVjJ02QE9XTSBNeFOJFBbyodAivf_U5a6hIrm293YFEtWZppXqEDOFNB7P-8b9He3L9aC_gzt7s80RN9qcHT2FDEMpDwuM2DOrlhXsGt81lPV8tn7crhoG6YQBeAX7pVL4
linkToPdf	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V3PT9RAFH5BNMaLKEpcBZyDnHTCdtpO24MhBNhIIJs9EEO8TKbzAzaBLuxWjX-a_53vTVsrJHDj4KVp0plJOv3mvTed974P4IPUsUwtVeMkRcaTzKAdzJ3jXqQ-10PpdWDn_3qcjcf56WkxWYLfXS0MpVV2NjEYajsz9I98W-RoViUJlGz7Ni1isj_aubrmpCBFJ62dnEYDkSP36ydu3xafD_fxW28JMTo42fvCW4UBbhB6NTd-WDgblUVZuqHXOkmMzryziYxtZkRZEJs6-uRYlwIvsdCRj4w2rpCFyVyMwz6Cx1kic8omm6Tf_tnrBW00jKcKHsVStvU6bdWeILUXQYlMuKPg6U2f2Ae6t85mg8sbrfzHk_UCnrdxNtttFsZLWHLVKqx0GhasNWmv4PogcGig62Vzd9YkBVesJu6R6ozNPLPELEyiYM5iC33B6-mlo7vgKFjDhL1gU-x07hhl_uM0UMegMcTtnNwJs31u1ms4eYj3XoPlala5N8CELIX3JhLSY_BgTW5zTxGexrCtzL0fQNThQJmWop2UQi5UTy5N2FGIHRWwo9IBfPzb56ohKLm39XoHGNUaq4Xq0TKATx3k-sd3j_b2_tHew1NEnTo-HB-9g2eCAB-yINdhuZ5_dxvwxPyop4v5Zlg6DNQDo-8PGABcUw
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=Efficient+regression+testing+of+distributed+real-time+reactive+systems+in+the+context+of+model-driven+development&rft.jtitle=Software+and+systems+modeling&rft.au=Babaei%2C+Majid&rft.au=Dingel%2C+Juergen&rft.date=2023-10-01&rft.pub=Springer+Nature+B.V&rft.issn=1619-1366&rft.eissn=1619-1374&rft.volume=22&rft.issue=5&rft.spage=1565&rft.epage=1587&rft_id=info:doi/10.1007%2Fs10270-023-01086-5&rft.externalDBID=HAS_PDF_LINK
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1619-1366&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1619-1366&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1619-1366&client=summon