{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:05:38Z","timestamp":1743149138242,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319259444"},{"type":"electronic","value":"9783319259451"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25945-1_6","type":"book-chapter","created":{"date-parts":[[2015,11,6]],"date-time":"2015-11-06T22:20:37Z","timestamp":1446848437000},"page":"86-101","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Automated Test Design for Boundaries of Product Line Variants"],"prefix":"10.1007","author":[{"given":"Stephan","family":"Wei\u00dfleder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Wartenberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hartmut","family":"Lackner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,8]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Andrews, J.H., Briand, L.C., Labiche, Y.: Is mutation an appropriate tool for testing experiments? In: Proceedings of the 27th International Conference on Software Engineering, ICSE 2005, pp. 402\u2013411 (2005)","DOI":"10.1145\/1062455.1062530"},{"issue":"8","key":"6_CR2","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1109\/TSE.2006.83","volume":"32","author":"JH Andrews","year":"2006","unstructured":"Andrews, J.H., Briand, L.C., Labiche, Y., Namin, A.S.: Using mutation analysis for assessing and comparing testing coverage criteria. IEEE Trans. Softw. Eng. 32(8), 608\u2013624 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"6_CR3","volume-title":"Testing Object-Oriented Systems: Models, Patterns, and Tools","author":"RV Binder","year":"1999","unstructured":"Binder, R.V.: Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley Longman Publishing Co., Inc., Boston (1999)"},{"issue":"11","key":"6_CR4","doi-asserted-by":"publisher","first-page":"770","DOI":"10.1109\/TSE.2004.79","volume":"30","author":"LC Briand","year":"2004","unstructured":"Briand, L.C., Penta, M.D., Labiche, Y.: Assessing and improving state-based class testing: a series of experiments. IEEE Trans. Softw. Eng. 30(11), 770\u2013783 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/b137241","volume-title":"Model-Based Testing of Reactive Systems: Advanced Lectures","author":"M Broy","year":"2005","unstructured":"Broy, M., Jonsson, B., Katoen, J.P.: Model-Based Testing of Reactive Systems: Advanced Lectures. Lecture Notes in Computer Science, vol. 3472. Springer, Heidelberg (2005)"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Cichos, H., Heinze, T.S.: Efficient reduction of model-based generated test suites through test case pair prioritization. In: Proceedings of the 7th International Workshop on Model-Driven Engineering. Verification and Validation (MoDeVVa 10), pp. 37\u201342. IEEE Computer Society Press, Los Alamitos (2011)","DOI":"10.1109\/MoDeVVa.2010.19"},{"key":"6_CR7","unstructured":"Cichos, H., Lochau, M., Oster, S., Sch\u00fcrr, A.: Reduktion von testsuiten f\u00fcr software-produktlinien. In: J\u00e4hnichen, S., K\u00fcpper, A., Albayrak, S. (eds.) Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar - 2. M\u00e4rz 2012 in Berlin. LNI, vol. 198, pp. 143\u2013154. GI (2012)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y., Legay, A.: Symbolic model checking of software product lines. In: 33rd International Conference on Software Engineering, ICSE 2011, May 21\u201328, 2011, Waikiki, Honolulu, Hawaii, Proceedings, pp. 321\u2013330. ACM (2011)","DOI":"10.1145\/1985793.1985838"},{"key":"6_CR9","unstructured":"Conformiq Qtronic: Semantics and Algorithms for Test Generation: A Conformiq Software Whitepaper (2008)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1007\/11561347_28","volume-title":"Generative Programming and Component Engineering","author":"K Czarnecki","year":"2005","unstructured":"Czarnecki, K., Antkiewicz, M.: Mapping features to models: a template approach based on superimposed variants. In: Gl\u00fcck, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol. 3676, pp. 422\u2013437. Springer, Heidelberg (2005)"},{"key":"6_CR11","unstructured":"Czarnecki, K., Wasowski, A.: Feature diagrams and logics: there andback again. In: Software Product Line Conference, 2007. SPLC 2007. 11th International, pp. 23\u201334 (2007)"},{"key":"6_CR12","unstructured":"DeMillo, R.A.: Mutation Analysis as a Tool for Software Quality Assurance. In: COMPSAC 1980 (1980)"},{"key":"6_CR13","unstructured":"Gr\u00f6nniger, H., Krahn, H., Pinkernell, C., Rumpe, B.: Modeling variants of automotive systems using views. In: K\u00fchne, T., Reisig, W., Steimann, F. (eds.) Tagungsband zur Modellierung 2008 (Berlin-Adlershof, Deutschland, 12\u201314. M\u00e4rz 2008). LNI, Gesellschaft f\u00fcr Informatik, Bonn (2008)"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Holt, N.E., Torkar, R., Briand, L.C., Hansen, K.: State-based testing: Industrial evaluation of the cost-effectiveness of round-trip path and sneak-path strategies. In: 23rd IEEE International Symposium on Software Reliability Engineering, ISSRE 2012, Dallas, TX, USA, November 27\u201330, pp. 321\u2013330. IEEE Computer Society (2012)","DOI":"10.1109\/ISSRE.2012.17"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis (FODA) Feasibility Study (1990)","DOI":"10.21236\/ADA235785"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Lackner, H., Thomas, M., Wartenberg, F., Wei\u00dfleder, S.: Model-based test design of product lines: raising test design to the product line level. In: ICST 2014: International Conference on Software Testing, Verification, and Validation, pp. 51\u201360. IEEE Computer Society (2014)","DOI":"10.1109\/ICST.2014.16"},{"issue":"2","key":"6_CR17","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1109\/TSE.2010.32","volume":"37","author":"S Mouchawrab","year":"2011","unstructured":"Mouchawrab, S., Briand, L.C., Labiche, Y., Di Penta, M.: Assessing, comparing, and combining state machine-based testing and structural testing: a series of experiments. IEEE Trans. Softw. Eng. 37(2), 161\u2013187 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"6_CR18","series-title":"Computational Analysis, Synthesis, and Design of Dynamic Systems","first-page":"339","volume-title":"Model-Based Testing for Embedded Systems","author":"S Oster","year":"2011","unstructured":"Oster, S., Wubbeke, A., Engels, G., Sch\u00fcrr, A.: A survey of model-based software product lines testing. In: Zander, J., Schieferdecker, I., Mosterman, P.J. (eds.) Model-Based Testing for Embedded Systems. Computational Analysis, Synthesis, and Design of Dynamic Systems, pp. 339\u2013384. CRC Press, Boca Raton (2011)"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Paradkar, A.: Case studies on fault detection effectiveness of model based test generation techniques. In: Proceedings of the 1st International Workshop on Advances in Model-based Testing, A-MOST 2005, pp. 1\u20137 (2005)","DOI":"10.1145\/1083274.1083286"},{"key":"6_CR20","unstructured":"Peleska, J.: RT-Tester Model-Based Test Case and Test Data Generator: User Manual: Version 9.0\u20131.0.0 (2013)"},{"key":"6_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles and Techniques","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, Heidelberg (2005)"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Siami Namin, A., Andrews, J.H., Murdoch, D.J.: Sufficient mutation operators for measuring test effectiveness. In: Proceedings of the 30th International Conference on Software Engineering, ICSE 2008, pp. 351\u2013360 (2008)","DOI":"10.1145\/1368088.1368136"},{"issue":"11","key":"6_CR23","doi-asserted-by":"publisher","first-page":"1819","DOI":"10.1016\/j.jss.2009.06.031","volume":"82","author":"BH Smith","year":"2009","unstructured":"Smith, B.H., Williams, L.: Should software testers use mutation analysis to augment a test set? J. Syst. Softw. 82(11), 1819\u20131832 (2009)","journal-title":"J. Syst. Softw."},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Wei\u00dfleder, S., Schlingloff, H.: An evaluation of model-based testing in embedded applications. In: ICST 2014: International Conference on Software Testing, Verification, and Validation. IEEE Computer Society (2014)","DOI":"10.1109\/ICST.2014.35"},{"key":"6_CR25","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M Utting","year":"2006","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach, 1st edn. Morgan Kaufmann Publishers Inc., San Francisco (2006)","edition":"1"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Wei\u00dfleder, S.: Simulated satisfaction of coverage criteria on UML state machines. In: ICST - 3rd International Conference on Software Testing, Verification and Validation (2010)","DOI":"10.1109\/ICST.2010.28"},{"key":"6_CR27","unstructured":"Wei\u00dfleder, S.: ParTeG (Partition Test Generator) (2009)"},{"key":"6_CR28","series-title":"Computational Analysis, Synthesis, and Design of Dynamic Systems","volume-title":"Model-Based Testing for Embedded Systems","author":"S Wei\u00dfleder","year":"2011","unstructured":"Wei\u00dfleder, S., Schlingloff, H.: Automatic model-based test generation from UML state machines. In: Zander, J., Schieferdecker, I., Mosterman, P.J. (eds.) Model-Based Testing for Embedded Systems. Computational Analysis, Synthesis, and Design of Dynamic Systems. CRC Press, Boca Raton (2011)"},{"key":"6_CR29","series-title":"Computational Analysis, Synthesis, and Design of Dynamic Systems","volume-title":"Model-based testing for embedded systems","author":"J Zander","year":"2011","unstructured":"Zander, J., Schieferdecker, I., Mosterman, P.J.: A taxonomy of model-based testing for embedded systems from multiple industry domains. In: Zander, J., Schieferdecker, I., Mosterman, P.J. (eds.) Model-based testing for embedded systems. Computational Analysis, Synthesis, and Design of Dynamic Systems. CRC Press, Boca Raton (2011)"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25945-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,18]],"date-time":"2019-12-18T03:24:37Z","timestamp":1576639477000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25945-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319259444","9783319259451"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25945-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"8 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}