{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T04:19:15Z","timestamp":1744258755830,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340253"},{"type":"electronic","value":"9783642340260"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34026-0_34","type":"book-chapter","created":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T01:07:20Z","timestamp":1348621640000},"page":"458-473","source":"Crossref","is-referenced-by-count":5,"title":["Test-Case Design by Feature Trees"],"prefix":"10.1007","author":[{"given":"Takashi","family":"Kitamura","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ngoc Thi Bich","family":"Do","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hitoshi","family":"Ohsaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ling","family":"Fang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shunsuke","family":"Yatabe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"34_CR1","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)"},{"doi-asserted-by":"crossref","unstructured":"Benavides, D., Cortes, A.R., Trinidad, P., Segura, S.: A survey on the automated analyses of feature models. In: XV Jornadas de Ingenieria del Software y Bases de Datos (2006)","key":"34_CR2","DOI":"10.1007\/11877028_16"},{"key":"34_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/11431855_34","volume-title":"Advanced Information Systems Engineering","author":"D. Benavides","year":"2005","unstructured":"Benavides, D., Trinidad, P., Ruiz-Cort\u00e9s, A.: Automated Reasoning on Feature Models. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 491\u2013503. Springer, Heidelberg (2005)"},{"unstructured":"Cao, F., Bryant, B.R., Burt, C.C., Huang, Z., Raje, R.R., Olson, A.M., Auguston, M.: Automating feature-oriented domain analysis. In: Software Engineering Research and Practice, pp. 944\u2013949 (2003)","key":"34_CR4"},{"doi-asserted-by":"crossref","unstructured":"Chen, T.Y., Poon, P.L., Tse, T.H.: An integrated classification-tree methodology for test case generation. International Journal of Software Engineering and Knowledge Engineering, 647\u2013679 (2000)","key":"34_CR5","DOI":"10.1142\/S0218194000000353"},{"key":"34_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","volume-title":"Theory and Applications of Satisfiability Testing","author":"N. E\u00e9n","year":"2004","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: An Extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol.\u00a02919, pp. 502\u2013518. Springer, Heidelberg (2004)"},{"unstructured":"Ericson, C.: Fault tree analysis - a history. In: The 17th International Systems Safety Conference (1999)","key":"34_CR7"},{"key":"34_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1144","DOI":"10.1007\/11893004_145","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"S. Fan","year":"2006","unstructured":"Fan, S., Zhang, N.: Feature Model Based on Description Logics. In: Gabrys, B., Howlett, R.J., Jain, L.C. (eds.) KES 2006. LNCS (LNAI), vol.\u00a04252, pp. 1144\u20131151. Springer, Heidelberg (2006)"},{"unstructured":"Grochtmann, M.: Test case design using classification trees. In: The International Conference on Software Testing Analysis (1994)","key":"34_CR9"},{"unstructured":"Grochtmann, M., Grimm, K., Wegener, J., Grochtmann, M.: Tool-supported test case design for black-box testing by means of the classification-tree editor. In: The 1st European International Conference on Software Testing Analysis, pp. 169\u2013176 (1993)","key":"34_CR10"},{"unstructured":"Grochtmann, M., Wegener, J.: Test case design using classification trees and the classification-tree editor cte. In: QW (1995)","key":"34_CR11"},{"issue":"2","key":"34_CR12","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1006\/jcss.2000.1727","volume":"62","author":"R. Impagliazzo","year":"2001","unstructured":"Impagliazzo, R., Paturi, R.: On the complexity of k-SAT. Comput. Syst. Sci.\u00a062(2), 367\u2013375 (2001)","journal-title":"Comput. Syst. Sci."},{"unstructured":"Janota, M.: Do SAT solvers make good configurators? In: ASPL, pp. 191\u2013195 (2008)","key":"34_CR13"},{"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 (November 1990)","key":"34_CR14","DOI":"10.21236\/ADA235785"},{"key":"34_CR15","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1023\/A:1018980625587","volume":"5","author":"K.C. Kang","year":"1998","unstructured":"Kang, K.C., Kim, S., Lee, J., Kim, K.: FORM: a feature-oriented reuse method, annals of software engineering. Annals of Software Engineering\u00a05, 143\u2013168 (1998)","journal-title":"Annals of Software Engineering"},{"key":"34_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/3-540-45652-X_11","volume-title":"Software Product Lines","author":"M. Mannion","year":"2002","unstructured":"Mannion, M.: Using First-Order Logic for Product Line Model Validation. In: Chastek, G.J. (ed.) SPLC 2002. LNCS, vol.\u00a02379, pp. 176\u2013187. Springer, Heidelberg (2002)"},{"unstructured":"Mendonca, M., Wsowski, A., Czarnecki, K.: SAT-based analysis of feature models is easy. In: SPLC, pp. 231\u2013240 (2009)","key":"34_CR17"},{"unstructured":"OSEK\/VDX operating system specification 2.2.3 (2005), http:\/\/www.osek-vdx.org\/","key":"34_CR18"},{"unstructured":"OSEK\/VDX operating system test plan, version 2.0 (1999)","key":"34_CR19"},{"issue":"2","key":"34_CR20","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1016\/j.comnet.2006.08.008","volume":"51","author":"P. Schobbens","year":"2007","unstructured":"Schobbens, P., Heymans, P., Trigaux, J., Bontemps, Y.: Generic semantics of feature diagrams. Computer Networks\u00a051(2), 456\u2013479 (2007)","journal-title":"Computer Networks"},{"doi-asserted-by":"crossref","unstructured":"Schobbens, P., Heymans, P., Trigaux, J.C.: Feature diagrams: A survey and a formal semantics. In: RE, pp. 139\u2013148 (2006)","key":"34_CR21","DOI":"10.1109\/RE.2006.23"},{"doi-asserted-by":"crossref","unstructured":"Sun, J., Zhang, H., Li, Y.F., Wang, H.H.: Formal semantics and verification for feature modeling. In: ICECCS, pp. 303\u2013312 (2005)","key":"34_CR22","DOI":"10.1109\/ICECCS.2005.48"},{"key":"34_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/978-3-642-21347-2_2","volume-title":"Top Productivity through Software Reuse","author":"W. Zhang","year":"2011","unstructured":"Zhang, W., Zhao, H., Mei, H.: Binary-Search Based Verification of Feature Models. In: Schmid, K. (ed.) ICSR 2011. LNCS, vol.\u00a06727, pp. 4\u201319. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34026-0_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T13:25:05Z","timestamp":1744205105000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34026-0_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340253","9783642340260"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34026-0_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}