{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T00:00:59Z","timestamp":1770508859927,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642245589","type":"print"},{"value":"9783642245596","type":"electronic"}],"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-24559-6_40","type":"book-chapter","created":{"date-parts":[[2011,10,21]],"date-time":"2011-10-21T15:13:17Z","timestamp":1319209997000},"page":"601-616","source":"Crossref","is-referenced-by-count":8,"title":["A Language for Test Case Refinement in the Test Template Framework"],"prefix":"10.1007","author":[{"given":"Maximiliano","family":"Cristia","sequence":"first","affiliation":[]},{"given":"Diego","family":"Hollmann","sequence":"additional","affiliation":[]},{"given":"Pablo","family":"Albertengo","sequence":"additional","affiliation":[]},{"given":"Claudia","family":"Frydman","sequence":"additional","affiliation":[]},{"given":"Pablo Rodriguez","family":"Monetti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"40_CR1","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M. Utting","year":"2006","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., San Francisco (2006)"},{"issue":"2","key":"40_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1459352.1459354","volume":"41","author":"R.M. Hierons","year":"2009","unstructured":"Hierons, R.M., et al.: Using formal specifications to support testing. ACM Comput. Surv.\u00a041(2), 1\u201376 (2009)","journal-title":"ACM Comput. Surv."},{"issue":"11","key":"40_CR3","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"},{"key":"40_CR4","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1145\/566172.566190","volume-title":"ISSTA 2002: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"W. Grieskamp","year":"2002","unstructured":"Grieskamp, W., Gurevich, Y., Schulte, W., Veanes, M.: Generating finite state machines from abstract state machines. In: ISSTA 2002: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 112\u2013122. ACM, New York (2002)"},{"key":"40_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/3-540-45648-1_16","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"B. Legeard","year":"2002","unstructured":"Legeard, B., Peureux, F., Utting, M.: A comparison of the BTT and TTF test-generation methods. In: Bert, D., Bowen, J. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, pp. 309\u2013329. Springer, Heidelberg (2002)"},{"issue":"6","key":"40_CR6","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1049\/sej.1991.0040","volume":"6","author":"G. Bernot","year":"1991","unstructured":"Bernot, G., Gaudel, M.C., Marre, B.: Software testing based on formal specifications: a theory and a tool. Softw. Eng. J.\u00a06(6), 387\u2013405 (1991)","journal-title":"Softw. Eng. J."},{"key":"40_CR7","volume-title":"Just Enough Software Test Automation","author":"B. Posey","year":"2002","unstructured":"Posey, B.: Just Enough Software Test Automation. Prentice Hall PTR, Upper Saddle River (2002)"},{"key":"40_CR8","unstructured":"Fewster, M., Graham, D.: Software test automation: effective use of test execution tools. ACM Press\/Addison-Wesley Publishing Co. (1999)"},{"key":"40_CR9","unstructured":"Information Technology, I.S.O.: \u2013 Z Formal Specification Notation \u2013 Syntax, Type System and Semantics. Technical Report ISO\/IEC 13568, International Organization for Standardization (2002)"},{"key":"40_CR10","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1109\/CMPASS.1994.318466","volume-title":"Compass 1994: 9th Annual Conference on Computer Assurance","author":"P. Ammann","year":"1994","unstructured":"Ammann, P., Offutt, J.: Using formal methods to derive test frames in category-partition testing. In: Compass 1994: 9th Annual Conference on Computer Assurance, pp. 69\u201380. National Institute of Standards and Technology, Gaithersburg (1994)"},{"key":"40_CR11","unstructured":"Hall, P.A.V.: Towards testing with respect to formal specification. In: Proc. Second IEE\/BCS Conference on Software Engineering, IEE\/BCS Conference Publication, vol.\u00a0290, pp. 159\u2013163 (July 1988)"},{"issue":"2","key":"40_CR12","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S0950-5849(00)00145-2","volume":"43","author":"R.M. Hierons","year":"2001","unstructured":"Hierons, R.M., Sadeghipour, S., Singh, H.: Testing a system specified using Statecharts and Z. Information and Software Technology\u00a043(2), 137\u2013149 (2001)","journal-title":"Information and Software Technology"},{"key":"40_CR13","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1002\/(SICI)1099-1689(199703)7:1<19::AID-STVR124>3.0.CO;2-N","volume":"7","author":"R.M. Hierons","year":"1997","unstructured":"Hierons, R.M.: Testing from a Z specification. Software Testing, Verification & Reliability\u00a07, 19\u201333 (1997)","journal-title":"Software Testing, Verification & Reliability"},{"key":"40_CR14","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/BF00402650","volume":"4","author":"H.M. H\u00f6rcher","year":"1995","unstructured":"H\u00f6rcher, H.M., Peleska, J.: Using Formal Specifications to Support Software Testing. Software Quality Journal\u00a04, 309\u2013327 (1995)","journal-title":"Software Quality Journal"},{"key":"40_CR15","unstructured":"Stocks, P.: Applying Formal Methods to Software Testing. PhD thesis, Department of Computer Science, University of Queensland (1993)"},{"key":"40_CR16","doi-asserted-by":"crossref","unstructured":"Maccoll, I., Carrington, D.: Extending the Test Template Framework. In: Proceedings of the Third Northern Formal Methods Workshop (1998)","DOI":"10.14236\/ewic\/NFM1998.12"},{"key":"40_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-10373-5_9","volume-title":"Formal Methods and Software Engineering","author":"M. Cristi\u00e1","year":"2009","unstructured":"Cristi\u00e1, M., Rodr\u00edguez Monetti, P.: Implementing and applying the stocks-carrington framework for model-based testing. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol.\u00a05885, pp. 167\u2013185. Springer, Heidelberg (2009)"},{"key":"40_CR18","first-page":"268","volume-title":"SEFM","author":"M. Cristi\u00e1","year":"2010","unstructured":"Cristi\u00e1, M., Albertengo, P., Rodr\u00edguez Monetti, P.: Pruning testing trees in the Test Template Framework by detecting mathematical contradictions. In: Fiadeiro, J.L., Gnesi, S. (eds.) SEFM, pp. 268\u2013277. IEEE Computer Society, Los Alamitos (2010)"},{"key":"40_CR19","unstructured":"Cristi\u00e1, M., Albertengo, P., Rodr\u00edguez Monetti, P.: Fastest: a model-based testing tool for the Z notation. In: Mazzanti, F., Trentani, G. (eds.) PTD-SEFM, Consiglio Nazionale della Ricerche, Pisa, Italy, pp. 3\u20138 (2010)"},{"key":"40_CR20","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1002\/(SICI)1099-1689(199903)9:1<27::AID-STVR172>3.0.CO;2-B","volume":"9","author":"J. Derrick","year":"1999","unstructured":"Derrick, J., Boiten, E.: Testing refinements of state-based formal specifications. Software Testing, Verification and Reliability\u00a0(9), 27\u201350 (1999)","journal-title":"Software Testing, Verification and Reliability"},{"key":"40_CR21","unstructured":"Cristi\u00e1, M., Rodr\u00edguez Monetti, P., Albertengo, P.: The FTCRL reference guide. Technical report, Flowgate Consulting (2010)"},{"key":"40_CR22","volume-title":"An introduction to formal specification and Z","author":"B. Potter","year":"1996","unstructured":"Potter, B., Till, D., Sinclair, J.: An introduction to formal specification and Z. Prentice Hall PTR, Upper Saddle River (1996)"},{"key":"40_CR23","volume-title":"The C Programming Language","author":"B.W. Kernighan","year":"1988","unstructured":"Kernighan, B.W., Ritchie, D.M.: The C Programming Language, 2nd edn. Prentice-Hall, Inc., Englewood Cliffs (1988)","edition":"2"},{"key":"40_CR24","unstructured":"Parr, T.: Language Implementation Patterns: Create Your Own Domain-Specific and General Programming Languages, 1st edn. Pragmatic Bookshelf (2009)"},{"key":"40_CR25","volume-title":"Programming from specifications","author":"C. Morgan","year":"1994","unstructured":"Morgan, C.: Programming from specifications, 2nd edn. Prentice Hall International (UK) Ltd., Hertfordshire (1994)","edition":"2"},{"key":"40_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1674-2","volume-title":"Refinement Calculus: A Systematic Introduction","author":"R.J. Back","year":"1998","unstructured":"Back, R.J., Wright, J.V.: Refinement Calculus: A Systematic Introduction, 1st edn. Springer-Verlag New York, Inc., Secaucus (1998)","edition":"1"},{"key":"40_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2704-5","volume-title":"Larch: languages and tools for formal specification","author":"J.V. Guttag","year":"1993","unstructured":"Guttag, J.V., Horning, J.J.: Larch: languages and tools for formal specification. Springer-Verlag New York, Inc., New York (1993)"},{"issue":"2","key":"40_CR28","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1002\/1099-1689(200006)10:2<111::AID-STVR204>3.0.CO;2-P","volume":"10","author":"D.A. Carrington","year":"2000","unstructured":"Carrington, D.A., MacColl, I., McDonald, J., Murray, L., Strooper, P.A.: From object-z specifications to classbench test suites. Softw. Test., Verif. Reliab.\u00a010(2), 111\u2013137 (2000)","journal-title":"Softw. Test., Verif. Reliab."},{"key":"40_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"778","DOI":"10.1007\/978-3-540-45236-2_42","volume-title":"FME 2003: Formal Methods","author":"F. Bouquet","year":"2003","unstructured":"Bouquet, F., Legeard, B.: Reification of executable test scripts in formal specicifation-based test generation: The Java card transaction mechanism case study. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 778\u2013795. Springer, Heidelberg (2003)"},{"key":"40_CR30","first-page":"1","volume-title":"Proceedings of the 7th International Conference on Aspect-oriented Software Development, AOSD 2008","author":"S. Benz","year":"2008","unstructured":"Benz, S.: Aspectt: aspect-oriented test case instantiation. In: Proceedings of the 7th International Conference on Aspect-oriented Software Development, AOSD 2008, pp. 1\u201312. ACM, New York (2008)"},{"key":"40_CR31","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MC.2009.296","volume":"42","author":"B. Meyer","year":"2009","unstructured":"Meyer, B., Fiva, A., Ciupa, I., Leitner, A., Wei, Y., Stapf, E.: Programs that test themselves. Computer\u00a042, 46\u201355 (2009)","journal-title":"Computer"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24559-6_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,12]],"date-time":"2021-12-12T05:03:47Z","timestamp":1639285427000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24559-6_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642245589","9783642245596"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24559-6_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}