{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T11:13:32Z","timestamp":1767093212590},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662452332"},{"type":"electronic","value":"9783662452349"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45234-9_30","type":"book-chapter","created":{"date-parts":[[2014,9,25]],"date-time":"2014-09-25T21:28:35Z","timestamp":1411680515000},"page":"425-444","source":"Crossref","is-referenced-by-count":8,"title":["Back-To-Back Testing of Model-Based Code Generators"],"prefix":"10.1007","author":[{"given":"Sven","family":"J\u00f6rges","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"30_CR1","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/s11334-009-0091-6","volume":"5","author":"M. Bakera","year":"2009","unstructured":"Bakera, M., Margaria, T., Renner, C.D., Steffen, B.: Tool-supported enhancement of diagnosis in model-driven verification. Innovations in Systems and Software Engineering\u00a05(3), 211\u2013228 (2009)","journal-title":"Innovations in Systems and Software Engineering"},{"issue":"4","key":"30_CR2","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1109\/TSE.1982.235428","volume":"8","author":"F. Bazzichi","year":"1982","unstructured":"Bazzichi, F., Spadafora, I.: An automatic generator for compiler testing. IEEE Transactions on Software Engineering SE\u00a08(4), 343\u2013353 (1982)","journal-title":"IEEE Transactions on Software Engineering SE"},{"key":"30_CR3","unstructured":"Beck, K.: Test Driven Development: By Example. Addison-Wesley (2002)"},{"issue":"9","key":"30_CR4","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1016\/S0950-5849(97)00017-7","volume":"39","author":"A.S. Boujarwah","year":"1997","unstructured":"Boujarwah, A.S., Saleh, K.: Compiler test case generation methods: a survey and assessment. Information & Software Technology\u00a039(9), 617\u2013625 (1997)","journal-title":"Information & Software Technology"},{"issue":"11","key":"30_CR5","doi-asserted-by":"publisher","first-page":"897","DOI":"10.1002\/spe.4380101104","volume":"10","author":"A. Celentano","year":"1980","unstructured":"Celentano, A., Crespi-Reghizzi, S., Vigna, P.D., Ghezzi, C., Granata, G., Savoretti, F.: Compiler testing using a sentence generator. Softw., Pract. Exper.\u00a010(11), 897\u2013918 (1980)","journal-title":"Softw., Pract. Exper."},{"key":"30_CR6","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press (1999)"},{"key":"30_CR7","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K. Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal\u00a045, 621\u2013645 (2006)","journal-title":"IBM Systems Journal"},{"key":"30_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/3-540-45923-5_25","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Hagerer","year":"2002","unstructured":"Hagerer, A., Hungar, H., Margaria, T., Niese, O., Steffen, B., Ide, H.-D.: Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 336\u2013340. Springer, Heidelberg (2002)"},{"key":"30_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/3-540-45923-5_6","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Hagerer","year":"2002","unstructured":"Hagerer, A., Hungar, H.: Model Generation by Moderated Regular Extrapolation. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 80\u201395. Springer, Heidelberg (2002)"},{"key":"30_CR10","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM\u00a012, 576\u2013580 (1969)","journal-title":"Communications of the ACM"},{"issue":"1","key":"30_CR11","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1002\/spe.4380190106","volume":"19","author":"W. Homer","year":"1989","unstructured":"Homer, W., Schooler, R.: Independent testing of compiler phases using a test case generator. Softw., Pract. Exper.\u00a019(1), 53\u201362 (1989)","journal-title":"Softw., Pract. Exper."},{"key":"30_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-642-27940-9_17","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"F. Howar","year":"2012","unstructured":"Howar, F., Steffen, B., Jonsson, B., Cassel, S.: Inferring canonical register automata. In: Kuncak, V., Rybalchenko, A. (eds.) VMCAI 2012. LNCS, vol.\u00a07148, pp. 251\u2013266. Springer, Heidelberg (2012)"},{"key":"30_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-3-642-18275-4_19","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"F. Howar","year":"2011","unstructured":"Howar, F., Steffen, B., Merten, M.: Automata learning with automated alphabet abstraction refinement. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol.\u00a06538, pp. 263\u2013277. Springer, Heidelberg (2011)"},{"key":"30_CR14","doi-asserted-by":"crossref","unstructured":"Isberner, M., Howar, F., Steffen, B.: Learning register automata: from languages to program structures. Machine Learning, 1\u201334 (2013)","DOI":"10.1007\/s10994-013-5419-7"},{"key":"30_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-36127-2","volume-title":"Construction and Evolution of Code Generators","author":"S. J\u00f6rges","year":"2013","unstructured":"J\u00f6rges, S.: Construction and Evolution of Code Generators. LNCS, vol.\u00a07747. Springer, Heidelberg (2013)"},{"issue":"5","key":"30_CR16","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1007\/s10009-012-0254-x","volume":"14","author":"S. J\u00f6rges","year":"2012","unstructured":"J\u00f6rges, S., Lamprecht, A.L., Margaria, T., Schaefer, I., Steffen, B.: A constraint-based variability modeling framework. STTT\u00a014(5), 511\u2013530 (2012)","journal-title":"STTT"},{"key":"30_CR17","doi-asserted-by":"crossref","unstructured":"J\u00f6rges, S., Steffen, B.: Exploiting ecore\u2019s reflexivity for bootstrapping domain-specific code-generators. In: 35th Annual IEEE Software Engineering Workshop, SEW 2012, pp. 72\u201381. IEEE Computer Society (2012)","DOI":"10.1109\/SEW.2012.14"},{"key":"30_CR18","series-title":"LNCS","first-page":"22","volume-title":"STACS 1987","author":"G. Kahn","year":"1987","unstructured":"Kahn, G.: Natural Semantics. In: Brandenburg, F.J., Vidal-Naquet, G., Wirsing, M. (eds.) STACS 1987. LNCS, vol.\u00a0247, pp. 22\u201339. Springer, Heidelberg (1987)"},{"key":"30_CR19","unstructured":"Kleppe, A.: Software Language Engineering: Creating Domain-Specific Languages Using Metamodels, 1st edn. Addison-Wesley (2008)"},{"key":"30_CR20","doi-asserted-by":"crossref","unstructured":"Leroy, X.: Formal certification of a compiler back-end or: programming a compiler with a proof assistant. In: POPL 2006, pp. 42\u201354. ACM (2006)","DOI":"10.1145\/1111320.1111042"},{"issue":"10","key":"30_CR21","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/MC.2006.355","volume":"39","author":"T. Margaria","year":"2006","unstructured":"Margaria, T., Steffen, B.: Service Engineering: Linking Business and IT. IEEE Computer\u00a039(10), 45\u201355 (2006)","journal-title":"IEEE Computer"},{"key":"30_CR22","series-title":"CCIS","first-page":"490","volume-title":"ISoLA 2008","author":"T. Margaria","year":"2008","unstructured":"Margaria, T., Steffen, B.: Agile it: Thinking in user-centric models. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol.\u00a017, pp. 490\u2013502. Springer, Heidelberg (2008)"},{"issue":"6","key":"30_CR23","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1109\/MC.2010.177","volume":"43","author":"T. Margaria","year":"2010","unstructured":"Margaria, T., Steffen, B.: Simplicity as a driver for agile innovation. IEEE Computer\u00a043(6), 90\u201392 (2010)","journal-title":"IEEE Computer"},{"issue":"3","key":"30_CR24","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1002\/spe.2243","volume":"44","author":"S. Naujokat","year":"2014","unstructured":"Naujokat, S., Neubauer, J., Lamprecht, A.L., Steffen, B., J\u00f6rges, S., Margaria, T.: Simplicity-first model-based plug-in development. Softw., Pract. Exper.\u00a044(3), 277\u2013297 (2014)","journal-title":"Softw., Pract. Exper."},{"key":"30_CR25","doi-asserted-by":"crossref","unstructured":"Necula, G.C.: Proof-carrying code. In: Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1997, pp. 106\u2013119. ACM (1997)","DOI":"10.1145\/263699.263712"},{"key":"30_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/3-540-45314-8_17","volume-title":"Fundamental Approaches to Software Engineering","author":"O. Niese","year":"2001","unstructured":"Niese, O., Steffen, B., Margaria, T., Hagerer, A., Brune, G., Ide, H.-D.: Library-Based Design and Consistency Checking of System-Level Industrial Test Cases. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol.\u00a02029, pp. 233\u2013248. Springer, Heidelberg (2001)"},{"key":"30_CR27","doi-asserted-by":"crossref","unstructured":"Parr, T.: Enforcing strict model-view separation in template engines. In: Proceedings of the 13th International Conference on World Wide Web, WWW 2004, pp. 224\u2013233. ACM (2004)","DOI":"10.1145\/988672.988703"},{"key":"30_CR28","unstructured":"Plotkin, G.D.: A Structural Approach to Operational Semantics. Tech. Rep. DAIMI FN\u201319, Computer Science Department, Aarhus University (1981)"},{"key":"30_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BFb0054170","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Pnueli","year":"1998","unstructured":"Pnueli, A., Siegel, M.D., Singerman, E.: Translation Validation. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol.\u00a01384, pp. 151\u2013166. Springer, Heidelberg (1998)"},{"key":"30_CR30","doi-asserted-by":"crossref","unstructured":"Raffelt, H., Margaria, T., Steffen, B., Merten, M.: Hybrid test of web applications with webtest. In: Proceedings of the 2008 Workshop on Testing, analysis, and Verification of Web Services and Applications, TAV-WEB 2008, pp. 1\u20137. ACM (2008)","DOI":"10.1145\/1390832.1390833"},{"issue":"4","key":"30_CR31","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/s10009-009-0120-7","volume":"11","author":"H. Raffelt","year":"2009","unstructured":"Raffelt, H., Merten, M., Steffen, B., Margaria, T.: Dynamic testing via automata learning. International Journal on Software Tools for Technology Transfer (STTT)\u00a011(4), 307\u2013324 (2009)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"30_CR32","doi-asserted-by":"crossref","unstructured":"Sampath, P., Rajeev, A.C., Ramesh, S., Shashidhar, K.C.: Behaviour directed testing of auto-code generators. In: Sixth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2008), pp. 191\u2013200. IEEE Computer Society (2008)","DOI":"10.1109\/SEFM.2008.13"},{"key":"30_CR33","unstructured":"Schmidt, D.A.: Denotational semantics: a methodology for language development. William C. Brown Publishers (1986)"},{"key":"30_CR34","unstructured":"Stahl, T., V\u00f6lter, M., Efftinge, S., Haase, A.: Modellgetriebene Softwareentwicklung: Techniken, Engineering, Management. dpunkt, 2nd edn. (2007) (in German)"},{"key":"30_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-70889-6_7","volume-title":"Hardware and Software, Verification and Testing","author":"B. Steffen","year":"2007","unstructured":"Steffen, B., Margaria, T., Nagel, R., J\u00f6rges, S., Kubczak, C.: Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol.\u00a04383, pp. 92\u2013108. Springer, Heidelberg (2007)"},{"key":"30_CR36","unstructured":"St\u00fcrmer, I., Conrad, M.: Code Generator Testing in Practice. In: INFORMATIK 2004 - Informatik verbindet, Band 2, Beitr\u00e4ge der 34. Jahrestagung der Gesellschaft f\u00fcr Informatik e.V (GI), pp. 33\u201337. GI (2004)"},{"key":"30_CR37","doi-asserted-by":"publisher","first-page":"622","DOI":"10.1109\/TSE.2007.70708","volume":"33","author":"I. St\u00fcrmer","year":"2007","unstructured":"St\u00fcrmer, I., Conrad, M., Doerr, H., Pepper, P.: Systematic Testing of Model-Based Code Generators. IEEE Transactions on Software Engineering\u00a033, 622\u2013634 (2007)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"30_CR38","doi-asserted-by":"crossref","unstructured":"St\u00fcrmer, I., Weinberg, D., Conrad, M.: Overview of existing safeguarding techniques for automatically generated code. In: Proceedings of SEAS 2005, pp. 1\u20136. ACM (2005)","DOI":"10.1145\/1082983.1083192"},{"key":"30_CR39","doi-asserted-by":"crossref","unstructured":"Tillmann, N., Schulte, W.: Parameterized unit tests. In: Proceedings of the 10th European Software Engineering Conference, pp. 253\u2013262. ACM (2005)","DOI":"10.1145\/1081706.1081745"},{"key":"30_CR40","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1016\/0950-5849(90)90044-R","volume":"32","author":"M.A. Vouk","year":"1990","unstructured":"Vouk, M.A.: Back-to-back testing. Information and Software Technology\u00a032, 34\u201345 (1990)","journal-title":"Information and Software Technology"},{"key":"30_CR41","doi-asserted-by":"crossref","unstructured":"Windm\u00fcller, S., Neubauer, J., Steffen, B., Howar, F., Bauer, O.: Active continuous quality control. In: Proceedings of the 16th ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE), pp. 111\u2013120. ACM (2013)","DOI":"10.1145\/2465449.2465469"}],"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-662-45234-9_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T19:57:50Z","timestamp":1558987070000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45234-9_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662452332","9783662452349"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45234-9_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}