{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:13:16Z","timestamp":1725613996873},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642331756"},{"type":"electronic","value":"9783642331763"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33176-3_7","type":"book-chapter","created":{"date-parts":[[2012,9,12]],"date-time":"2012-09-12T08:53:23Z","timestamp":1347440003000},"page":"91-105","source":"Crossref","is-referenced-by-count":1,"title":["Assume-Guarantee Testing of Evolving Software Product Line Architectures"],"prefix":"10.1007","author":[{"given":"Maurice H.","family":"ter Beek","sequence":"first","affiliation":[]},{"given":"Henry","family":"Muccini","sequence":"additional","affiliation":[]},{"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley (2002)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer (2005)","DOI":"10.1007\/3-540-28901-1"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-642-24124-6_9","volume-title":"Software Engineering for Resilient Systems","author":"M.H. Beek ter","year":"2011","unstructured":"ter Beek, M.H., Muccini, H., Pelliccione, P.: Guaranteeing Correct Evolution of Software Product Lines: Setting up the Problem. In: Troubitsyna, E.A. (ed.) SERENE 2011. LNCS, vol.\u00a06968, pp. 100\u2013105. Springer, Heidelberg (2011)"},{"issue":"6","key":"7_CR4","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":"7_CR5","doi-asserted-by":"crossref","unstructured":"Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: Formal Description of Variability in Product Families. In: SPLC 2011 Conference Proceedings, pp. 130\u2013139. IEEE Press (2011)","DOI":"10.1109\/SPLC.2011.34"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: Design and Validation of Variability in Product Lines. In: PLEASE 2011 Workshop Proceedings, pp. 25\u201330. ACM Press (2011)","DOI":"10.1109\/SPLC.2011.34"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/978-3-642-32759-9_36","volume-title":"FM 2012","author":"M.H. Beek ter","year":"2012","unstructured":"ter Beek, M.H., Mazzanti, F., Sulova, A.: VMC: A Tool for Product Variability Analysis. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol.\u00a07436, pp. 450\u2013454. Springer, Heidelberg (2012)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Classen, A., Cordy, M., Heymans, P., Legay, A., Schobbens, P.Y.: Model Checking Software Product Lines with SNIP. To appear in Int. J. Softw. Tools Technol. Transfer (2012)","DOI":"10.1007\/s10009-012-0234-1"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y., Legay, A.: Symbolic model checking of software product lines. In: ICSE 2011 Conference Proceedings, pp. 321\u2013330. ACM Press (2011)","DOI":"10.1145\/1985793.1985838"},{"key":"7_CR10","doi-asserted-by":"crossref","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: ICSE 2010 Conference Proceedings, pp. 335\u2013344. ACM Press (2010)","DOI":"10.1145\/1806799.1806850"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Fischbein, D., Uchitel, S., Braberman, V.A.: A foundation for behavioural conformance in software product line architectures. In: ROSATEA 2006 Workshop Proceedings, pp. 39\u201348. ACM Press (2006)","DOI":"10.1145\/1147249.1147254"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Lauenroth, K., Pohl, K., Toehning, S.: Model Checking of Domain Artifacts in Product Line Engineering. In: ASE 2009 Conference Proceedings, pp. 269\u2013280. IEEE Press (2009)","DOI":"10.1109\/ASE.2009.16"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Perrouin, G., Oster, S., Sen, S., Klein, J., Baudry, B., le Traon, Y.: Pairwise Testing for Software Product Lines: Comparison of Two Approaches. To appear in Software Qual. J. (2012)","DOI":"10.1007\/s11219-011-9160-9"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/978-3-642-25271-6_10","volume-title":"FMCO 2010","author":"I. Schaefer","year":"2011","unstructured":"Schaefer, I., Gurov, D., Soleimanifard, S.: Compositional Algorithmic Verification of Software Product Lines. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol.\u00a06957, pp. 184\u2013203. Springer, Heidelberg (2011)"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Th\u00fcm, T., Schaefer, I., Kuhlemann, M., Apel, S.: Proof Composition for Deductive Verification of Software Product Lines. In: ICSTW 2011 Conference Proceedings, pp. 270\u2013277. IEEE Press (2011)","DOI":"10.1109\/ICSTW.2011.48"},{"key":"7_CR16","unstructured":"da Mota Silveira Neto, P.A.: A Regression Testing Approach for Software Product Lines Architectures: Selecting an efficient and effective set of test cases. LAP (2010)"},{"issue":"5","key":"7_CR17","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1016\/j.infsof.2010.12.003","volume":"53","author":"P.A. Mota Silveira Neto da","year":"2011","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)","journal-title":"Inf. Softw. Technol."},{"key":"7_CR18","unstructured":"Jones, C.B.: Development Methods for Computer Programs including a Notion of Interference. PhD thesis, Oxford University (1981)"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: In Transition from Global to Modular Temporal Reasoning about Programs. In: Logics and Models of Concurrent Systems, pp. 123\u2013144. Springer (1985)","DOI":"10.1007\/978-3-642-82453-1_5"},{"issue":"2","key":"7_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1348250.1348253","volume":"17","author":"J.M. Cobleigh","year":"2008","unstructured":"Cobleigh, J.M., Avrunin, G.S., Clarke, L.A.: Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning. ACM Trans. Softw. Eng. Methodol.\u00a017(2), 1\u201352 (2008)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Pelliccione, P., Tivoli, M.: Towards an assume-guarantee theory for adaptable systems. In: SEAMS 2009 Workshop Proceedings, pp. 106\u2013115 (2009)","DOI":"10.1109\/SEAMS.2009.5069079"},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-36577-X_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J.M. Cobleigh","year":"2003","unstructured":"Cobleigh, J.M., Giannakopoulou, D., P\u0103s\u0103reanu, C.S.: Learning Assumptions for Compositional Verification. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 331\u2013346. Springer, Heidelberg (2003)"},{"issue":"3","key":"7_CR23","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.S., Barringer, H.: Component Verification with Automatically Generated Assumptions. Autom. Softw. Eng.\u00a012(3), 297\u2013320 (2005)","journal-title":"Autom. Softw. Eng."},{"issue":"1","key":"7_CR24","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.infsof.2010.05.011","volume":"53","author":"E. Engstr\u00f6m","year":"2011","unstructured":"Engstr\u00f6m, E., Runeson, P.: Software product line testing: A systematic mapping study. Inf. Softw. Technol.\u00a053(1), 2\u201313 (2011)","journal-title":"Inf. Softw. Technol."},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Kim, C.H.P., Batory, D.S., Khurshid, S.: Reducing combinatorics in testing product lines. In: AOSD 2011 Conference Proceedings, pp. 57\u201368. ACM Press (2011)","DOI":"10.1145\/1960275.1960284"},{"key":"7_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-642-16612-9_22","volume-title":"Runtime Verification","author":"C.H.P. Kim","year":"2010","unstructured":"Kim, C.H.P., Bodden, E., Batory, D., Khurshid, S.: Reducing Configurations to Monitor in a Software Product Line. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Ro\u015fu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol.\u00a06418, pp. 285\u2013299. Springer, Heidelberg (2010)"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Cordy, M., Classen, A., Schobbens, P.Y., Heymans, P., Legay, A.: Managing evolution in software product lines: a model-checking perspective. In: VaMoS 2012 Workshop Proceedings, pp. 183\u2013191. ACM Press (2012)","DOI":"10.1145\/2110147.2110168"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Engstr\u00f6m, E.: Regression Test Selection and Product Line System Testing. In: ICST 2010 Conference Proceedings, pp. 512\u2013515. IEEE Press (2010)","DOI":"10.1109\/ICST.2010.45"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"D\u2019Ippolito, N., Fischbein, D., Chechik, M., Uchitel, S.: MTSA: The modal transition system analyser. In: ASE 2008 Conference Proceedings, pp. 475\u2013476. IEEE Press (2008)","DOI":"10.1109\/ASE.2008.78"}],"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-33176-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T09:56:40Z","timestamp":1557223000000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33176-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642331756","9783642331763"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33176-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}