{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:56:46Z","timestamp":1725890206238},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642241239"},{"type":"electronic","value":"9783642241246"}],"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-24124-6_9","type":"book-chapter","created":{"date-parts":[[2011,9,24]],"date-time":"2011-09-24T01:31:37Z","timestamp":1316827897000},"page":"100-105","source":"Crossref","is-referenced-by-count":2,"title":["Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem"],"prefix":"10.1007","author":[{"given":"Maurice H.","family":"ter Beek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henry","family":"Muccini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Proceedings SPLC 2011","author":"P. Asirelli","year":"2011","unstructured":"Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: Formal description of variability in product families. In: SPLC 2011. Springer, Heidelberg (to appear, 2011)"},{"key":"9_CR2","first-page":"25","volume-title":"Proceedings PLEASE 2011","author":"P. Asirelli","year":"2011","unstructured":"Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: Design and validation of variability in product lines. In: Proceedings PLEASE 2011, pp. 25\u201330. ACM, New York (2011)"},{"key":"9_CR3","first-page":"321","volume-title":"Proceedings ICSE 2011","author":"A. Classen","year":"2011","unstructured":"Classen, A., Heymans, P., Schobbens, P.-Y., Legay, A.: Symbolic model checking of software product lines. In: Proceedings ICSE 2011, pp. 321\u2013330. ACM, New York (2011)"},{"key":"9_CR4","first-page":"335","volume-title":"Proceedings ICSE 2010","author":"A. Classen","year":"2010","unstructured":"Classen, A., Heymans, P., Schobbens, P.-Y., Legay, A., Raskin, J.-F.: Model checking lots of systems: efficient verification of temporal properties in software product lines. In: Proceedings ICSE 2010, pp. 335\u2013344. ACM, New York (2010)"},{"key":"9_CR5","unstructured":"da\u00a0Mota Silveira\u00a0Neto, P.A.: A Regression Testing Approach for Software Product Lines Architectures: Selecting an efficient and effective set of test cases. LAP (2010)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"da Mota Silveira Neto, P.A., do Carmo Machado, I., McGregor, J.D., de Almeida, E.S., de Lemos Meira, S.R.: A systematic mapping study of software product lines testing. Inf. Softw. Technol.\u00a053(5), 407\u2013423 (2011)","DOI":"10.1016\/j.infsof.2010.12.003"},{"key":"9_CR7","first-page":"475","volume-title":"Proceedings ASE 2008","author":"N. D\u2019Ippolito","year":"2008","unstructured":"D\u2019Ippolito, N., Fischbein, D., Chechik, M., Uchitel, S.: MTSA: The modal transition system analyser. In: Proceedings ASE 2008, pp. 475\u2013476. IEEE, Los Alamitos (2008)"},{"issue":"3","key":"9_CR8","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s10515-005-2641-y","volume":"12","author":"D. Giannakopoulou","year":"2005","unstructured":"Giannakopoulou, D., Pasareanu, C., Barringer, H.: Component verification with automatically generated assumptions. Autom. Softw. Eng.\u00a012(3), 297\u2013320 (2005)","journal-title":"Autom. Softw. Eng."},{"issue":"6","key":"9_CR9","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1049\/iet-sen:20080012","volume":"2","author":"D. Giannakopoulou","year":"2008","unstructured":"Giannakopoulou, D., Pasareanu, C., Blundell, C.: Assume-guarantee testing for software components. IET Softw.\u00a02(6), 547\u2013562 (2008)","journal-title":"IET Softw."},{"key":"9_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles, and Techniques","author":"K. Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Heidelberg (2005)"},{"key":"9_CR11","unstructured":"Th\u00fcm, T., Schaefer, I., Kuhlemann, M., Apel, S.: Proof composition for deductive verification of software product lines. In: Proceedings VAST 2011 (to appear, 2011)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Resilient Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24124-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,7]],"date-time":"2019-04-07T16:23:35Z","timestamp":1554654215000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24124-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642241239","9783642241246"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24124-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}