{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:05:48Z","timestamp":1740096348385,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405600"},{"type":"electronic","value":"9783642405617"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40561-7_16","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T09:10:29Z","timestamp":1379495429000},"page":"229-243","source":"Crossref","is-referenced-by-count":14,"title":["{log} as a Test Case Generator for the Test Template Framework"],"prefix":"10.1007","author":[{"given":"Maximiliano","family":"Cristi\u00e1","sequence":"first","affiliation":[]},{"given":"Gianfranco","family":"Rossi","sequence":"additional","affiliation":[]},{"given":"Claudia","family":"Frydman","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"11","key":"16_CR1","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 Trans. on Software Engineering\u00a022(11), 777\u2013793 (1996)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Grieskamp, W., Gurevich, Y., Schulte, W., Veanes, M.: Generating finite state machines from abstract state machines. In: ISSTA 2002: Proc. 2002 ACM SIGSOFT Int\u2019l Symp. on Software Testing and Analysis, pp. 112\u2013122. ACM (2002)","DOI":"10.1145\/566171.566190"},{"key":"16_CR3","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.P., Henson, M.C., Robinson, K. (eds.) ZB 2002. LNCS, vol.\u00a02272, p. 309. Springer, Heidelberg (2002)"},{"issue":"6","key":"16_CR4","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":"16_CR5","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., Monetti, P.R.: 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":"16_CR6","doi-asserted-by":"crossref","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 (2010)","DOI":"10.1109\/SEFM.2010.31"},{"key":"16_CR7","doi-asserted-by":"crossref","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, n\/a\u2013n\/a (2012), \n                    \n                      http:\/\/dx.doi.org\/10.1002\/stvr.1477","DOI":"10.1002\/stvr.1477"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Cristi\u00e1, M., Frydman, C.S.: Extending the Test Template Framework to deal with axiomatic descriptions, quantifiers and set comprehensions. In: [27], pp. 280\u2013293","DOI":"10.1007\/978-3-642-30885-7_20"},{"key":"16_CR9","unstructured":"Cristi\u00e1, M., Pl\u00fcss, B.: Generating natural language descriptions of Z test cases. In: Kelleher, J.D., Namee, B.M., van der Sluis, I., Belz, A., Gatt, A., Koller, A. (eds.) INLG, pp. 173\u2013177. The Association for Computer Linguistics (2010)"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1007\/978-3-642-24559-6_40","volume-title":"Formal Methods and Software Engineering","author":"M. Cristia","year":"2011","unstructured":"Cristia, M., Hollmann, D., Albertengo, P., Frydman, C., Monetti, P.R.: A language for test case refinement in the Test Template Framework. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol.\u00a06991, pp. 601\u2013616. Springer, Heidelberg (2011)"},{"key":"16_CR11","unstructured":"Saaltink, M.: The Z\/EVES mathematical toolkit version 2.2 for Z\/EVES version 1.5. Technical report, ORA Canada (1997)"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"937","DOI":"10.1145\/1217856.1217859","volume":"53","author":"R. Nieuwenhuis","year":"2006","unstructured":"Nieuwenhuis, R., Oliveras, A., Tinelli, C.: Solving SAT and SAT modulo theories: From an abstract Davis\u2013Putnam\u2013Logemann\u2013Loveland procedure to DPLL(T). J. ACM\u00a053, 937\u2013977 (2006)","journal-title":"J. ACM"},{"key":"16_CR13","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Recent Advances in Constraints","year":"2004","unstructured":"Apt, K.R., Fages, F., Rossi, F., Szeredi, P., V\u00e1ncza, J. (eds.): CSCLP 2003. LNCS (LNAI), vol.\u00a03010. Springer, Heidelberg (2004)"},{"issue":"3","key":"16_CR14","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/s10601-010-9093-0","volume":"15","author":"P.J. Stuckey","year":"2010","unstructured":"Stuckey, P.J., Becket, R., Fischer, J.: Philosophy of the minizinc challenge. Constraints\u00a015(3), 307\u2013316 (2010)","journal-title":"Constraints"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Schulte, C., Carlsson, M.: Finite Domain Constraint Programming Systems. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming, pp. 493\u2013524. Elsevier (2006)","DOI":"10.1016\/S1574-6526(06)80018-0"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Cristi\u00e1, M., Frydman, C.: Applying SMT solvers to the Test Template Framework. In: Petrenko, A.K., Schlingloff, H. (eds.) Proc. 7th Workshop on Model-Based Testing, Tallinn, Estonia, March 25. Electronic Proc. in Theoretical Computer Science, vol.\u00a080, pp. 28\u201342. Open Publishing Association (2012)","DOI":"10.4204\/EPTCS.80.3"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1007\/978-3-540-45236-2_46","volume-title":"FME 2003: Formal Methods","author":"M. Leuschel","year":"2003","unstructured":"Leuschel, M., Butler, M.: ProB: A model checker for B. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 855\u2013874. Springer, Heidelberg (2003)"},{"issue":"1","key":"16_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(95)00147-6","volume":"28","author":"A. Dovier","year":"1996","unstructured":"Dovier, A., Omodeo, E.G., Pontelli, E., Rossi, G.: A language for programming in logic with finite sets. J. Log. Program.\u00a028(1), 1\u201344 (1996)","journal-title":"J. Log. Program."},{"issue":"5","key":"16_CR19","doi-asserted-by":"publisher","first-page":"861","DOI":"10.1145\/365151.365169","volume":"22","author":"A. Dovier","year":"2000","unstructured":"Dovier, A., Piazza, C., Pontelli, E., Rossi, G.: Sets and constraint logic programming. ACM Trans. Program. Lang. Syst.\u00a022(5), 861\u2013931 (2000)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"16_CR20","unstructured":"Rossi, G.: {log}, \n                    \n                      http:\/\/people.math.unipr.it\/gianfranco.rossi\/setlog.Home.html\n                    \n                    \n                   (last access)"},{"key":"16_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/978-3-540-24599-5_20","volume-title":"Logic Programming","author":"A. Dovier","year":"2003","unstructured":"Dovier, A., Pontelli, E., Rossi, G.: Intensional sets in CLP. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol.\u00a02916, pp. 284\u2013299. Springer, Heidelberg (2003)"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Pal\u00f9, A.D., Dovier, A., Pontelli, E., Rossi, G.: Integrating finite domain constraints and clp with sets. In: PPDP, pp. 219\u2013229. ACM (2003)","DOI":"10.1145\/888251.888272"},{"key":"16_CR23","unstructured":"Cristi\u00e1, M., Rossi, G.: Translation of TTF test specifications into {log}, \n                    \n                      http:\/\/www.fceia.unr.edu.ar\/~mcristia\/publicaciones\/encoding-ttf-setlog.pdf\n                    \n                    \n                   (last access: December 2012)"},{"key":"16_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/BFb0027284","volume-title":"ZUM\u201997: The Z Formal Specification Notation","author":"M. Saaltink","year":"1997","unstructured":"Saaltink, M.: The Z\/EVES System. In: Till, D., Bowen, J.P., Hinchey, M.G. (eds.) ZUM 1997. LNCS, vol.\u00a01212, pp. 72\u201385. Springer, Heidelberg (1997)"},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"D\u00e9harbe, D., Fontaine, P., Guyot, Y., Voisin, L.: SMT solvers for Rodin. In: [27], pp. 194\u2013207","DOI":"10.1007\/978-3-642-30885-7_14"},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"Mentr\u00e9, D., March\u00e9, C., Filli\u00e2tre, J.C., Asuka, M.: Discharging proof obligations from Atelier B using multiple automated provers. In: [27], pp. 238\u2013251","DOI":"10.1007\/978-3-642-30885-7_17"},{"key":"16_CR27","series-title":"Lecture Notes in Computer Science","volume-title":"Abstract State Machines, Alloy, B, VDM, and Z","year":"2012","unstructured":"Derrick, J., Fitzgerald, J., Gnesi, S., Khurshid, S., Leuschel, M., Reeves, S., Riccobene, E. (eds.): ABZ 2012. LNCS, vol.\u00a07316. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40561-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:49:26Z","timestamp":1558079366000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40561-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405600","9783642405617"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40561-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}