{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T20:45:58Z","timestamp":1760820358738,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642244841"},{"type":"electronic","value":"9783642244858"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24485-8_31","type":"book-chapter","created":{"date-parts":[[2011,10,10]],"date-time":"2011-10-10T15:59:05Z","timestamp":1318262345000},"page":"425-439","source":"Crossref","is-referenced-by-count":32,"title":["Model-Based Coverage-Driven Test Suite Generation for Software Product Lines"],"prefix":"10.1007","author":[{"given":"Harald","family":"Cichos","sequence":"first","affiliation":[]},{"given":"Sebastian","family":"Oster","sequence":"additional","affiliation":[]},{"given":"Malte","family":"Lochau","sequence":"additional","affiliation":[]},{"given":"Andy","family":"Sch\u00fcrr","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","doi-asserted-by":"crossref","unstructured":"Oster, S., W\u00fcbbeke, A., Engels, G., Sch\u00fcrr, A.: Model-Based Software Product Lines Testing Survey. In: Zander, J., Schieferdecker, I., Mosterman, P. (eds.) Model-based Testing for Embedded Systems. CRC Press\/Taylor&Francis (2011)","DOI":"10.1201\/b11321-14"},{"key":"31_CR2","unstructured":"ISO: ISO - International Organization for Standardization. Website (2011), http:\/\/www.iso.org\/iso\/ (visited on May 2, 2011)"},{"key":"31_CR3","unstructured":"Scheidemann, K.: Verifying Families of System Configurations. PhD thesis, TU Munich (2007)"},{"key":"31_CR4","doi-asserted-by":"crossref","unstructured":"Engstr\u00f6m, E., Skoglund, M., Runeson, P.: Empirical evaluations of regression test selection techniques. In: Rombach, H.D., Elbaum, S.G., M\u00fcnch, J. (eds.) Proc. of ESEM 2008, pp. 22\u201331 (2008)","DOI":"10.1145\/1414004.1414011"},{"key":"31_CR5","unstructured":"Gr\u00f6nniger, H., Krahn, H., Pinkernell, C., Rumpe, B.: Modeling Variants of Automotive Systems using Views. In: Modellierung (2008)"},{"key":"31_CR6","first-page":"165","volume-title":"Proc. of the ICAS 2008","author":"T.K. Jain","year":"2008","unstructured":"Jain, T.K., Kushwaha, D.S., Misra, A.K.: Optimization of the Quine-McCluskey Method for the Minimization of the Boolean Expressions. In: Proc. of the ICAS 2008, pp. 165\u2013168. IEEE, Los Alamitos (2008)"},{"key":"31_CR7","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. Technical report, Carnegie-Mellon University Software Engineering Institute (1990)","DOI":"10.21236\/ADA235785"},{"key":"31_CR8","unstructured":"Souza, S., Maldonado, J., Fabbri, S., Masiero, P.: Statecharts Specifications: A Family of Coverage Testing Criteria. In: CLEI 2000 (2000)"},{"key":"31_CR9","unstructured":"Haschemi, S.: Azmun - The Model-Based Testing Framework. Website (2011), http:\/\/www.azmun.de (visited on May 2, 2011)"},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"Cichos, H., Oster, S., Lochau, M., Sch\u00fcrr, A.: Extended Version of Model-based Coverage-Driven Test Suite Generation for Software Product Lines. Technical Report\u00a007, TU Braunschweig (2011)","DOI":"10.1007\/978-3-642-24485-8_31"},{"key":"31_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-642-21210-9_24","volume-title":"Models in Software Engineering","author":"H. Cichos","year":"2011","unstructured":"Cichos, H., Heinze, T.S.: Efficient Test Suite Reduction by Merging Pairs of Suitable Test Cases. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol.\u00a06627, pp. 244\u2013258. Springer, Heidelberg (2011)"},{"key":"31_CR12","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1002\/stvr.402","volume":"19","author":"G. Fraser","year":"2009","unstructured":"Fraser, G., Wotawa, F., Ammann, P.: Testing with Model Checkers: A Survey. Software Testing, Verification and Reliability\u00a019, 215\u2013261 (2009)","journal-title":"Software Testing, Verification and Reliability"},{"key":"31_CR13","unstructured":"Olimpiew, E.M.: Model-Based Testing for Software Product Lines. PhD thesis, George Mason University (2008)"},{"key":"31_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/11431855_36","volume-title":"Advanced Information Systems Engineering","author":"A. Reuys","year":"2005","unstructured":"Reuys, A., Kamsties, E., Pohl, K., Reis, S.: Model-Based System Testing of Software Product Families. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 519\u2013534. Springer, Heidelberg (2005)"},{"key":"31_CR15","unstructured":"Hartmann, J., Vieira, M., Ruder, A.: A UML-based Approach for Validating Product Lines. In: Geppert, B., Krueger, C. (eds.) Proc. of the SPLiT 2004, pp. 58\u201365 (2004)"},{"key":"31_CR16","unstructured":"Wei\u00dfleder, S., Sokenou, D., Schlingloff, H.: Reusing State Machines for Automatic Test Generation in ProductLines. In: Proc. of the MoTiP 2008 (2008)"},{"key":"31_CR17","unstructured":"Pure-Systems: pure-systems GmBH. Website (2011), http:\/\/www.pure-systems.com (visited on May 2, 2011)"},{"key":"31_CR18","first-page":"57","volume-title":"Proc. of the AOSD 2011","author":"C.H.P. Kim","year":"2011","unstructured":"Kim, C.H.P., Batory, D.S., Khurshid, S.: Reducing Combinatorics in Testing Product Lines. In: Proc. of the AOSD 2011, pp. 57\u201368. ACM, New York (2011)"},{"key":"31_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-642-15579-6_14","volume-title":"Software Product Lines: Going Beyond","author":"S. Oster","year":"2010","unstructured":"Oster, S., Markert, F., Ritter, P.: Automated Incremental Pairwise Testing of Software Product Lines. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol.\u00a06287, pp. 196\u2013210. Springer, Heidelberg (2010)"},{"key":"31_CR20","doi-asserted-by":"crossref","unstructured":"Perrouin, G., Sen, S., Klein, J., Traon, B.B.Y.L.: Automated and Scalable T-wise Test Case Generation Strategies forSoftware Product Lines. In: ICST 2010, pp. 459\u2013468 (2010)","DOI":"10.1109\/ICST.2010.43"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24485-8_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,17]],"date-time":"2019-06-17T04:32:57Z","timestamp":1560745977000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24485-8_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642244841","9783642244858"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24485-8_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}