Sampling strategies for product lines with unbounded parametric real-time constraints
Combinatorial interaction testing (CIT) has been successfully applied to product-line testing for selecting from a usually very large configuration space a relatively small sample of test configurations sufficiently covering critical combinations of configuration options. As most recent CIT techniqu...
Gespeichert in:
| Veröffentlicht in: | International journal on software tools for technology transfer Jg. 21; H. 6; S. 613 - 633 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
Berlin/Heidelberg
Springer Berlin Heidelberg
01.12.2019
Springer Nature B.V |
| Schlagworte: | |
| ISSN: | 1433-2779, 1433-2787 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | Combinatorial interaction testing (CIT) has been successfully applied to product-line testing for selecting from a usually very large configuration space a relatively small sample of test configurations sufficiently covering critical combinations of configuration options. As most recent CIT techniques like pairwise sampling are limited to finite configuration spaces (i.e., vectors of yes/no options), they are not directly applicable to configuration parameters with a priori unbounded value domains (e.g., for adjusting unlimited resources or non-functional properties). Applying existing sampling strategies to infinite configuration spaces therefore requires further heuristics for selecting a finite subset of parameter-value combinations to be covered. Nevertheless, applying purely black-box heuristics may produce inherently ineffective test suites in which particularly critical parameter-value combinations are missed. In order to tackle this problem, we present a novel methodology for effectively sampling product lines with infinite configuration spaces by means of freely configurable real-time behaviors. To this end, we employ solution-space information obtained from our new modeling formalism, configurable parametric timed automata, to generate samples for covering critical best-case/worst-case execution-time behaviors. We also present a tool implementation which we applied to a collection of subject systems to demonstrate the applicability of our approach. |
|---|---|
| AbstractList | Combinatorial interaction testing (CIT) has been successfully applied to product-line testing for selecting from a usually very large configuration space a relatively small sample of test configurations sufficiently covering critical combinations of configuration options. As most recent CIT techniques like pairwise sampling are limited to finite configuration spaces (i.e., vectors of yes/no options), they are not directly applicable to configuration parameters with a priori unbounded value domains (e.g., for adjusting unlimited resources or non-functional properties). Applying existing sampling strategies to infinite configuration spaces therefore requires further heuristics for selecting a finite subset of parameter-value combinations to be covered. Nevertheless, applying purely black-box heuristics may produce inherently ineffective test suites in which particularly critical parameter-value combinations are missed. In order to tackle this problem, we present a novel methodology for effectively sampling product lines with infinite configuration spaces by means of freely configurable real-time behaviors. To this end, we employ solution-space information obtained from our new modeling formalism, configurable parametric timed automata, to generate samples for covering critical best-case/worst-case execution-time behaviors. We also present a tool implementation which we applied to a collection of subject systems to demonstrate the applicability of our approach. |
| Author | Luthmann, Lars Lochau, Malte Gerecht, Timo |
| Author_xml | – sequence: 1 givenname: Lars orcidid: 0000-0002-9868-365X surname: Luthmann fullname: Luthmann, Lars email: lars.luthmann@es.tu-darmstadt.de organization: Real-Time Systems Lab, TU Darmstadt – sequence: 2 givenname: Timo surname: Gerecht fullname: Gerecht, Timo organization: Real-Time Systems Lab, TU Darmstadt – sequence: 3 givenname: Malte orcidid: 0000-0002-8404-753X surname: Lochau fullname: Lochau, Malte organization: Real-Time Systems Lab, TU Darmstadt |
| BookMark | eNp9kEtLAzEUhYNUsK3-AVcB16N5zWSylOILCi6065DJJDVlJjMmGcR_b2pFwUUXSS4357v3cBZg5gdvALjE6BojxG9ivpEoEM4HlZQU7ATMMaO0ILzms9-aizOwiHGHEOYVF3OweVH92Dm_hTEFlczWmQjtEOAYhnbSCea_3Plw6Q1Ovhkm35oWjiqo3qTgNAxGdUVyvYF68PsZzqd4Dk6t6qK5-HmXYHN_97p6LNbPD0-r23WhKSepoAwz1FRcE6Ess62tq6YhhFbKqrKmtS1JIwhuEdOi1gRxphvBeJnNW4QRpUtwdZib3b5PJia5G6bg80pJiKgYR6wiWVUfVDoMMQZjpXZJJTf4vd1OYiT3IcpDiDKHKL9DlCyj5B86Bter8HkcogcoZrHfmvDn6gj1BYkwhpM |
| CitedBy_id | crossref_primary_10_1007_s10664_024_10516_x crossref_primary_10_1007_s10664_022_10149_y |
| Cites_doi | 10.1007/s11219-011-9152-9 10.1007/3-540-52148-8_17 10.1007/BFb0024651 10.1007/BFb0054178 10.1007/978-3-642-03466-4_22 10.1016/S0304-3975(99)00134-6 10.1007/BFb0032042 10.1007/978-3-319-22975-1_3 10.1007/978-3-662-46675-9_6 10.1145/1059816.1059823 10.1016/j.tcs.2005.11.018 10.1007/978-3-319-29510-7_3 10.1007/978-3-642-00982-2 10.1007/978-3-540-78800-3_24 10.1007/978-3-540-40903-8_7 10.1007/978-3-642-33666-9_18 10.1007/11561347_28 10.1007/978-3-642-15579-6_14 10.1142/S0129054109006905 10.1007/978-3-642-32759-9_6 10.1016/j.scico.2007.08.001 10.1007/3-540-15199-0_22 10.1007/978-3-319-47846-3_25 10.1007/978-3-642-15579-6_20 10.1006/inco.1994.1045 10.1007/978-3-319-07317-0_8 10.1007/978-3-642-40229-6_11 10.1145/1883612.1883618 10.14416/j.ijast.2014.05.001 10.1007/3-540-45351-2_8 10.1109/32.605761 10.1007/BF00709157 10.1145/2993236.2993254 10.1145/2362536.2362549 10.1109/SSIRI-C.2010.21 10.1109/SPLC.2008.56 10.1109/FormaliSE.2013.6612279 10.1109/ASE.2015.45 10.1145/2430502.2430511 10.1109/ICST.2010.43 10.1145/3106237.3106273 10.1145/2499777.2499781 10.1145/2362536.2362547 10.7146/brics.v3i24.20005 10.1145/2851613.2851977 10.1145/2430502.2430524 10.1145/2791060.2791074 10.1145/167088.167242 10.1145/3106195.3106204 10.21236/ADA235785 10.1145/2647908.2655973 10.1007/3-540-45351-2_15 10.1109/COMPSAC.2012.95 10.1109/ICST.2014.43 |
| ContentType | Journal Article |
| Copyright | Springer-Verlag GmbH Germany, part of Springer Nature 2019 International Journal on Software Tools for Technology Transfer is a copyright of Springer, (2019). All Rights Reserved. |
| Copyright_xml | – notice: Springer-Verlag GmbH Germany, part of Springer Nature 2019 – notice: International Journal on Software Tools for Technology Transfer is a copyright of Springer, (2019). All Rights Reserved. |
| DBID | AAYXX CITATION 3V. 7SC 7XB 8AL 8AO 8FD 8FE 8FG 8FK 8G5 ABJCF ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ GUQSH HCIFZ JQ2 K7- L6V L7M L~C L~D M0N M2O M7S MBDVC P5Z P62 PADUT PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS PTHSS Q9U |
| DOI | 10.1007/s10009-019-00532-4 |
| 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) Research Library (Alumni Edition) Materials Science & Engineering Collection ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials ProQuest Central Technology collection ProQuest One Community College ProQuest Central Korea ProQuest Central Student Research Library Prep SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database ProQuest Engineering Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Computing Database Research Library Engineering Database Research Library (Corporate) Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection Research Library China ProQuest Central Premium ProQuest One Academic ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China Engineering Collection ProQuest Central Basic |
| DatabaseTitle | CrossRef Research Library Prep 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 Research Library (Alumni Edition) ProQuest Pharma Collection ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Engineering Collection ProQuest Central Korea ProQuest Research Library Research Library China ProQuest Central (New) Advanced Technologies Database with Aerospace Engineering Collection Advanced Technologies & Aerospace Collection ProQuest Computing Engineering Database 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 Materials Science & Engineering Collection ProQuest One Academic ProQuest One Academic (New) ProQuest Central (Alumni) |
| DatabaseTitleList | Research Library Prep |
| 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 | 1433-2787 |
| EndPage | 633 |
| ExternalDocumentID | 10_1007_s10009_019_00532_4 |
| GroupedDBID | -59 -5G -BR -EM -Y2 -~C .4S .86 .DC .VR 06D 0R~ 0VY 1N0 1SB 203 29J 2J2 2JN 2JY 2KG 2KM 2LR 2P1 2VQ 2~H 30V 3V. 4.4 406 408 409 40D 40E 5GY 5VS 67Z 6NX 8AO 8FE 8FG 8FW 8G5 8TC 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYQN AAYTO AAYZH ABAKF ABBBX ABBXA ABDZT ABECU ABFTD ABFTV ABHLI ABHQN ABJCF ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABQSL ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABUWG ABWNU ABXPI ACAOD ACBXY ACDTI ACGFS ACHSB ACHXU ACIWK ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACSNA ACZOJ ADHHG ADHIR ADINQ ADKNI ADKPE ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AEOHA AEPYU AESKC AETLH AEVLU AEXYK AFBBN AFGCZ AFKRA AFLOW AFQWF AFWTZ AFZKB AGAYW AGDGC AGGDS AGJBK AGMZJ AGQEE AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHSBF AHYZX AIAKS AIGIU AIIXL AILAN AITGF AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMXSW AMYLF AMYQR AOCGG ARAPS ARCSS ARMRJ ASPBG AVWKF AXYYD AYJHY AZFZN AZQEC B-. BA0 BDATZ BENPR BGLVJ BGNMA BPHCQ BSONS CAG CCPQU COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP DU5 DWQXO EBLON EBS EDO EIOEI EJD ESBYG FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNUQQ GNWQR GQ6 GQ7 GQ8 GUQSH GXS H13 HCIFZ HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF HZ~ I-F I09 IHE IJ- IKXTQ ITM IWAJR IXC IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ K6V K7- KDC KOV L6V LAS LLZTM M0N M2O M4Y M7S MA- MK~ ML~ N2Q NB0 NPVJJ NQJWS NU0 O9- O93 O9J OAM P62 P9O PADUT PF0 PQQKQ PROAC PT4 PT5 PTHSS Q2X QOS R89 R9I RIG RNI ROL RPX RSV RZK 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 Z7R Z7X Z7Z Z83 Z88 ZMTXR 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 MBDVC PKEHL PQEST PQUKI PRINS Q9U |
| ID | FETCH-LOGICAL-c372t-34140b67c29af4fdf86bb2236afa5838f52b921d04c98c2074cb9475017f01033 |
| IEDL.DBID | M7S |
| ISICitedReferencesCount | 5 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000495240000002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1433-2779 |
| IngestDate | Wed Nov 05 00:47:06 EST 2025 Sat Nov 29 03:07:48 EST 2025 Tue Nov 18 21:28:07 EST 2025 Fri Feb 21 02:33:57 EST 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 6 |
| Keywords | Real-time systems Sample-based testing Timed automata Software product-line engineering |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c372t-34140b67c29af4fdf86bb2236afa5838f52b921d04c98c2074cb9475017f01033 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| ORCID | 0000-0002-8404-753X 0000-0002-9868-365X |
| PQID | 2296470462 |
| PQPubID | 46652 |
| PageCount | 21 |
| ParticipantIDs | proquest_journals_2296470462 crossref_citationtrail_10_1007_s10009_019_00532_4 crossref_primary_10_1007_s10009_019_00532_4 springer_journals_10_1007_s10009_019_00532_4 |
| PublicationCentury | 2000 |
| PublicationDate | 2019-12-01 |
| PublicationDateYYYYMMDD | 2019-12-01 |
| PublicationDate_xml | – month: 12 year: 2019 text: 2019-12-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationPlace | Berlin/Heidelberg |
| PublicationPlace_xml | – name: Berlin/Heidelberg – name: Heidelberg |
| PublicationTitle | International journal on software tools for technology transfer |
| PublicationTitleAbbrev | Int J Softw Tools Technol Transfer |
| PublicationYear | 2019 |
| Publisher | Springer Berlin Heidelberg Springer Nature B.V |
| Publisher_xml | – name: Springer Berlin Heidelberg – name: Springer Nature B.V |
| References | Karataş, Oğuztüzün, Doğru, Bosch, Lee (CR35) 2010 Johansen, Haugen, Fleurey, Eldegard, Syversen, France, Kazmeier, Breu, Atkinson (CR33) 2012 André, Markey (CR11) 2015 CR38 CR37 CR36 CR34 CR32 CR31 de Moura, Bjørner, Ramakrishnan, Rehof (CR45) 2008 Springintveld, Vaandrager, D’Argenio (CR56) 2001; 254 Czarnecki, Antkiewicz, Glück, Lowry (CR25) 2005 Leveson, Stolzy, Ehrig, Floyd, Nivat, Thatcher (CR40) 1985 Panek, Stursberg, Engell (CR50) 2004 CR2 CR4 Bagnara, Hill, Zaffanella (CR12) 2008; 72 Dill, Sifakis (CR27) 1990 Dick, Faivre, Woodcock, Larsen (CR26) 1993 CR48 Alur, La Torre, Pappas (CR5) 2001 CR47 CR44 CR43 André (CR6) 2009 Nie, Leung (CR46) 2011; 43 Henzinger, Nicollin, Sifakis, Yovine (CR30) 1994; 111 André, Chatain, Fribourg, Encrenaz (CR8) 2009; 20 Lindahl, Pettersson, Yi (CR41) 2001; 3 CR14 CR58 CR13 Behrmann, Larsen, Rasmussen (CR15) 2005; 32 CR54 CR53 Courcoubetis, Yannakakis (CR24) 1992; 1 Oster, Markert, Ritter, Bosch, Lee (CR49) 2010 CR52 CR51 Siegmund, Rosenmüller, Kuhlemann, Kästner, Apel, Saake (CR55) 2012; 20 André, Fribourg, Kühne, Soulat, Giannakopoulou, Méry (CR9) 2012 Abdeddaim, Asarin, Maler (CR1) 2006; 354 Cmyrev, Reissing (CR18) 2014; 7 Bertrand, Pinchinat, Raclet (CR16) 2009 Cohen, Dalal, Fredman, Patton (CR19) 1997; 23 Krenn, Ničković, Tec, Braberman, Fribourg (CR39) 2013 CR29 CR28 Utting, Legeard (CR57) 2010 CR23 CR22 André (CR7) 2016 CR21 Lochau, Peldszus, Kowal, Schaefer (CR42) 2014 CR20 Bürdek, Lochau, Bauregger, Holzer, von Rhein, Apel, Beyer, Egyed, Schaefer (CR17) 2015 Alur, Dill, Paterson (CR3) 1990 André, Lime, Roux (CR10) 2016 É André (532_CR9) 2012 M Lindahl (532_CR41) 2001; 3 DL Dill (532_CR27) 1990 R Alur (532_CR3) 1990 É André (532_CR11) 2015 C Courcoubetis (532_CR24) 1992; 1 532_CR43 532_CR44 W Krenn (532_CR39) 2013 532_CR47 532_CR48 K Czarnecki (532_CR25) 2005 N Siegmund (532_CR55) 2012; 20 G Behrmann (532_CR15) 2005; 32 S Oster (532_CR49) 2010 532_CR4 É André (532_CR6) 2009 532_CR2 532_CR28 532_CR29 532_CR31 532_CR32 532_CR34 532_CR36 J Bürdek (532_CR17) 2015 532_CR37 532_CR38 É André (532_CR8) 2009; 20 J Springintveld (532_CR56) 2001; 254 S Panek (532_CR50) 2004 M Lochau (532_CR42) 2014 É André (532_CR10) 2016 Y Abdeddaim (532_CR1) 2006; 354 532_CR20 532_CR21 532_CR22 532_CR23 AS Karataş (532_CR35) 2010 N Bertrand (532_CR16) 2009 A Cmyrev (532_CR18) 2014; 7 É André (532_CR7) 2016 DM Cohen (532_CR19) 1997; 23 C Nie (532_CR46) 2011; 43 J Dick (532_CR26) 1993 R Bagnara (532_CR12) 2008; 72 532_CR53 532_CR54 532_CR13 532_CR14 TA Henzinger (532_CR30) 1994; 111 MF Johansen (532_CR33) 2012 532_CR58 NG Leveson (532_CR40) 1985 R Alur (532_CR5) 2001 M Utting (532_CR57) 2010 L de Moura (532_CR45) 2008 532_CR51 532_CR52 |
| References_xml | – ident: CR22 – volume: 20 start-page: 487 issue: 3 year: 2012 end-page: 517 ident: CR55 article-title: SPL conqueror: toward optimization of non-functional properties in software product lines publication-title: Softw. Qual. J. doi: 10.1007/s11219-011-9152-9 – start-page: 197 year: 1990 end-page: 212 ident: CR27 article-title: Timing assumptions and verification of finite-state concurrent systems publication-title: Automatic Verification Methods for Finite State Systems doi: 10.1007/3-540-52148-8_17 – ident: CR4 – ident: CR51 – start-page: 268 year: 1993 end-page: 284 ident: CR26 article-title: Automating the generation and sequencing of test cases from model-based specifications publication-title: FME ’93: Industrial-Strength Formal Methods doi: 10.1007/BFb0024651 – ident: CR29 – volume: 3 start-page: 353 issue: 3 year: 2001 end-page: 368 ident: CR41 article-title: Formal design and analysis of a gear controller publication-title: STTT doi: 10.1007/BFb0054178 – ident: CR54 – start-page: 336 year: 2009 end-page: 342 ident: CR6 publication-title: IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata doi: 10.1007/978-3-642-03466-4_22 – volume: 254 start-page: 225 issue: 1 year: 2001 end-page: 257 ident: CR56 article-title: Testing timed automata publication-title: Theor. Comput. Sci. doi: 10.1016/S0304-3975(99)00134-6 – ident: CR58 – start-page: 322 year: 1990 end-page: 335 ident: CR3 article-title: Automata for modeling real-time systems publication-title: Automata, Languages and Programming doi: 10.1007/BFb0032042 – start-page: 27 year: 2015 end-page: 43 ident: CR11 publication-title: Language Preservation Problems in Parametric Timed Automata doi: 10.1007/978-3-319-22975-1_3 – start-page: 84 year: 2015 end-page: 99 ident: CR17 article-title: Facilitating reuse in multi-goal test-suite generation for software product lines publication-title: Fundamental Approaches to Software Engineering doi: 10.1007/978-3-662-46675-9_6 – ident: CR21 – volume: 32 start-page: 34 issue: 4 year: 2005 end-page: 40 ident: CR15 article-title: Optimal scheduling using priced timed automata publication-title: SIGMETRICS Perform. Eval. Rev. doi: 10.1145/1059816.1059823 – volume: 354 start-page: 272 issue: 2 year: 2006 end-page: 300 ident: CR1 article-title: Scheduling with timed automata publication-title: Theor. Comput. Sci. doi: 10.1016/j.tcs.2005.11.018 – start-page: 52 year: 2016 end-page: 68 ident: CR7 publication-title: What’s Decidable About Parametric Timed Automata? doi: 10.1007/978-3-319-29510-7_3 – start-page: 152 year: 2009 end-page: 163 ident: CR16 publication-title: Refinement and Consistency of Timed Modal Specifications doi: 10.1007/978-3-642-00982-2 – start-page: 337 year: 2008 end-page: 340 ident: CR45 article-title: Z3: an efficient SMT solver publication-title: Tools and Algorithms for the Construction and Analysis of Systems doi: 10.1007/978-3-540-78800-3_24 – ident: CR32 – ident: CR36 – start-page: 73 year: 2004 end-page: 87 ident: CR50 publication-title: Optimization of Timed Automata Models Using Mixed-Integer Programming doi: 10.1007/978-3-540-40903-8_7 – ident: CR43 – ident: CR47 – start-page: 269 year: 2012 end-page: 284 ident: CR33 article-title: Generating better partial covering arrays by modeling weights on sub-product lines publication-title: Model Driven Engineering Languages and Systems doi: 10.1007/978-3-642-33666-9_18 – ident: CR14 – ident: CR2 – ident: CR37 – ident: CR53 – start-page: 422 year: 2005 end-page: 437 ident: CR25 article-title: Mapping features to models: a template approach based on superimposed variants publication-title: Generative Programming and Component Engineering doi: 10.1007/11561347_28 – start-page: 196 year: 2010 end-page: 210 ident: CR49 article-title: Automated incremental pairwise testing of software product lines publication-title: Software Product Lines: Going Beyond doi: 10.1007/978-3-642-15579-6_14 – volume: 20 start-page: 819 issue: 5 year: 2009 end-page: 836 ident: CR8 article-title: An inverse method for parametric timed automata publication-title: Int. J. Found. Comput. Sci. doi: 10.1142/S0129054109006905 – start-page: 33 year: 2012 end-page: 36 ident: CR9 article-title: IMITATOR 2.5: a tool for analyzing robustness in scheduling problems publication-title: FM’12, Lecture Notes in Computer Science doi: 10.1007/978-3-642-32759-9_6 – volume: 72 start-page: 3 issue: 1 year: 2008 end-page: 21 ident: CR12 article-title: The parma polyhedra library: toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems publication-title: Sci. Comput. Program. doi: 10.1016/j.scico.2007.08.001 – start-page: 339 year: 1985 end-page: 355 ident: CR40 article-title: Analyzing safety and fault tolerance using time petri nets publication-title: Formal Methods and Software Development doi: 10.1007/3-540-15199-0_22 – start-page: 400 year: 2016 end-page: 416 ident: CR10 publication-title: Decision Problems for Parametric Timed Automata doi: 10.1007/978-3-319-47846-3_25 – ident: CR23 – start-page: 286 year: 2010 end-page: 299 ident: CR35 article-title: Mapping extended feature models to constraint logic programming over finite domains publication-title: Software Product Lines: Going Beyond doi: 10.1007/978-3-642-15579-6_20 – ident: CR44 – ident: CR48 – ident: CR38 – volume: 111 start-page: 193 issue: 2 year: 1994 end-page: 244 ident: CR30 article-title: Symbolic model checking for real-time systems publication-title: Inf. Comput. doi: 10.1006/inco.1994.1045 – ident: CR52 – ident: CR31 – ident: CR13 – start-page: 310 year: 2014 end-page: 342 ident: CR42 publication-title: Model-Based Testing doi: 10.1007/978-3-319-07317-0_8 – ident: CR34 – start-page: 152 year: 2013 end-page: 167 ident: CR39 article-title: Incremental language inclusion checking for networks of timed automata publication-title: Formal Modeling and Analysis of Timed Systems doi: 10.1007/978-3-642-40229-6_11 – volume: 43 start-page: 11:1 issue: 2 year: 2011 end-page: 11:29 ident: CR46 article-title: A survey of combinatorial testing publication-title: ACM Comput. Surv. doi: 10.1145/1883612.1883618 – year: 2010 ident: CR57 publication-title: Practical Model-Based Testing: A Tools Approach – volume: 7 start-page: 53 issue: 2 year: 2014 end-page: 57 ident: CR18 article-title: Efficient and effective testing of automotive software product lines publication-title: Appl. Sci. Eng. Prog. doi: 10.14416/j.ijast.2014.05.001 – start-page: 49 year: 2001 end-page: 62 ident: CR5 publication-title: Optimal Paths in Weighted Timed Automata doi: 10.1007/3-540-45351-2_8 – ident: CR28 – volume: 23 start-page: 437 issue: 7 year: 1997 end-page: 444 ident: CR19 article-title: The AETG system: an approach to testing based on combinatorial design publication-title: IEEE Trans. Softw. Eng. doi: 10.1109/32.605761 – ident: CR20 – volume: 1 start-page: 385 issue: 4 year: 1992 end-page: 415 ident: CR24 article-title: Minimum and maximum delay problems in real-time systems publication-title: Form. Methods Syst. Des. doi: 10.1007/BF00709157 – ident: 532_CR2 doi: 10.1145/2993236.2993254 – ident: 532_CR37 – ident: 532_CR22 doi: 10.1145/2362536.2362549 – ident: 532_CR47 – ident: 532_CR44 doi: 10.1109/SSIRI-C.2010.21 – ident: 532_CR58 doi: 10.1109/SPLC.2008.56 – start-page: 269 volume-title: Model Driven Engineering Languages and Systems year: 2012 ident: 532_CR33 doi: 10.1007/978-3-642-33666-9_18 – start-page: 337 volume-title: Tools and Algorithms for the Construction and Analysis of Systems year: 2008 ident: 532_CR45 doi: 10.1007/978-3-540-78800-3_24 – start-page: 152 volume-title: Refinement and Consistency of Timed Modal Specifications year: 2009 ident: 532_CR16 doi: 10.1007/978-3-642-00982-2 – start-page: 84 volume-title: Fundamental Approaches to Software Engineering year: 2015 ident: 532_CR17 doi: 10.1007/978-3-662-46675-9_6 – start-page: 27 volume-title: Language Preservation Problems in Parametric Timed Automata year: 2015 ident: 532_CR11 doi: 10.1007/978-3-319-22975-1_3 – ident: 532_CR21 doi: 10.1109/FormaliSE.2013.6612279 – ident: 532_CR54 doi: 10.1109/ASE.2015.45 – volume: 72 start-page: 3 issue: 1 year: 2008 ident: 532_CR12 publication-title: Sci. Comput. Program. doi: 10.1016/j.scico.2007.08.001 – start-page: 33 volume-title: FM’12, Lecture Notes in Computer Science year: 2012 ident: 532_CR9 doi: 10.1007/978-3-642-32759-9_6 – ident: 532_CR38 doi: 10.1145/2430502.2430511 – ident: 532_CR51 doi: 10.1109/ICST.2010.43 – ident: 532_CR48 doi: 10.1145/3106237.3106273 – volume: 354 start-page: 272 issue: 2 year: 2006 ident: 532_CR1 publication-title: Theor. Comput. Sci. doi: 10.1016/j.tcs.2005.11.018 – volume: 20 start-page: 487 issue: 3 year: 2012 ident: 532_CR55 publication-title: Softw. Qual. J. doi: 10.1007/s11219-011-9152-9 – volume: 23 start-page: 437 issue: 7 year: 1997 ident: 532_CR19 publication-title: IEEE Trans. Softw. Eng. doi: 10.1109/32.605761 – ident: 532_CR29 – ident: 532_CR20 doi: 10.1145/2499777.2499781 – ident: 532_CR32 doi: 10.1145/2362536.2362547 – start-page: 322 volume-title: Automata, Languages and Programming year: 1990 ident: 532_CR3 doi: 10.1007/BFb0032042 – start-page: 339 volume-title: Formal Methods and Software Development year: 1985 ident: 532_CR40 doi: 10.1007/3-540-15199-0_22 – volume: 43 start-page: 11:1 issue: 2 year: 2011 ident: 532_CR46 publication-title: ACM Comput. Surv. doi: 10.1145/1883612.1883618 – ident: 532_CR31 doi: 10.7146/brics.v3i24.20005 – ident: 532_CR36 doi: 10.1145/2851613.2851977 – ident: 532_CR28 doi: 10.1145/2430502.2430524 – ident: 532_CR52 doi: 10.1145/2791060.2791074 – ident: 532_CR4 doi: 10.1145/167088.167242 – volume: 20 start-page: 819 issue: 5 year: 2009 ident: 532_CR8 publication-title: Int. J. Found. Comput. Sci. doi: 10.1142/S0129054109006905 – start-page: 268 volume-title: FME ’93: Industrial-Strength Formal Methods year: 1993 ident: 532_CR26 doi: 10.1007/BFb0024651 – start-page: 49 volume-title: Optimal Paths in Weighted Timed Automata year: 2001 ident: 532_CR5 doi: 10.1007/3-540-45351-2_8 – volume: 111 start-page: 193 issue: 2 year: 1994 ident: 532_CR30 publication-title: Inf. Comput. doi: 10.1006/inco.1994.1045 – start-page: 197 volume-title: Automatic Verification Methods for Finite State Systems year: 1990 ident: 532_CR27 doi: 10.1007/3-540-52148-8_17 – start-page: 336 volume-title: IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata year: 2009 ident: 532_CR6 doi: 10.1007/978-3-642-03466-4_22 – volume: 7 start-page: 53 issue: 2 year: 2014 ident: 532_CR18 publication-title: Appl. Sci. Eng. Prog. doi: 10.14416/j.ijast.2014.05.001 – ident: 532_CR43 doi: 10.1145/3106195.3106204 – volume: 32 start-page: 34 issue: 4 year: 2005 ident: 532_CR15 publication-title: SIGMETRICS Perform. Eval. Rev. doi: 10.1145/1059816.1059823 – volume: 1 start-page: 385 issue: 4 year: 1992 ident: 532_CR24 publication-title: Form. Methods Syst. Des. doi: 10.1007/BF00709157 – start-page: 422 volume-title: Generative Programming and Component Engineering year: 2005 ident: 532_CR25 doi: 10.1007/11561347_28 – volume-title: Practical Model-Based Testing: A Tools Approach year: 2010 ident: 532_CR57 – start-page: 400 volume-title: Decision Problems for Parametric Timed Automata year: 2016 ident: 532_CR10 doi: 10.1007/978-3-319-47846-3_25 – start-page: 73 volume-title: Optimization of Timed Automata Models Using Mixed-Integer Programming year: 2004 ident: 532_CR50 doi: 10.1007/978-3-540-40903-8_7 – ident: 532_CR34 doi: 10.21236/ADA235785 – start-page: 52 volume-title: What’s Decidable About Parametric Timed Automata? year: 2016 ident: 532_CR7 doi: 10.1007/978-3-319-29510-7_3 – ident: 532_CR23 doi: 10.1145/2647908.2655973 – start-page: 196 volume-title: Software Product Lines: Going Beyond year: 2010 ident: 532_CR49 doi: 10.1007/978-3-642-15579-6_14 – start-page: 286 volume-title: Software Product Lines: Going Beyond year: 2010 ident: 532_CR35 doi: 10.1007/978-3-642-15579-6_20 – volume: 254 start-page: 225 issue: 1 year: 2001 ident: 532_CR56 publication-title: Theor. Comput. Sci. doi: 10.1016/S0304-3975(99)00134-6 – ident: 532_CR14 doi: 10.1007/3-540-45351-2_15 – start-page: 152 volume-title: Formal Modeling and Analysis of Timed Systems year: 2013 ident: 532_CR39 doi: 10.1007/978-3-642-40229-6_11 – start-page: 310 volume-title: Model-Based Testing year: 2014 ident: 532_CR42 doi: 10.1007/978-3-319-07317-0_8 – volume: 3 start-page: 353 issue: 3 year: 2001 ident: 532_CR41 publication-title: STTT doi: 10.1007/BFb0054178 – ident: 532_CR53 doi: 10.1109/COMPSAC.2012.95 – ident: 532_CR13 doi: 10.1109/ICST.2014.43 |
| SSID | ssj0017679 |
| Score | 2.2260299 |
| Snippet | Combinatorial interaction testing (CIT) has been successfully applied to product-line testing for selecting from a usually very large configuration space a... |
| SourceID | proquest crossref springer |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 613 |
| SubjectTerms | Combinatorial analysis Computer Science Configurations Domains Foundations for Mastering Change Parameters Product lines Real time Sampling Software Engineering Software Engineering/Programming and Operating Systems Software testing Theory of Computation Vectors (mathematics) |
| SummonAdditionalLinks | – databaseName: SpringerLink Contemporary dbid: RSV link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1NSwMxEB20evBi_cRqlRy8aaCbpsnmKGLxVMRa6W3ZJBsR6lq6W3-_mXS3VVFBz5sNYfIxL5mZ9wDOuXCptEZQY5z0FxTXo6nocGpilHWwkTMuDmITcjCIx2N1VxWFFXW2ex2SDCf1h2K38JCPRTcoZ0D5Omx4dxejYMP98HEZO5AiMOx5INClTEpVlcp838dnd7TCmF_CosHb9Jv_G-cObFfoklwtlsMurGX5HjRr5QZSbeR9GA1TzCTPn0hR1lwRxMNXMl0QwBIEnwXBR1oyzzVKL2WWIE34CypwGeKh5oSiLj0xCDBRZ6IsDmDUv3m4vqWVwAI1XclK6j0Y72ghDVOp4866WGjt8YJIXYrhVNdjWrHIdrhRsWEebRituMcYkXSoD9E9hEb-mmdHQFSUKmWN9Rcki7FfLWOTCmc7QimtnGhBVNs5MRX7OA5ukqx4k9FuibdbEuyW8BZcLP-ZLrg3fm3drqcvqfZhkTCMKksswG3BZT1dq88_93b8t-YnsMVwxkOeSxsa5WyencKmeSufi9lZWJ_vOCPeXA priority: 102 providerName: Springer Nature |
| Title | Sampling strategies for product lines with unbounded parametric real-time constraints |
| URI | https://link.springer.com/article/10.1007/s10009-019-00532-4 https://www.proquest.com/docview/2296470462 |
| Volume | 21 |
| WOSCitedRecordID | wos000495240000002&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: 1433-2787 dateEnd: 20241211 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: P5Z dateStart: 20190101 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1433-2787 dateEnd: 20241211 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: K7- dateStart: 20190101 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: Engineering Database customDbUrl: eissn: 1433-2787 dateEnd: 20241211 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: M7S dateStart: 20190101 isFulltext: true titleUrlDefault: http://search.proquest.com providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1433-2787 dateEnd: 20241211 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: BENPR dateStart: 20190101 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVPQU databaseName: Research Library customDbUrl: eissn: 1433-2787 dateEnd: 20241211 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: M2O dateStart: 20190101 isFulltext: true titleUrlDefault: https://search.proquest.com/pqrl providerName: ProQuest – providerCode: PRVAVX databaseName: SpringerLink Contemporary customDbUrl: eissn: 1433-2787 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: RSV dateStart: 19971201 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/eLvHCXMwpV07T8MwED7xGlh4I8qj8sAGFo2b2vGEAIGQEKWigBBLlJxrhFRCIYHfj891qECChcVLEsvKne3PvrvvA9iNpc2UQckRrXIHFNvhmWzFHBOSdTCRRZt4sQnV7Sb397oXLtzKkFZZr4l-oTYvSHfkB4Lig4pKKQ9Hr5xUoyi6GiQ0pmGWWBIin7rX_4oiKOm59hwkaHOhlA5FM6F0zocFqISHxBF4_H1jmqDNHwFSv--cLf53xEuwEBAnOxq7yDJMDYoVWKzVHFiY3Ktw288ou7x4ZGVV80cwB2nZaEwKywiQlowubtl7kZMc08Awog5_JlUuZA5-Djlp1TMk0EnaE1W5Brdnpzcn5zyILnBsK1Fxt6vFrVwqFDqzsTU2kXnuMITMbEYhVtsRuRaRacWoExQOgWCuY4c7ImVJM6K9DjPFSzHYAKajTGuDxh2aDMWDc5VgJq1pSa1zbWUDovqPpxgYyWlww3TCpUxWSp2VUm-lNG7A3tc3ozEfx59vb9emScPcLNOJXRqwXxt38vj33jb_7m0L5gX5k8912YaZ6u19sANz-FE9lW9NmD0-7faumzB9obhrL8VV03ura3udB9de9-8-AYzs7fk |
| linkProvider | ProQuest |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1RT9swED4xNml7gTFAKxTmB_YEFo3r2vEDQgioQIUKCZB4C8k5RkhtWkhg2p_iN-JLE6ohwRsPe05iJfHnu7Pv7vsANqRysbaoOKLTfoPiOjxWLckxJFkHGzh0YSk2ofv98OrKnM3AU90LQ2WVtU0sDbUdIZ2RbwvKD2pqpdwd33FSjaLsai2hMYFFL_37x2_Z8p3jAz-_v4XoHl7sH_FKVYBjW4uCe7MtW4nSKEzspLMuVEninaSKXUw5RNcRiRGBbUk0IQrvYjEx0jvWQDsSRWj7cT_BZ9kONa2rnuYvWQutSm4_H4K0udDaVE06VatemYagliESY-DyX0c4jW5fJWRLP9ed_9_-0HeYqyJqtjdZAgswk2Y_YL5Wq2CV8VqEy_OYquezG5YXNT8G8yE7G09IbxkF3Dmjg2n2kCUkN5VaRtToQ1IdQ-bD6wEvbocpQwqqSVujyJfg8kM-bhlms1GW_gRmgtgYi9ZvCi3luxMdYqycbSljEuNUA4J6hiOsGNfp5QbRlCuaUBF5VEQlKiLZgM2XZ8YTvpF3727WUIgq25NHUxw0YKsG0_Ty26OtvD_aL_h6dHF6Ep0c93ur8E0Qlsu6nibMFvcP6Rp8wcfiNr9fL1cFg-uPBtkzU19Cig |
| linkToPdf | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LS8QwEB58IV58i-szBz1pcJvtJs1BRNRFUZYFFcRLbSeNLGhdbVX8a_46M93WRUFvHjy3Hdrmyzwyjw9gw5c2UgYlR7TKBSi2ySNZ9zkGROtgPIs2KMgmVLsdXF3pzhC8V70wVFZZ6cRCUZsHpDPyHUH5QUWtlDu2LIvoHLb2eo-cGKQo01rRafQhcpq8vbrwLds9OXRrvSlE6-ji4JiXDAMcG0rk3Klwvx5LhUJH1rfGBjKOncGUkY0on2ibItbCM3UfdYDCmVuMte-MrKcsESQ0nNxhGFUuxqRywk7z-jODoWQx58-5Iw0ulNJlw07ZtlekJKh9iIgZuP_VKA483W_J2cLmtab-89-ahsnS02b7_a0xA0NJOgtTFYsFK5XaHFyeR1RVn96yLK_mZjDnyrNefxguI0c8Y3RgzZ7TmGioEsNoZPo9sZEhc273Hc-79wlDcraJcyPP5uHyTz5uAUbShzRZBKa9SGuDxgWLhvLgsQowktbUpdaxtrIGXrXaIZaT2Onl7sLBDGlCSOgQEhYICf0abH0-0-vPIfn17pUKFmGpk7JwgIkabFfAGlz-WdrS79LWYdxhKzw7aZ8uw4QgWBflPiswkj89J6swhi95N3taKzYIg5u_xtgHH6RLrg |
| 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=Sampling+strategies+for+product+lines+with+unbounded+parametric+real-time+constraints&rft.jtitle=International+journal+on+software+tools+for+technology+transfer&rft.au=Luthmann%2C+Lars&rft.au=Gerecht%2C+Timo&rft.au=Lochau%2C+Malte&rft.date=2019-12-01&rft.issn=1433-2779&rft.eissn=1433-2787&rft.volume=21&rft.issue=6&rft.spage=613&rft.epage=633&rft_id=info:doi/10.1007%2Fs10009-019-00532-4&rft.externalDBID=n%2Fa&rft.externalDocID=10_1007_s10009_019_00532_4 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1433-2779&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1433-2779&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1433-2779&client=summon |