{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:54:13Z","timestamp":1756000453073},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642180699"},{"type":"electronic","value":"9783642180705"}],"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-18070-5_5","type":"book-chapter","created":{"date-parts":[[2011,1,15]],"date-time":"2011-01-15T09:18:02Z","timestamp":1295083082000},"page":"61-75","source":"Crossref","is-referenced-by-count":17,"title":["Verification of Software Product Lines with Delta-Oriented Slicing"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Bruns","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir","family":"Klebanov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Batory, D.S., Benavides, D., Ruiz-Cort\u00e9s, A.: Automated analysis of feature models: Challenges ahead. Communications of the ACM\u00a049(12) (2006)","key":"5_CR1","DOI":"10.1145\/1183236.1183264"},{"unstructured":"Batory, D.S., B\u00f6rger, E.: Modularizing theorems for software product lines: The Jbook case study. Journal of Universal Computer Science\u00a014(12) (2008)","key":"5_CR2"},{"issue":"6","key":"5_CR3","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1109\/TSE.2004.23","volume":"30","author":"D.S. Batory","year":"2004","unstructured":"Batory, D.S., Sarvela, J.N., Rauschmayer, A.: Scaling step-wise refinement. IEEE Trans. Software Eng.\u00a030(6), 355\u2013371 (2004)","journal-title":"IEEE Trans. Software Eng."},{"key":"5_CR4","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Verification of Object-Oriented Software. The KeY Approach","year":"2007","unstructured":"Beckert, B., H\u00e4hnle, R., Schmitt, P.H. (eds.): Verification of Object-Oriented Software. LNCS (LNAI), vol.\u00a04334. Springer, Heidelberg (2007)"},{"key":"5_CR5","volume-title":"32nd International Conference on Software Engineering, 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: 32nd International Conference on Software Engineering, ICSE 2010, Cape Town, South Africa, May 2-8. IEEE, Los Alamitos (2010) (to appear)"},{"doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Pietroszek, K.: Verifying feature-based model templates against well-formedness OCL constraints. In: Conf. on Generative Programming and Component Engineering (GPCE) (2006)","key":"5_CR6","DOI":"10.1145\/1173706.1173738"},{"key":"5_CR7","first-page":"31","volume-title":"Foundations of Aspect-Oriented Languages (FOAL)","author":"B. Delaware","year":"2009","unstructured":"Delaware, B., Cook, W., Batory, D.: A Machine-Checked Model of Safe Composition. In: Foundations of Aspect-Oriented Languages (FOAL), pp. 31\u201335. ACM, New York (2009)"},{"key":"5_CR8","volume-title":"The Java Language Specification","author":"J. Gosling","year":"2005","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 3rd edn. Addison-Wesley Longman, Amsterdam (2005)","edition":"3"},{"issue":"4","key":"5_CR9","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1023\/A:1026599015809","volume":"13","author":"J. Hatcliff","year":"2000","unstructured":"Hatcliff, J., Dwyer, M.B., Zheng, H.: Slicing software for model construction. Higher-Order and Symbolic Computation\u00a013(4), 315\u2013353 (2000)","journal-title":"Higher-Order and Symbolic Computation"},{"doi-asserted-by":"crossref","unstructured":"Hutter, D.: Management of change in structured verification. In: Automated Software Engineering (ASE), p. 23 (2000)","key":"5_CR10","DOI":"10.1109\/ASE.2000.873647"},{"doi-asserted-by":"crossref","unstructured":"Klebanov, V.: Proof reuse. In: Beckert et al. [4]","key":"5_CR11","DOI":"10.1007\/978-3-540-69061-0_13"},{"key":"5_CR12","first-page":"269","volume-title":"Automated Software Engineering (ASE)","author":"K. Lauenroth","year":"2009","unstructured":"Lauenroth, K., Pohl, K., Toehning, S.: Model checking of domain artifacts in product line engineering. In: Automated Software Engineering (ASE), pp. 269\u2013280. IEEE Computer Society, Los Alamitos (2009)"},{"issue":"3","key":"5_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1127878.1127884","volume":"31","author":"G.T. Leavens","year":"2006","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of JML: a behavioral interface specification language for Java. SIGSOFT Softw. Eng. Notes\u00a031(3), 1\u201338 (2006)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/3-540-45652-X_11","volume-title":"Software Product Lines","author":"M. Mannion","year":"2002","unstructured":"Mannion, M.: Using First-Order Logic for Product Line Model Validation. In: Chastek, G.J. (ed.) SPLC 2002. LNCS, vol.\u00a02379, pp. 176\u2013187. Springer, Heidelberg (2002)"},{"doi-asserted-by":"crossref","unstructured":"McGregor, J.D.: Testing a software product line. Technical Report CMU\/SEI-2001-TR-022, Software Engineering Institute, Carnegie Mellon University (December 2001)","key":"5_CR15","DOI":"10.21236\/ADA401736"},{"key":"5_CR16","series-title":"Dagstuhl Seminar Proceedings","volume-title":"Semantic Interoperability and Integration","author":"T. Mossakowski","year":"2005","unstructured":"Mossakowski, T.: Heterogeneous theories and the heterogeneous tool set. In: Kalfoglou, Y., Schorlemmer, W.M., Sheth, A.P., Staab, S., Uschold, M. (eds.) Semantic Interoperability and Integration. Dagstuhl Seminar Proceedings, vol.\u00a004391, IBFI, Schloss Dagstuhl (2005)"},{"doi-asserted-by":"crossref","unstructured":"Muccini, H., van der Hoek, A.: Towards testing product line architectures. Electr. Notes Theor. Comput. Sci\u00a082(6) (2003)","key":"5_CR17","DOI":"10.1016\/S1571-0661(04)81029-6"},{"key":"5_CR18","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":"5_CR19","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1145\/1028976.1029012","volume-title":"Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004","author":"X. Ren","year":"2004","unstructured":"Ren, X., Shah, F., Tip, F., Ryder, B.G., Chesley, O.: Chianti: A tool for change impact analysis of Java programs. In: Vlissides, J.M., Schmidt, D.C. (eds.) Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, Vancouver, BC, Canada, October 24-28, pp. 432\u2013448. ACM, New York (2004)"},{"unstructured":"Roth, A.: Specification and Verification of Object-oriented Software Components. PhD thesis, Universit\u00e4t Karlsruhe (2006)","key":"5_CR20"},{"unstructured":"Schaefer, I.: Variability modelling for model-driven development of software product lines. In: 4th Int. Workshop on Variability Modelling of Software-intensive Systems (VaMoS), Linz, Austria (January 2010)","key":"5_CR21"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-15579-6_6","volume-title":"Software Product Lines: Going Beyond","author":"I. Schaefer","year":"2010","unstructured":"Schaefer, I., Bettini, L., Bono, V., Damiani, F., Tanzarella, N.: Delta-Oriented Programming of Software Product Lines. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol.\u00a06287, pp. 77\u201391. Springer, Heidelberg (2010)"},{"unstructured":"Schaefer, I., Worret, A., Poetzsch-Heffter, A.: A model-based framework for automated product derivation. In: Model-driven Approaches in Software Product Line Engineering (MAPLE 2009) (2009)","key":"5_CR23"},{"unstructured":"Stenzel, K.: Verification of Java Card Programs. PhD thesis, Fakult\u00e4t fur angewandte Informatik, University of Augsburg (2005)","key":"5_CR24"},{"unstructured":"Tip, F.: A survey of program slicing techniques. Journal of Programming Languages\u00a03(3) (1995)","key":"5_CR25"},{"issue":"3","key":"5_CR26","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1016\/j.tcs.2005.06.020","volume":"343","author":"H. Wehrheim","year":"2005","unstructured":"Wehrheim, H.: Slicing techniques for verification re-use. Theor. Comput. Sci.\u00a0343(3), 509\u2013528 (2005)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"5_CR27","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"Weiser, M.: Program slicing. IEEE Transactions on Software Engineering\u00a010(4), 352\u2013357 (1984)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Formal Verification of Object-Oriented Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-18070-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T18:09:16Z","timestamp":1559930956000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-18070-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642180699","9783642180705"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-18070-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}