{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T04:10:24Z","timestamp":1743221424248,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642299575"},{"type":"electronic","value":"9783642299582"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29958-2_18","type":"book-chapter","created":{"date-parts":[[2012,5,20]],"date-time":"2012-05-20T13:19:58Z","timestamp":1337519998000},"page":"270-283","source":"Crossref","is-referenced-by-count":0,"title":["Model Based Testing in Software Product Lines"],"prefix":"10.1007","author":[{"given":"Pedro","family":"Reales","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Macario","family":"Polo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Danilo","family":"Caivano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Clements, P., Northrop, L.: Salion, inc.: A software product line case study. Technical report, DTIC Research Report ADA412311 (2002)","DOI":"10.21236\/ADA412311"},{"key":"18_CR2","first-page":"126","volume-title":"Conference on Object Oriented Programming Systems Languages and Applications","author":"K. Czarnecki","year":"2005","unstructured":"Czarnecki, K., Antkiewicz, M., Kim, C.H.P., Lau, S., Pietroszek, K.: Model-driven software product lines. In: Conference on Object Oriented Programming Systems Languages and Applications, pp. 126\u2013127. ACM, New York (2005)"},{"key":"18_CR3","unstructured":"Nebut, C., Pickin, S., Le Traon, Y., Jezequel, J.: Automated requirements-based generation of test cases for product families. In: Proceedings of the 18th IEEE International Conference on Automated Software Engineering, pp. 263\u2013266 (2003)"},{"key":"18_CR4","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-540-24667-1_14","volume-title":"Software Product-Family Engineering","author":"A. Bertolino","year":"2004","unstructured":"Bertolino, A., Gnesi, S., di Pisa, A.: PLUTO: A Test Methodology for Product Families. In: van der Linden, F.J. (ed.) PFE 2003. LNCS, vol.\u00a03014, pp. 181\u2013197. Springer, Heidelberg (2004)"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Kang, S., Lee, J., Kim, M., Lee, W.: Towards a formal framework for product line test development. In: 7th IEEE International Conference on Computer and Information Technology, CIT 2007, pp. 921\u2013926 (2007)","DOI":"10.1109\/CIT.2007.40"},{"key":"18_CR6","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":"18_CR7","unstructured":"Olimpiew, E., Gomaa, H.: Customizable requirements-based test models for software product lines. In: International Workshop on Software Product Line Testing (2006)"},{"key":"18_CR8","unstructured":"Baresi, L., Young, M.: Test oracles. Technical Report Technical Report CIS-TR01 -02, Dept. of Computer and Information Science, Univ. of Oregon (2001)"},{"key":"18_CR9","first-page":"85","volume-title":"International Conference on Software Engineering","author":"A. Bertolino","year":"2007","unstructured":"Bertolino, A.: Software testing research: Achievements, challenges, dreams. In: International Conference on Software Engineering, pp. 85\u2013103. IEEE Computer Society, Washington, DC (2007)"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Offutt, A.J., Liu, S., Abdurazik, A., Amman, P.: Generating test data from state-based specifications. Software Testing, Verification and Reliability, 25\u201353 (2003)","DOI":"10.1002\/stvr.264"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Jin, H., Wang, Y., Chen, N., Gou, Z., Wang, S.: Artificial neural network for automatic test oracles generation. In: International Conference on Computer Science and Software Engineering, vol.\u00a02 (2008)","DOI":"10.1109\/CSSE.2008.774"},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1109\/COMPSAC.2006.24","volume-title":"Proceedings of the 30th Annual International Computer Software and Applications Conference (COMPSAC 2006)","author":"J. Mayer","year":"2006","unstructured":"Mayer, J., Guderlei, R.: An empirical study on the selection of good metamorphic relations. In: Proceedings of the 30th Annual International Computer Software and Applications Conference (COMPSAC 2006), vol.\u00a001, pp. 475\u2013484. IEEE Computer Society, Washington, DC (2006)"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Pohl, K., Backle, G., Van Der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer (2005)","DOI":"10.1007\/3-540-28901-1"},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1002\/stvr.348","volume":"17","author":"M. Polo","year":"2007","unstructured":"Polo, M., Piattini, M., Tendero, S.: Integrating techniques and tools for testing automation. Software Testing, Verification and Reliability\u00a017, 3\u201339 (2007)","journal-title":"Software Testing, Verification and Reliability"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Baxter, I.D., Yahin, A., Moura, L., Sant\u2019Anna, M., Bier, L.: Clone detection using abstract syntax trees. In: International Conference on Software Maintenance, pp. 368\u2013377 (1998)","DOI":"10.1109\/ICSM.1998.738528"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Khatchadourian, R., Sawin, J., Rountev, A.: Automated refactoring of legacy java software to enumerated types. In: International Conference on Software Maintenance (ICSM 2007), Paris, France, pp. 224\u2013233 (2007)","DOI":"10.1109\/ICSM.2007.4362635"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29958-2_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T10:20:48Z","timestamp":1743157248000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29958-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642299575","9783642299582"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29958-2_18","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2012]]}}}