{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T04:21:07Z","timestamp":1743654067384,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642308840"},{"type":"electronic","value":"9783642308857"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30885-7_20","type":"book-chapter","created":{"date-parts":[[2012,6,27]],"date-time":"2012-06-27T08:50:45Z","timestamp":1340787045000},"page":"280-293","source":"Crossref","is-referenced-by-count":3,"title":["Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions"],"prefix":"10.1007","author":[{"given":"Maximiliano","family":"Cristi\u00e1","sequence":"first","affiliation":[]},{"given":"Claudia","family":"Frydman","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_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 Transactions on Software Engineering\u00a022, 777\u2013793 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"20_CR2","unstructured":"Stocks, P.: Applying Formal Methods to Software Testing. PhD thesis, Department of Computer Science, University of Queensland (1993)"},{"key":"20_CR3","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)"},{"key":"20_CR4","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, 1\u201376 (2009)","journal-title":"ACM Comput. Surv."},{"key":"20_CR5","doi-asserted-by":"publisher","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":"20_CR6","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., P. Bowen, J., C. Henson, M., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, pp. 309\u2013329. Springer, Heidelberg (2002)"},{"key":"20_CR7","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, 387\u2013405 (1991)","journal-title":"Softw. Eng. J."},{"key":"20_CR8","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":"20_CR9","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":"20_CR10","unstructured":"Cristi\u00e1, M.: Fastest tool, http:\/\/www.fceia.unr.edu.ar\/~mcristia (last access November 2011)"},{"key":"20_CR11","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":"20_CR12","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":"20_CR13","doi-asserted-by":"crossref","unstructured":"Cristi\u00e1, M., Santiago, V., Vijaykumar, N.: On comparing and complementing two MBT approaches. In: Vargas, F., Cota, E. (eds.) LATW, pp. 1\u20136. IEEE Computer Society (2010)","DOI":"10.1109\/LATW.2010.5550339"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Cristi\u00e1, M., Albertengo, P., Frydman, C., Pl\u00fcss, B., Rodr\u00edguez Monetti, P.: Applying the Test Template Framework to aerospace software. In: Proceedings of the 34th IEEE Annual Software Engineering Workshop, Limerik, Irland. IEEE Computer Society (2011)","DOI":"10.1109\/SEW.2011.25"},{"key":"20_CR15","unstructured":"ECSS: Space Engineering \u2013 Ground Systems and Operations: Telemetry and Telecommand Packet Utilization. Technical Report ECSS-E-70-41A, European Space Agency (2003)"},{"key":"20_CR16","unstructured":"Barnes, J., Chapman, R., Johnson, R., Widmaier, J., Cooper, D., Everett, B.: Engineering the Tokeneer enclave protection software. In: Proceedings of the IEEE International Symposium on Secure Software Engineering. IEEE (2006)"},{"key":"20_CR17","volume-title":"The Z notation: a reference manual","author":"J.M. Spivey","year":"1992","unstructured":"Spivey, J.M.: The Z notation: a reference manual. Prentice Hall International (UK) Ltd., Hertfordshire (1992)"},{"key":"20_CR18","unstructured":"Saaltink, M.: The Z\/EVES mathematical toolkit version 2.2 for Z\/EVES version 1.5. Technical report, ORA Canada (1997)"},{"key":"20_CR19","doi-asserted-by":"crossref","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, Gaithersburg, MD, pp. 69\u201380. National Institute of Standards and Technology (1994)","DOI":"10.1109\/CMPASS.1994.318466"},{"key":"20_CR20","unstructured":"Hall, P.A.V.: Towards testing with respect to formal specification. In: Proc. Second IEE\/BCS Conference on Software Engineering, Conference Publication, IEE\/BCS, vol.\u00a0290, pp. 159\u2013163 (1988)"},{"key":"20_CR21","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, 137\u2013149 (2001)","journal-title":"Information and Software Technology"},{"key":"20_CR22","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":"20_CR23","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":"20_CR24","unstructured":"Burton, S.: Automated Testing from Z Specifications. Technical report, Department of Computer Science \u2013 University of York (2000)"},{"key":"20_CR25","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.) Proceedings 7th Workshop on Model-Based Testing, Tallinn, Estonia, March 25. Electronic Proceedings in Theoretical Computer Science, vol.\u00a080, pp. 28\u201342. Open Publishing Association (2012)","DOI":"10.4204\/EPTCS.80.3"},{"key":"20_CR26","unstructured":"Meudec, C.: Automatic generation of software tests from formal specifications. PhD thesis, Queen\u2019s University of Belfast, Northern Ireland, UK (1997)"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, Alloy, B, VDM, and Z"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30885-7_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T18:23:22Z","timestamp":1743618202000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30885-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642308840","9783642308857"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30885-7_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}