{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:40:55Z","timestamp":1771026055759,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642548031","type":"print"},{"value":"9783642548048","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54804-8_28","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T09:59:16Z","timestamp":1395395956000},"page":"400-414","source":"Crossref","is-referenced-by-count":2,"title":["Integration Testing in the Test Template Framework"],"prefix":"10.1007","author":[{"given":"Maximiliano","family":"Cristi\u00e1","sequence":"first","affiliation":[]},{"given":"Joaqu\u00edn","family":"Mesuro","sequence":"additional","affiliation":[]},{"given":"Claudia","family":"Frydman","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1016\/j.tcs.2011.12.072","volume":"455","author":"M. Aiguier","year":"2012","unstructured":"Aiguier, M., Boulanger, F., Kanso, B.: A formal abstract framework for modelling and testing complex software systems. Theor. Comput. Sci.\u00a0455, 66\u201397 (2012), http:\/\/dx.doi.org\/10.1016\/j.tcs.2011.12.072","journal-title":"Theor. Comput. Sci."},{"key":"28_CR2","unstructured":"Alexander, R.T., Offutt, A.J.: Criteria for testing polymorphic relationships. In: Proceedings of the 11th International Symposium on Software Reliability Engineering, ISSRE 2000. IEEE Computer Society, Washington, DC (2000), http:\/\/dl.acm.org\/citation.cfm?id=851024.856208"},{"issue":"11-12","key":"28_CR3","doi-asserted-by":"publisher","first-page":"1087","DOI":"10.1016\/j.infsof.2006.11.002","volume":"49","author":"S. Ali","year":"2007","unstructured":"Ali, S., Briand, L.C., Rehman, M.J.U., Asghar, H., Iqbal, M.Z.Z., Nadeem, A.: A state-based approach to integration testing based on UML models. Inf. Softw. Technol.\u00a049(11-12), 1087\u20131106 (2007), http:\/\/dx.doi.org\/10.1016\/j.infsof.2006.11.002","journal-title":"Inf. Softw. Technol."},{"issue":"1","key":"28_CR4","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.entcs.2005.12.014","volume":"148","author":"L. Baresi","year":"2006","unstructured":"Baresi, L., Pezz\u00e8, M.: An introduction to software testing. Electron. Notes Theor. Comput. Sci.\u00a0148(1), 89\u2013111 (2006), http:\/\/dx.doi.org\/10.1016\/j.entcs.2005.12.014","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"28_CR5","first-page":"23","volume-title":"Proceedings of the 3rd International Workshop on Advances in Model-Based Testing, A-MOST 2007","author":"S. Benz","year":"2007","unstructured":"Benz, S.: Combining test case generation for component and integration testing. In: Proceedings of the 3rd International Workshop on Advances in Model-Based Testing, A-MOST 2007, pp. 23\u201333. ACM, New York (2007), http:\/\/doi.acm.org\/10.1145\/1291535.1291538"},{"key":"28_CR6","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/347324.348870","volume-title":"Proceedings of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2000","author":"U. Buy","year":"2000","unstructured":"Buy, U., Orso, A., Pezze, M.: Automated testing of classes. In: Proceedings of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2000, pp. 39\u201348. ACM, New York (2000), http:\/\/doi.acm.org\/10.1145\/347324.348870"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"Clements, P., Garlan, D., Bass, L., Stafford, J., Nord, R., Ivers, J., Little, R.: Documenting Software Architectures: Views and Beyond. Pearson Education (2002)","DOI":"10.1109\/ICSE.2003.1201264"},{"issue":"1","key":"28_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1002\/stvr.1477","volume":"24","author":"M. Cristi\u00e1","year":"2014","unstructured":"Cristi\u00e1, M., Albertengo, P., Frydman, C., Pl\u00fcss, B., Monetti, P.R.: Tool support for the Test Template Framework. Software Testing, Verification and Reliability\u00a024(1), 3\u201337 (2014), http:\/\/dx.doi.org\/10.1002\/stvr.1477","journal-title":"Software Testing, Verification and Reliability"},{"key":"28_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/978-3-642-30885-7_20","volume-title":"Abstract State Machines, Alloy, B, VDM, and Z","author":"M. Cristi\u00e1","year":"2012","unstructured":"Cristi\u00e1, M., Frydman, C.: Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions. In: Derrick, J., Fitzgerald, J., Gnesi, S., Khurshid, S., Leuschel, M., Reeves, S., Riccobene, E. (eds.) ABZ 2012. LNCS, vol.\u00a07316, pp. 280\u2013293. Springer, Heidelberg (2012)"},{"key":"28_CR10","unstructured":"Cristi\u00e1, M., Mesuro, J., Frydman, C.: Extending the Test Template Framework to integration testing, https:\/\/www.dropbox.com\/s\/8dlyu2mctmzw57m\/ttf-integration-testing.pdf"},{"key":"28_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-642-40561-7_16","volume-title":"Software Engineering and Formal Methods","author":"M. Cristi\u00e1","year":"2013","unstructured":"Cristi\u00e1, M., Rossi, G., Frydman, C.: {log} as a test case generator for the Test Template Framework. In: Hierons, R.M., Merayo, M.G., Bravetti, M. (eds.) SEFM 2013. LNCS, vol.\u00a08137, pp. 229\u2013243. Springer, Heidelberg (2013)"},{"key":"28_CR12","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/1181775.1181806","volume-title":"Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT 2006\/FSE-14","author":"S. Elbaum","year":"2006","unstructured":"Elbaum, S., Chin, H.N., Dwyer, M.B., Dokulil, J.: Carving differential unit test cases from system test cases. In: Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT 2006\/FSE-14, pp. 253\u2013264. ACM, New York (2006), http:\/\/doi.acm.org\/10.1145\/1181775.1181806"},{"issue":"4","key":"28_CR13","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1002\/stvr.340","volume":"16","author":"L. Gallagher","year":"2006","unstructured":"Gallagher, L., Offutt, J., Cincotta, A.: Integration testing of object-oriented components using finite state machines: Research articles. Softw. Test. Verif. Reliab.\u00a016(4), 215\u2013266 (2006), http:\/\/dx.doi.org\/10.1002\/stvr.v16:4","journal-title":"Softw. Test. Verif. Reliab."},{"key":"28_CR14","unstructured":"Ghezzi, C., Jazayeri, M., Mandrioli, D.: Fundamentals of software engineering, 2nd edn. Prentice Hall (2003)"},{"key":"28_CR15","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1145\/347324.348872","volume-title":"Proceedings of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2000","author":"J. Hartmann","year":"2000","unstructured":"Hartmann, J., Imoberdorf, C., Meisinger, M.: UML-based integration testing. In: Proceedings of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2000, pp. 60\u201370. ACM, New York (2000), http:\/\/doi.acm.org\/10.1145\/347324.348872"},{"issue":"2","key":"28_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1459352.1459354","volume":"41","author":"R.M. Hierons","year":"2009","unstructured":"Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., L\u00fcttgen, G., Simons, A.J.H., Vilkomir, S., Woodward, M.R., Zedan, H.: Using formal specifications to support testing. ACM Comput. Surv.\u00a041(2), 1\u201376 (2009)","journal-title":"ACM Comput. Surv."},{"issue":"2","key":"28_CR17","first-page":"51","volume":"8","author":"D.C. Kung","year":"1995","unstructured":"Kung, D.C., Gao, J., Hsia, P., Lin, J., Toyoshima, Y.: Class firewall, test order, and regression testing of object-oriented programs. JOOP\u00a08(2), 51\u201365 (1995)","journal-title":"JOOP"},{"key":"28_CR18","first-page":"136","volume-title":"Proceedings of the 22nd International Conference on Software Engineering, ICSE 2000","author":"Y. Labiche","year":"2000","unstructured":"Labiche, Y., Th\u00e9venod-Fosse, P., Waeselynck, H., Durand, M.H.: Testing levels for object-oriented software. In: Proceedings of the 22nd International Conference on Software Engineering, ICSE 2000, pp. 136\u2013145. ACM, New York (2000), http:\/\/doi.acm.org\/10.1145\/337180.337197"},{"issue":"4","key":"28_CR19","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1002\/smr.4360020403","volume":"2","author":"H.K.N. Leung","year":"1990","unstructured":"Leung, H.K.N., White, L.: Insights into testing and regression testing global variables. Journal of Software Maintenance\u00a02(4), 209\u2013222 (1990)","journal-title":"Journal of Software Maintenance"},{"key":"28_CR20","doi-asserted-by":"crossref","unstructured":"Leung, H.K.N., White, L.: A study of integration testing and software regression at the integration level. In: Conference on Software Maintenance 1990, San Diego, CA, pp. 290\u2013301 (1990)","DOI":"10.1109\/ICSM.1990.131377"},{"key":"28_CR21","unstructured":"Orso, A.: Integration Testing of Object-Oriented Software. Ph.D. thesis, Politecnico di Milano, Milan, Italy (February 1999)"},{"key":"28_CR22","first-page":"264","volume-title":"ICSE 1978: Proceedings of the 3rd International Conference on Software Engineering","author":"D.L. Parnas","year":"1978","unstructured":"Parnas, D.L.: Designing software for ease of extension and contraction. In: ICSE 1978: Proceedings of the 3rd International Conference on Software Engineering, pp. 264\u2013277. IEEE Press, Piscataway (1978)"},{"key":"28_CR23","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/j.entcs.2009.12.040","volume":"260","author":"B. Sch\u00e4tz","year":"2010","unstructured":"Sch\u00e4tz, B., Pfaller, C.: Integrating component tests to system tests. Electron. Notes Theor. Comput. Sci.\u00a0260, 225\u2013241 (2010), http:\/\/dx.doi.org\/10.1016\/j.entcs.2009.12.040","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"28_CR24","volume-title":"Software Engineering","author":"I. Sommerville","year":"2010","unstructured":"Sommerville, I.: Software Engineering, 9th edn. Addison-Wesley, Harlow (2010)","edition":"9"},{"issue":"11","key":"28_CR25","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1109\/32.553698","volume":"22","author":"P. Stocks","year":"1996","unstructured":"Stocks, P., Carrington, D.: A Framework for Specification-Based Testing. IEEE Transactions on Software Engineering\u00a022(11), 777\u2013793 (1996)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54804-8_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T03:46:01Z","timestamp":1746157561000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54804-8_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548031","9783642548048"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54804-8_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}