{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T08:18:00Z","timestamp":1791101880251,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642296444","type":"print"},{"value":"9783642296451","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29645-1_20","type":"book-chapter","created":{"date-parts":[[2012,4,12]],"date-time":"2012-04-12T07:56:43Z","timestamp":1334217403000},"page":"187-201","source":"Crossref","is-referenced-by-count":3,"title":["Specifying a Testing Oracle for Train Stations \u2013 Going beyond with Product Line Technology"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Svendsen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"\u00d8ystein","family":"Haugen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Birger","family":"M\u00f8ller-Pedersen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Andoni, A., Daniliuc, D., Khurshid, S., Marinov, D.: Evaluating the Small Scope Hypothesis, MIT CSAIL MIT-LCS-TR-921 (2003)"},{"key":"20_CR2","unstructured":"EMF, Eclipse Modeling Framework, http:\/\/www.eclipse.org\/modeling\/emf\/"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Endresen, J., Carlson, E., Moen, T., Alme, K.-J., Haugen, \u00d8., Olsen, G.K., Svendsen, A.: Train Control Language - Teaching Computers Interlocking. In: Computers in Railways XI (COMPRAIL 2008), Toledo, Spain (2008)","DOI":"10.2495\/CR080631"},{"key":"20_CR4","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, 2\u201313 (2011)","journal-title":"Information and Software Technology"},{"key":"20_CR5","unstructured":"Fleurey, F., Haugen, \u00d8., M\u00f8ller-Pedersen, B., Olsen, G.K., Svendsen, A., Zhang, X.: A Generic Language and Tool for Variability Modeling, SINTEF, Oslo, Norway, Technical Report SINTEF A13505 (2009)"},{"key":"20_CR6","unstructured":"GMF, Eclipse Graphical Modeling Framework, http:\/\/www.eclipse.org\/modeling\/gmf\/"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Haugen, O., M\u00f8ller-Pedersen, B., Oldevik, J., Olsen, G.K., Svendsen, A.: Adding Standardized Variability to Domain Specific Languages. In: SPLC 2008, Limerick, Ireland (2008)","DOI":"10.1109\/SPLC.2008.25"},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/s10270-005-0087-0","volume":"4","author":"\u00d8. Haugen","year":"2005","unstructured":"Haugen, \u00d8., Husa, K., Runde, R., St\u00f8len, K.: Stairs Towards Formal Design with Sequence Diagrams. Software and Systems Modeling\u00a04, 355\u2013357 (2005)","journal-title":"Software and Systems Modeling"},{"key":"20_CR9","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press (2006)"},{"key":"20_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-642-11811-1_9","volume-title":"Abstract State Machines, Alloy, B and Z","author":"J. Jacob","year":"2010","unstructured":"Jacob, J.: Trace Specifications in Alloy. In: Frappier, M., Gl\u00e4sser, U., Khurshid, S., Laleau, R., Reeves, S. (eds.) ABZ 2010. LNCS, vol.\u00a05977, pp. 105\u2013117. Springer, Heidelberg (2010)"},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.entcs.2009.08.015","volume":"250","author":"K. Kanso","year":"2009","unstructured":"Kanso, K., Moller, F., Setzer, A.: Automated Verification of Signalling Principles in Railway Interlocking Systems. Electron. Notes Theor. Comput. Sci.\u00a0250, 19\u201331 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"20_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"690","DOI":"10.1007\/978-3-540-87875-9_48","volume-title":"Model Driven Engineering Languages and Systems","author":"P. Kelsen","year":"2008","unstructured":"Kelsen, P., Ma, Q.: A Lightweight Approach for Defining the Formal Semantics of a Modeling Language. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 690\u2013704. Springer, Heidelberg (2008)"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Lamancha, B.P., Usaola, M.P., Velthius, M.P.: Software Product Line Testing - a Systematic Review. In: Boris, S., Jos\u00e9, C., Alpesh, R. (eds.) International Conference on Software and Data Technologies - ICSOFT, pp. 23\u201330. INSTICC Press (2009)","DOI":"10.5220\/0002248400230030"},{"key":"20_CR14","first-page":"30","volume-title":"Proceedings of the 8th ACM SIGSOFT International Symposium on Foundations of Software Engineering: Twenty-First Century Applications","author":"A.M. Memon","year":"2000","unstructured":"Memon, A.M., Pollack, M.E., Soffa, M.L.: Automated Test Oracles for Guis. In: Proceedings of the 8th ACM SIGSOFT International Symposium on Foundations of Software Engineering: Twenty-First Century Applications, pp. 30\u201339. ACM, San Diego (2000)"},{"key":"20_CR15","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/357474.355050","volume":"25","author":"A.M. Memon","year":"2000","unstructured":"Memon, A.M., Pollack, M.E., Soffa, M.L.: Automated Test Oracles for Guis. SIGSOFT Softw. Eng. Notes\u00a025, 30\u201339 (2000)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"20_CR16","first-page":"31","volume-title":"1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies: held in conjunction with the 22nd IEEE\/ACM International Conference on Automated Software Engineering (ASE 2007)","author":"A.C.D. Neto","year":"2007","unstructured":"Neto, A.C.D., Subramanyan, R., Vieira, M., Travassos, G.H.: A Survey on Model-Based Testing Approaches: A Systematic Review. In: 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies: held in conjunction with the 22nd IEEE\/ACM International Conference on Automated Software Engineering (ASE 2007), pp. 31\u201336. ACM, Atlanta (2007)"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Peters, D., Parnas, D.L.: Generating a Test Oracle from Program Documentation: Work in Progress. In: 1994 ACM SIGSOFT International Symposium on Software Testing and Analysis, Seattle, Washington, United States (1994)","DOI":"10.1145\/186258.186508"},{"key":"20_CR18","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/1183236.1183271","volume":"49","author":"K. Pohl","year":"2006","unstructured":"Pohl, K., Metzger, A.: Software Product Line Testing. Commun. ACM.\u00a049, 78\u201381 (2006)","journal-title":"Commun. ACM."},{"key":"20_CR19","unstructured":"Shafique, M., Labiche, Y.: A Systematic Review of Model Based Testing Tool Support, Technical Report SCE-10-04, Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada (2010)"},{"key":"20_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-642-21470-7_18","volume-title":"Modelling Foundations and Applications","author":"A. Svendsen","year":"2011","unstructured":"Svendsen, A., Haugen, \u00d8., M\u00f8ller-Pedersen, B.: Analyzing Variability: Capturing Semantic Ripple Effects. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol.\u00a06698, pp. 253\u2013269. Springer, Heidelberg (2011)"},{"key":"20_CR21","volume-title":"Model-Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE Workshop (MoDeVVa 2011). Co-located with MODELS 2011","author":"A. Svendsen","year":"2011","unstructured":"Svendsen, A., Haugen, \u00d8., M\u00f8ller-Pedersen, B.: Specifying a Testing Oracle for Train Stations. In: Model-Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE Workshop (MoDeVVa 2011). Co-located with MODELS 2011. ACM, Wellington (2011)"},{"key":"20_CR22","volume-title":"18th Asia Pacific Software Engineering Conference (APSEC 2011)","author":"A. Svendsen","year":"2011","unstructured":"Svendsen, A., Haugen, \u00d8., M\u00f8ller-Pedersen, B.: Using Variability Models to Reduce Verification Effort of Train Station Models. In: 18th Asia Pacific Software Engineering Conference (APSEC 2011). IEEE, Ho Chi Minh City (2011)"},{"key":"20_CR23","first-page":"245","volume-title":"Comprail 2010","author":"A. Svendsen","year":"2010","unstructured":"Svendsen, A., M\u00f8ller-Pedersen, B., Haugen, \u00d8., Endresen, J., Carlson, E.: Formalizing Train Control Language: Automating Analysis of Train Stations. In: Ning, B., Brebbia, C.A. (eds.) Comprail 2010, pp. 245\u2013256. WIT Press, Beijing (2010)"},{"key":"20_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-540-87875-9_9","volume-title":"Model Driven Engineering Languages and Systems","author":"A. Svendsen","year":"2008","unstructured":"Svendsen, A., Olsen, G.K., Endresen, J., Moen, T., Carlson, E.J., Alme, K.-J., Haugen, \u00d8.: The Future of Train Signaling. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 128\u2013142. Springer, Heidelberg (2008)"},{"key":"20_CR25","series-title":"LNCS","first-page":"53","volume-title":"MODELS 2011 Workshops","author":"A. Svendsen","year":"2012","unstructured":"Svendsen, A., Zhang, X., Haugen, \u00d8., M\u00f8ller-Pedersen, B.: Towards Evolution of Generic Variability Models. In: Kienzle, J. (ed.) MODELS 2011 Workshops. LNCS, vol.\u00a07167, pp. 53\u201367. Springer, Heidelberg (2012)"},{"key":"20_CR26","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A Taxonomy of Model-Based Testing, Working paper series. Department of Computer Science, University of Waikato, Hamilton, New Zealand (2006)"},{"key":"20_CR27","doi-asserted-by":"crossref","unstructured":"Uzuncaova, E., Garcia, D., Khurshid, S., Batory, D.: Testing Software Product Lines Using Incremental Test Generation. In: Proceedings of the 19th International Symposium on Software Reliability Engineering, pp. 249\u2013258. IEEE Computer Society (2008)","DOI":"10.1109\/ISSRE.2008.56"},{"key":"20_CR28","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.: Incremental Test Generation for Software Product Lines. IEEE Trans. Softw. Eng.\u00a036, 309\u2013322 (2010)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Models in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29645-1_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:34:39Z","timestamp":1742916879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29645-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642296444","9783642296451"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29645-1_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}