{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:55:07Z","timestamp":1725566107649},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642154041"},{"type":"electronic","value":"9783642154058"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15405-8_17","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T05:50:40Z","timestamp":1284616240000},"page":"207-219","source":"Crossref","is-referenced-by-count":0,"title":["Components Based Testing Using Optimization AOP"],"prefix":"10.1007","author":[{"given":"Haeng-Kon","family":"Kim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roger Y.","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Bachmann, F., Bass, L., Chastek, G., Donohoe, P., Peruzzi, F.: The architecture Based Design Method. CMU\/SEI-2000-TR-0001. Carnegie Mellon University, Software Engineering Institute (2000)","DOI":"10.21236\/ADA375851"},{"key":"17_CR2","volume-title":"Design and use of software architectures. Adopting and evolving a product line approach","author":"J. Bosch","year":"2000","unstructured":"Bosch, J.: Design and use of software architectures. Adopting and evolving a product line approach. Addison-Wesley, Harlow (2000)"},{"key":"17_CR3","volume-title":"Quality Function Deployment: how to make QFD work for you","author":"L. Cohen","year":"1995","unstructured":"Cohen, L.: Quality Function Deployment: how to make QFD work for you. Addison Wesley, Reading (1995)"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"DeBaud, J.M., Schmid, K.: A Systematic Approach to Derive the Scope of Software Product Lines. In: Proceedings of Int. Conf. On Software Engineering, ICSE 1999, Los Angeles, CA, May 1999, pp. 34\u201343 (1999)","DOI":"10.1145\/302405.302409"},{"key":"17_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/978-3-540-32262-7_7","volume-title":"Formal Concept Analysis","author":"G. Arevalo","year":"2005","unstructured":"Arevalo, G., Ducasse, S., Nierstrasz, O.: Lessons Learned in Applying Formal Concept Analysis. In: Ganter, B., Godin, R. (eds.) ICFCA 2005. LNCS (LNAI), vol.\u00a03403, pp. 95\u2013112. Springer, Heidelberg (2005)"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/978-3-540-39800-4_7","volume-title":"Formal Methods for Software Architectures","author":"A. Bertolino","year":"2003","unstructured":"Bertolino, A., Inverardi, P., Muccini, H.: Formal Methods in Testing Software Architectures. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 122\u2013147. Springer, Heidelberg (2003)"},{"key":"17_CR7","volume-title":"Testing Object-Oriented Systems-Components, Patterns, and Tools, Object Technology","author":"R.V. Binder","year":"1999","unstructured":"Binder, R.V.: Testing Object-Oriented Systems-Components, Patterns, and Tools, Object Technology. Addison-Wesley, Reading (1999)"},{"issue":"4","key":"17_CR8","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/s10270-005-0090-5","volume":"4","author":"L.C. Briand","year":"2005","unstructured":"Briand, L.C., Labiche, Y., Cui, J.: Automated support for deriving test requirements from UML statecharts. Software and Systems Componenting\u00a04(4), 399\u2013423 (2005)","journal-title":"Software and Systems Componenting"},{"key":"17_CR9","volume-title":"Testing embedded software","author":"B. Broekman","year":"2003","unstructured":"Broekman, B., Notenboom, E.: Testing embedded software. Addison-Wesley, Reading (2003)"},{"key":"17_CR10","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/S0950-5849(98)00050-0","volume":"40","author":"T.Y. Chen","year":"1998","unstructured":"Chen, T.Y., Lau, M.F.: A New Heuristic for Test Suite Reduction. Information and Software Technology\u00a040, 347\u2013354 (1998)","journal-title":"Information and Software Technology"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Chevalley, P., Thevenod-Fosse, P.: Automated generation of statistical test cases from UML state diagrams. In: 25th Annual International Computer Software and Applications Conference, COMPSAC 2001, October 8-12, pp. 205\u2013214 (2001)","DOI":"10.1109\/CMPSAC.2001.960618"}],"container-title":["Studies in Computational Intelligence","Computer and Information Science 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15405-8_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:07:32Z","timestamp":1606187252000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15405-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642154041","9783642154058"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15405-8_17","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2010]]}}}