{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T21:05:36Z","timestamp":1776373536530,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662466742","type":"print"},{"value":"9783662466759","type":"electronic"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46675-9_6","type":"book-chapter","created":{"date-parts":[[2015,3,31]],"date-time":"2015-03-31T20:24:38Z","timestamp":1427833478000},"page":"84-99","source":"Crossref","is-referenced-by-count":28,"title":["Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines"],"prefix":"10.1007","author":[{"given":"Johannes","family":"B\u00fcrdek","sequence":"first","affiliation":[]},{"given":"Malte","family":"Lochau","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Bauregger","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Holzer","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"von Rhein","sequence":"additional","affiliation":[]},{"given":"Sven","family":"Apel","sequence":"additional","affiliation":[]},{"given":"Dirk","family":"Beyer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Apel, S., Batory, D., K\u00e4stner, C., Saake, G.: Feature-Oriented Software Product Lines. Springer (2013)","DOI":"10.1007\/978-3-642-37521-7"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-319-03077-7_18","volume-title":"Hardware and Software: Verification and Testing","author":"S. Apel","year":"2013","unstructured":"Apel, S., Beyer, D., Friedberger, K., Raimondi, F., von Rhein, A.: Domain Types: Abstract-Domain Selection Based on Variable Usage. In: Bertacco, V., Legay, A. (eds.) HVC 2013. LNCS, vol.\u00a08244, pp. 262\u2013278. Springer, Heidelberg (2013)"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Apel, S., Rhein, A.: v., Wendler, P., Gr\u00f6sslinger, A., Beyer, D.: Strategies for Product-Line Verification: Case Studies and Experiments. In: ICSE, pp. 482\u2013491. IEEE Press (2013)","DOI":"10.1109\/ICSE.2013.6606594"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-642-21461-5_3","volume-title":"Formal Techniques for Distributed Systems","author":"P. Asirelli","year":"2011","unstructured":"Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: A Model-Checking Tool for Families of Services. In: Bruni, R., Dingel, J. (eds.) FORTE and FMOODS 2011. LNCS, vol.\u00a06722, pp. 44\u201358. Springer, Heidelberg (2011)"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/11554844_3","volume-title":"Software Product Lines","author":"D. Batory","year":"2005","unstructured":"Batory, D.: Feature Models, Grammars, and Propositional Formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol.\u00a03714, pp. 7\u201320. Springer, Heidelberg (2005)"},{"issue":"5-6","key":"6_CR6","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/s10009-007-0044-z","volume":"9","author":"D. Beyer","year":"2007","unstructured":"Beyer, D., Henzinger, T.A., Jhala, R., Majumdar, R.: The software model checker Blast. Int. J. Softw. Tools Technol. Transfer\u00a09(5-6), 505\u2013525 (2007)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Beyer, D., Chlipala, A.J., Henzinger, T.A., Jhala, R., Majumdar, R.: Generating Tests from Counterexamples. In: ICSE, pp. 326\u2013335. IEEE Press (2004)","DOI":"10.1109\/ICSE.2004.1317455"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1007\/978-3-642-37036-6_26","volume-title":"Programming Languages and Systems","author":"D. Beyer","year":"2013","unstructured":"Beyer, D., Holzer, A., Tautschnig, M., Veith, H.: Information Reuse for Multi-goal Reachability Analyses. In: Felleisen, M., Gardner, P. (eds.) ESOP 2013. LNCS, vol.\u00a07792, pp. 472\u2013491. Springer, Heidelberg (2013)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-642-22110-1_16","volume-title":"Computer Aided Verification","author":"D. Beyer","year":"2011","unstructured":"Beyer, D., Keremoglu, M.E.: CPAchecker: A Tool for Configurable Software Verification. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 184\u2013190. Springer, Heidelberg (2011)"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Beyer, D., L\u00f6we, S., Novikov, E., Stahlbauer, A., Wendler, P.: Precision Reuse for Efficient Regression Verification. In: ESEC\/FSE 2013, pp. 389\u2013399. ACM (2013)","DOI":"10.1145\/2491411.2491429"},{"issue":"7","key":"6_CR11","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1049\/sej.1994.0025","volume":"9","author":"J.J. Chilenski","year":"1994","unstructured":"Chilenski, J.J., Miller, S.P.: Applicability of Modified Condition\/Decision Coverage to Software Testing. Software Engineering Journal\u00a09(7), 193\u2013200 (1994)","journal-title":"Software Engineering Journal"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-642-24485-8_31","volume-title":"Model Driven Engineering Languages and Systems","author":"H. Cichos","year":"2011","unstructured":"Cichos, H., Oster, S., Lochau, M., Sch\u00fcrr, A.: Model-Based Coverage-Driven Test Suite Generation for Software Product Lines. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol.\u00a06981, pp. 425\u2013439. Springer, Heidelberg (2011)"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/10722167_15","volume-title":"Computer Aided Verification","author":"E. Clarke","year":"2000","unstructured":"Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-Guided Abstraction Refinement. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 154\u2013169. Springer, Heidelberg (2000)"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Classen, A., Heymans, P., Schobbens, P.-Y., Legay, A.: Symbolic Model Checking of Software Product Lines. In: ICSE, pp. 321\u2013330. ACM (2011)","DOI":"10.1145\/1985793.1985838"},{"key":"6_CR15","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley (2001)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Cordy, M., Classen, A., Schobbens, P.Y., Heymans, P., Legay, A.: Simulation-Based Abstractions for Software Product-Line Model Checking. In: ICSE, pp. 672\u2013682. IEEE (2012)","DOI":"10.1109\/ICSE.2012.6227150"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Engstr\u00f6m, E.: Exploring Regression Testing and Software Product Line Testing - Research and State of Practice. Lic dissertation, Lund University (May 2010)","DOI":"10.1109\/ICST.2010.45"},{"key":"6_CR18","first-page":"41","volume":"12","author":"R.J. Hall","year":"2005","unstructured":"Hall, R.J.: Fundamental Nonmodularity in Electronic Mail. ASE\u00a012, 41\u201379 (2005)","journal-title":"ASE"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"C., K., P., G., T., R., S., E., K., O., T., B.: Variability-Aware Parsing in the Presence of Lexical Macros and Conditional Compilation. In: OOPSLA, pp. 805\u2013824. ACM (2011)","DOI":"10.1145\/2076021.2048128"},{"key":"6_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1049\/ip-e.1983.0001","volume":"130","author":"J. Kramer","year":"1983","unstructured":"Kramer, J., Magee, J., Sloman, M., Lister, A.: CONIC: An Integrated Approach to Distributed Computer Control Systems. Computers and Digital Techniques\u00a0130, 1\u201320 (1983)","journal-title":"Computers and Digital Techniques"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Li, H.C., Krishnamurthi, S., Fisler, K.: Interfaces for Modular Feature Verification. In: ASE 2002, pp. 195\u2013204. IEEE (2002)","DOI":"10.1109\/ASE.2002.1115013"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/978-3-662-45234-9_23","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"M. Lochau","year":"2014","unstructured":"Lochau, M., Mennicke, S., Baller, H., Ribbeck, L.: DeltaCCS: A Core Calculus for Behavioral Change. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol.\u00a08802, pp. 320\u2013335. Springer, Heidelberg (2014)"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-642-30473-6_7","volume-title":"Tests and Proofs","author":"M. Lochau","year":"2012","unstructured":"Lochau, M., Schaefer, I., Kamischke, J., Lity, S.: Incremental Model-Based Testing of Delta-Oriented Software Product Lines. In: Brucker, A.D., Julliand, J. (eds.) TAP 2012. LNCS, vol.\u00a07305, pp. 67\u201382. Springer, Heidelberg (2012)"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"McGregor, J.D.: Testing a Software Product Line. Tech. Rep. CMU\/SEI-2001-TR-022, Software Engineering Inst (2001)","DOI":"10.21236\/ADA401736"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Post, H., Sinz, C.: Configuration Lifting: Verification Meets Software Configuration. In: ASE, pp. 347\u2013350. IEEE (2008)","DOI":"10.1109\/ASE.2008.45"},{"issue":"2","key":"6_CR26","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1109\/MC.2011.47","volume":"44","author":"I. Schaefer","year":"2011","unstructured":"Schaefer, I., H\u00e4hnle, R.: Formal Methods in Software Product Line Engineering. Computer\u00a044(2), 82\u201385 (2011)","journal-title":"Computer"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Th\u00fcm, T., Apel, S., K\u00e4stner, C., Schaefer, I., Saake, G.: A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Comput. Surv. 47(1), 6:1\u20136:45 (2014)","DOI":"10.1145\/2580950"},{"key":"6_CR28","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann (2007)"},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"Weiss, D.M.: The Product Line Hall of Fame. In: SPLC, p. 395. IEEE (2008)","DOI":"10.1109\/SPLC.2008.56"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46675-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T19:47:41Z","timestamp":1747856861000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46675-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662466742","9783662466759"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46675-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}