{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T12:26:13Z","timestamp":1763641573093,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642304729"},{"type":"electronic","value":"9783642304736"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30473-6_7","type":"book-chapter","created":{"date-parts":[[2012,5,25]],"date-time":"2012-05-25T15:29:12Z","timestamp":1337959752000},"page":"67-82","source":"Crossref","is-referenced-by-count":58,"title":["Incremental Model-Based Testing of Delta-Oriented Software Product Lines"],"prefix":"10.1007","author":[{"given":"Malte","family":"Lochau","sequence":"first","affiliation":[]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[]},{"given":"Jochen","family":"Kamischke","sequence":"additional","affiliation":[]},{"given":"Sascha","family":"Lity","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Agrawal, H., Horgan, J.R., Krauser, E.W., London, S.A.: Incremental Regression Testing (1993)"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-642-21461-5_3","volume-title":"Formal Techniques for Distributed Systems","author":"P. Asirelli","year":"2011","unstructured":"Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: A Model-Checking Tool for Families of Services. In: Bruni, R., Dingel, J. (eds.) FORTE 2011 and FMOODS 2011. LNCS, vol.\u00a06722, pp. 44\u201358. Springer, Heidelberg (2011)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-18070-5_5","volume-title":"Formal Verification of Object-Oriented Software","author":"D. Bruns","year":"2011","unstructured":"Bruns, D., Klebanov, V., Schaefer, I.: Verification of Software Product Lines with Delta-Oriented Slicing. In: Beckert, B., March\u00e9, C. (eds.) FoVeOOS 2010. LNCS, vol.\u00a06528, pp. 61\u201375. Springer, Heidelberg (2011)"},{"issue":"1","key":"7_CR4","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/S1389-1286(02)00352-3","volume":"41","author":"M. Calder","year":"2003","unstructured":"Calder, M., Kolberg, M., Magill, E., Reiff-Marganiec, S.: Feature Interaction: A Critical Review and Considered Forecast. Computer Networks\u00a041(1), 115\u2013141 (2003)","journal-title":"Computer Networks"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-642-24485-8_31","volume-title":"Model Driven Engineering Languages and Systems","author":"H. Cichos","year":"2011","unstructured":"Cichos, H., Oster, S., Lochau, M., Sch\u00fcrr, A.: Model-Based Coverage-Driven Test Suite Generation for Software Product Lines. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol.\u00a06981, pp. 425\u2013439. Springer, Heidelberg (2011)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Clarke, D., Helvensteijn, M., Schaefer, I.: Abstract Delta Modeling. Mathematical Structures in Computer Science (2011) (to appear)","DOI":"10.1145\/1942788.1868298"},{"key":"7_CR7","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 (2010)","DOI":"10.1145\/1806799.1806850"},{"key":"7_CR8","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley Longman Publishing Co., Inc. (2001)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Cohen, M., Dwyer, M., Shi, J.: Interaction Testing of Highly-Configurable Systems in the Presence of Constraints. In: ISSTA, pp. 129\u2013139 (2007)","DOI":"10.1145\/1273463.1273482"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/BF00264365","volume":"24","author":"R. Nicola De","year":"1987","unstructured":"De Nicola, R.: Extensional Equivalence for Transition Systems. Acta Inf.\u00a024, 211\u2013237 (1987)","journal-title":"Acta Inf."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Engstr\u00f6m, E., Skoglund, M., Runeson, P.: Empirical Evaluations of Regression Rest Selection Techniques. In: Proc. of ESEM 2008, pp. 22\u201331 (2008)","DOI":"10.1145\/1414004.1414011"},{"issue":"3","key":"7_CR12","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1002\/stvr.402","volume":"19","author":"G. Fraser","year":"2009","unstructured":"Fraser, G., Wotawa, F., Ammann, P.: Testing with Model Checkers: A Survey. Software Testing, Verification and Reliability\u00a019(3), 215\u2013261 (2009)","journal-title":"Software Testing, Verification and Reliability"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Gupta, R., Jean, M., Mary, H., Soffa, L.: An Approach to Regression Testing using Slicing. In: Proceedings of the Conference on Software Maintenance. pp. 299\u2013308. IEEE Computer Society Press (1992)","DOI":"10.1109\/ICSM.1992.242531"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Kim, C.H.P., Batory, D.S., Khurshid, S.: Reducing Combinatorics in Testing Product Lines. In: AOSD 2011, pp. 57\u201368. ACM (2011)","DOI":"10.1145\/1960275.1960284"},{"key":"7_CR15","first-page":"37","volume":"264","author":"M. Lochau","year":"2010","unstructured":"Lochau, M., Goltz, U.: Feature Interaction Aware Test Case Generation for Embedded Control Systems. ENTCS\u00a0264, 37\u201352 (2010)","journal-title":"ENTCS"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Lochau, M., Oster, S., Goltz, U., Sch\u00fcrr, A.: Model-based Pairwise Testing for Feature Interaction Coverage in Software Product Line Engineering. Software Quality Journal, 1\u201338 (2011)","DOI":"10.1007\/s11219-011-9165-4"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"da Mota Silveira Neto, P.A., do Carmo Machado, I., Cavalcanti, Y.C., de Almeida, E.S., Garcia, V.C., de Lemos Meira, S.R.: A regression testing approach for software product lines architectures. In: SBCARS 2010, pp. 41\u201350 (2010)","DOI":"10.1109\/SBCARS.2010.14"},{"key":"7_CR18","unstructured":"Olimpiew, E.M.: Model-Based Testing for Software Product Lines. Ph.D. thesis, George Mason University (2008)"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Oster, S., Lochau, M., Zink, M., Grechanik, M.: Pairwise Feature-Interaction Testing for SPLs: Potentials and Limitations. In: FOSD 2011 (2011)","DOI":"10.1145\/2019136.2019143"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-642-15579-6_14","volume-title":"Software Product Lines: Going Beyond","author":"S. Oster","year":"2010","unstructured":"Oster, S., Markert, F., Ritter, P.: Automated Incremental Pairwise Testing of Software Product Lines. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol.\u00a06287, pp. 196\u2013210. Springer, Heidelberg (2010)"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Oster, S., Zorcic, I., Markert, F., Lochau, M.: MoSo-PoLiTe - Tool Support for Pairwise and Model-Based Software Product Line Testing. In: VAMOS 2011 (2011)","DOI":"10.1145\/1944892.1944901"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Perrouin, G., Sen, S., Klein, J., Le Traon, B.: Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines. In: ICST 2010, pp. 459\u2013468 (2010)","DOI":"10.1109\/ICST.2010.43"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Schaefer, I., Bettini, L., Damiani, F.: Compositional Type-Checking for Delta-oriented Programming. In: AOSD 2011. ACM Press (2011)","DOI":"10.1145\/1960275.1960283"},{"key":"7_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-642-25271-6_10","volume-title":"Formal Methods for Components and Objects","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)"},{"issue":"2","key":"7_CR25","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1109\/MC.2011.47","volume":"44","author":"I. Schaefer","year":"2011","unstructured":"Schaefer, I., H\u00e4hnle, R.: Formal Methods in Software Product Line Engineering. IEEE Computer\u00a044(2), 82\u201385 (2011)","journal-title":"IEEE Computer"},{"key":"7_CR26","unstructured":"Szasz, N., Vilanova, P.: Statecharts and Variabilities. In: VAMOS 2008, pp. 131\u2013140 (2008)"},{"key":"7_CR27","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/979743.979766","volume":"29","author":"A. Tevanlinna","year":"2004","unstructured":"Tevanlinna, A., Taina, J., Kauppinen, R.: Product Family Testing: A Survey. ACM SIGSOFT Software Engineering Notes\u00a029, 12\u201318 (2004)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"4","key":"7_CR28","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/MS.2002.1020289","volume":"19","author":"S. Thiel","year":"2002","unstructured":"Thiel, S., Hein, A.: Modeling and Using Product Line Variability in Automotive Systems. IEEE Software\u00a019(4), 66\u201372 (2002)","journal-title":"IEEE Software"},{"key":"7_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/3-540-48320-9_6","volume-title":"CONCUR\u201999. Concurrency Theory","author":"J. Tretmans","year":"1999","unstructured":"Tretmans, J.: Testing Concurrent Systems: A Formal Approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 46\u201365. Springer, Heidelberg (1999)"},{"key":"7_CR30","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing. A Tools Approach. M. Kaufmann (2007)"},{"issue":"3","key":"7_CR31","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1109\/TSE.2010.30","volume":"36","author":"E. Uzuncaova","year":"2010","unstructured":"Uzuncaova, E., Khurshid, S., Batory, D.S.: Incremental test generation for software product lines. IEEE Trans. Software Eng.\u00a036(3), 309\u2013322 (2010)","journal-title":"IEEE Trans. Software Eng."},{"key":"7_CR32","unstructured":"Wei\u00dfleder, S., Sokenou, D., Schlingloff, H.: Reusing State Machines for Automatic Test Generation in ProductLines. In: MoTiP 2008 (2008)"}],"container-title":["Lecture Notes in Computer Science","Tests and Proofs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30473-6_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T21:24:58Z","timestamp":1743197098000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30473-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642304729","9783642304736"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30473-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}