{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:48:26Z","timestamp":1725540506396},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642103728"},{"type":"electronic","value":"9783642103735"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10373-5_9","type":"book-chapter","created":{"date-parts":[[2009,11,16]],"date-time":"2009-11-16T11:45:27Z","timestamp":1258371927000},"page":"167-185","source":"Crossref","is-referenced-by-count":15,"title":["Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing"],"prefix":"10.1007","author":[{"given":"Maximiliano","family":"Cristi\u00e1","sequence":"first","affiliation":[]},{"given":"Pablo Rodr\u00edguez","family":"Monetti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Fastest, http:\/\/www.flowgate.net\/?lang=en&seccion=herramientas"},{"issue":"11","key":"9_CR2","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":"9_CR3","unstructured":"Stocks, P.: Applying Formal Methods to Software Testing. PhD thesis, Department of Computer Science, University of Queensland (1993)"},{"key":"9_CR4","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":"9_CR5","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":"9_CR6","volume-title":"The Z Notation: A Reference Manual","author":"J.M. Spivey","year":"1989","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual. Prentice-Hall, Inc., Upper Saddle River (1989)"},{"key":"9_CR7","unstructured":"Souza, S., Maldonado, J., Fabbri, S. Masiero, P.: Statecharts Specifications: A Family of Coverage Testing Criteria. In: CLEI 2000 - XXVI Latin-American Conference of Informatics, CLEI (2000)"},{"issue":"10","key":"9_CR8","doi-asserted-by":"publisher","first-page":"915","DOI":"10.1002\/spe.597","volume":"34","author":"E. Bernard","year":"2004","unstructured":"Bernard, E., Legeard, B., Luck, X., Peureux, F.: Generation of Test Sequences from Formal Specifications: GSM 11-11 Standard Case Study. International Journal of Software Practice and Experience\u00a034(10), 915\u2013948 (2004)","journal-title":"International Journal of Software Practice and Experience"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/BFb0024651","volume-title":"FME \u201993: Industrial-Strength Formal Methods","author":"J. Dick","year":"1993","unstructured":"Dick, J., Faivre, A.: Automating the Generation and Sequencing of Test Cases from Model-Based Specifications. In: Larsen, P.G., Woodcock, J.C.P. (eds.) FME 1993. LNCS, vol.\u00a0670, pp. 268\u2013284. Springer, Heidelberg (1993)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0027283","volume-title":"ZUM\u201997: The Z Formal Specification Notation","author":"S. Helke","year":"1997","unstructured":"Helke, S., Neustupny, T., Santen, T.: Automating Test Case Generation from Z Specifications with Isabelle. In: Till, D., Bowen, J.P., Hinchey, M.G. (eds.) ZUM 1997. LNCS, vol.\u00a01212, pp. 52\u201371. Springer, Heidelberg (1997)"},{"issue":"1","key":"9_CR11","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. Softw. Test., Verif. Reliab.\u00a07(1), 19\u201333 (1997)","journal-title":"Softw. Test., Verif. Reliab."},{"key":"9_CR12","unstructured":"Burton, S., York, H.: Automated Testing from Z Specifications. Technical report, Department of Computer Science \u2013 University of York (2000)"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/11415787_5","volume-title":"ZB 2005: Formal Specification and Development in Z and B","author":"P. Malik","year":"2005","unstructured":"Malik, P., Utting, M.: CZT: A framework for Z tools. In: Treharne, H., King, S., Henson, M.C., Schneider, S. (eds.) ZB 2005. LNCS, vol.\u00a03455, pp. 65\u201384. Springer, Heidelberg (2005)"},{"key":"9_CR14","unstructured":"Community Z Tools, http:\/\/czt.sourceforge.net"},{"key":"9_CR15","unstructured":"ISO: Information Tchnology \u2013 Z Formal Specification Notation \u2013 Syntax, Type System and Semantics. Technical Report ISO\/IEC 13568, International Organization for Standardization (2002)"},{"key":"9_CR16","volume-title":"Documenting Software Architectures: Views and Beyond","author":"P. Clements","year":"2002","unstructured":"Clements, P., Garlan, D., Bass, L., Stafford, J., Nord, R., Ivers, J., Little, R.: Documenting Software Architectures: Views and Beyond. Pearson Education, London (2002)"},{"key":"9_CR17","volume-title":"Software architecture: perspectives on an emerging discipline","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software architecture: perspectives on an emerging discipline. Prentice-Hall, Upper Saddle River (1996)"},{"issue":"6","key":"9_CR18","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/2.153255","volume":"25","author":"D. Garlan","year":"1992","unstructured":"Garlan, D., Kaiser, G.E., Notkin, D.: Using Tool Abstraction to Compose Systems. Computer\u00a025(6), 30\u201338 (1992)","journal-title":"Computer"},{"key":"9_CR19","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., Hinchey, M.G. (eds.) ZUM 1997. LNCS, vol.\u00a01212, pp. 72\u201385. Springer, Heidelberg (1997)"},{"key":"9_CR20","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., Henson, M.C., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, pp. 309\u2013329. Springer, Heidelberg (2002)"},{"key":"9_CR21","volume-title":"Computer Security. Art and Science.","author":"M. Bishop","year":"2003","unstructured":"Bishop, M.: Computer Security. Art and Science. Addison-Wesley, Reading (2003)"},{"key":"9_CR22","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":"9_CR23","doi-asserted-by":"crossref","unstructured":"Murray, L., Carrington, D., Maccoll, I., Strooper, P.: TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing. In: Technology of ObjectOriented Languages and Systems (TOOLS), pp. 222\u2013233 (1999)","DOI":"10.1109\/TOOLS.1999.809428"},{"key":"9_CR24","unstructured":"Murray, L.: Software Requirements Specification for TinMan - Version 1.0. Technical Report 99-02, The Univesity of Qeensland (1999)"},{"key":"9_CR25","unstructured":"Conformiq, http:\/\/www.conformiq.org"},{"key":"9_CR26","unstructured":"Smartesting, http:\/\/www.smartesting.com"},{"key":"9_CR27","unstructured":"Telelogic: Telelogic Statemate & Telelogic Rhapsody, http:\/\/modeling.telelogic.com\/products\/"},{"key":"9_CR28","unstructured":"Utting, M.: Model JUnit, http:\/\/www.cs.waikato.ac.nz\/~marku\/mbt\/modeljunit\/"},{"key":"9_CR29","unstructured":"T-VEC: Requirements-Based Automated Verification, http:\/\/www.t-vec.com\/solutions\/rave.php"},{"key":"9_CR30","unstructured":"T-VEC: T-vec Tester for Simulink and Stateflow, http:\/\/www.t-vec.com\/solutions\/simulink.php"},{"key":"9_CR31","unstructured":"Reactis, http:\/\/www.reactive-systems.com"},{"key":"9_CR32","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-book: Assigning Programs to Meanings","author":"J.R. Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)"},{"key":"9_CR33","unstructured":"Utting, M.: Commercial MBT Tools, http:\/\/www.cs.waikato.ac.nz\/~marku\/mbt\/CommercialMbtTools.pdf"}],"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-10373-5_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:55:01Z","timestamp":1606186501000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10373-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642103728","9783642103735"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10373-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}