{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:56:43Z","timestamp":1762459003071},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340253"},{"type":"electronic","value":"9783642340260"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34026-0_17","type":"book-chapter","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T21:07:20Z","timestamp":1348607240000},"page":"223-237","source":"Crossref","is-referenced-by-count":1,"title":["Parameterized Preorder Relations for Model-Based Testing of Software Product Lines"],"prefix":"10.1007","author":[{"given":"Malte","family":"Lochau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jochen","family":"Kamischke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0304-3975(87)90065-X","volume":"53","author":"S. Abramsky","year":"1987","unstructured":"Abramsky, S.: Observation Equivalence as a Testing Equivalence. Theor. Comput. Sci.\u00a053, 225\u2013241 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"17_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.) FMOODS\/FORTE 2011. LNCS, vol.\u00a06722, pp. 44\u201358. Springer, Heidelberg (2011)"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Batory, D.: Feature Models, Grammars, and Propositional Formulas, pp. 7\u201320. Springer (2005)","DOI":"10.1007\/11554844_3"},{"key":"17_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/3540539816_63","volume-title":"TAPSOFT \u201991. Proceedings of the International Joint Conference on Theory and Practice of Software Development","author":"G. Bernot","year":"1991","unstructured":"Bernot, G.: Testing against Formal Specifications: A Theoretical View. In: Abramsky, S. (ed.) TAPSOFT 1991. LNCS, vol.\u00a0494, pp. 99\u2013119. Springer, Heidelberg (1991)"},{"issue":"1","key":"17_CR5","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/963927.963929","volume":"5","author":"B. Bloom","year":"2004","unstructured":"Bloom, B., Fokkink, W., van Glabbeek, R.J.: Precongruence Formats for Decorated Trace Semantics. ACM Trans. Comput. Logic\u00a05(1), 26\u201378 (2004)","journal-title":"ACM Trans. Comput. Logic"},{"key":"17_CR6","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":"17_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":"17_CR8","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley Longman Publishing Co., Inc. (2001)"},{"key":"17_CR9","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/BF00264365","volume":"24","author":"R. DeNicola","year":"1987","unstructured":"DeNicola, R.: Extensional Equivalence for Transition Systems. Acta Inf.\u00a024, 211\u2013237 (1987)","journal-title":"Acta Inf."},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"DeNicola, R., Hennessy, M.C.B.: Testing Equivalences for Processes. Theoretical Computer Science, 83\u2013133 (1984)","DOI":"10.1016\/0304-3975(84)90113-0"},{"issue":"1","key":"17_CR11","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. Information and Software Technology\u00a053(1), 2\u201313 (2011)","journal-title":"Information and Software Technology"},{"key":"17_CR12","unstructured":"Grabowski, J., Heymer, S.: Formal Methods and Conformance Testing - or - What are we testing anyway? In: FBT 1998. Shaker Verlag, Aachen (1998)"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Tech. rep., CMU-SEI (1990)","DOI":"10.21236\/ADA235785"},{"issue":"7","key":"17_CR14","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"R.M. Keller","year":"1976","unstructured":"Keller, R.M.: Formal Verification of Parallel Programs. Commun. ACM\u00a019(7), 371\u2013384 (1976)","journal-title":"Commun. ACM"},{"key":"17_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-71316-6_6","volume-title":"Programming Languages and Systems","author":"K.G. Larsen","year":"2007","unstructured":"Larsen, K.G., Nyman, U., W\u0105sowski, A.: Modal I\/O Automata for Interface and Product Line Theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 64\u201379. Springer, Heidelberg (2007)"},{"key":"17_CR16","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":"17_CR17","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) (to appear)","DOI":"10.1007\/s11219-011-9165-4"},{"key":"17_CR18","unstructured":"Lochau, M., Schaefer, I., Kamischke, J., Lity, S.: Incremental Model-based Testing of Delta-oriented Software Product Lines. In: 6th TAP. Prague (to appear, 2012)"},{"key":"17_CR19","unstructured":"Olimpiew, E.M.: Model-Based Testing for Software Product Lines. Ph.D. thesis, George Mason University (2008)"},{"key":"17_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":"17_CR21","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":"17_CR22","doi-asserted-by":"crossref","unstructured":"Raclet, J.B., Badouel, E., Benveniste, A., Caillaud, B., Legay, A., Passerone, R.: Modal Interfaces: Unifying Interface Automata and Modal Specifications. In: EMSOFT, pp. 87\u201396 (2009)","DOI":"10.1145\/1629335.1629348"},{"key":"17_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/11498490_8","volume-title":"Model-Based Testing of Reactive Systems","author":"V. Tschaen","year":"2005","unstructured":"Tschaen, V.: Test Generation Algorithms Based on Preorder Relations. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol.\u00a03472, pp. 151\u2013171. Springer, Heidelberg (2005)"},{"key":"17_CR24","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"},{"key":"17_CR25","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":"17_CR26","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing. A Tools Approach. M. Kaufmann (2007)"},{"issue":"3","key":"17_CR27","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."}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34026-0_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,29]],"date-time":"2022-01-29T11:10:52Z","timestamp":1643454652000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34026-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340253","9783642340260"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34026-0_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}