{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T04:29:28Z","timestamp":1744172968802,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642332951"},{"type":"electronic","value":"9783642332968"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33296-8_6","type":"book-chapter","created":{"date-parts":[[2012,9,17]],"date-time":"2012-09-17T02:24:55Z","timestamp":1347848695000},"page":"51-66","source":"Crossref","is-referenced-by-count":2,"title":["BETA: A B Based Testing Approach"],"prefix":"10.1007","author":[{"given":"Ernesto C. B.","family":"de Matos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anamaria Martins","family":"Moreira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: The B Book: Assigning Programs to Meanings. Cambridge University Press (1996)","DOI":"10.1017\/CBO9780511624162"},{"issue":"6","key":"6_CR2","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"J.R. Abrial","year":"2010","unstructured":"Abrial, J.R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. STTT\u00a012(6), 447\u2013466 (2010)","journal-title":"STTT"},{"key":"6_CR3","unstructured":"Ambert, F., Bouquet, F., Chemin, S., Guenaud, S., Legeard, B., Peureux, F., Vacelet, N., Utting, M.: BZ-TT: A tool-set for test generation from Z and B using constraint logic programming. In: Proc. of Formal Approaches to Testing of Software, FATES, pp. 105\u2013120 (2002)"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","first-page":"3","volume-title":"Recent Trends in Data Type Specification","author":"N. Amla","year":"1994","unstructured":"Amla, N., Ammann, P.: Using Z Specifications in Category Partition Testing. In: Ehrig, H., Yu, Y. (eds.) Abstract Data Types 1992 and COMPASS 1992. LNCS, vol.\u00a0785, pp. 3\u201310. Springer, Heidelberg (1994)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press (2008)","DOI":"10.1017\/CBO9780511809163"},{"key":"6_CR6","unstructured":"Burton, S.: Automated testing from Z specifications. Technical report, University of York (2000)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/3-540-47993-7_10","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"Y. Cheon","year":"2002","unstructured":"Cheon, Y., Leavens, G.T.: A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. In: Deng, T. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 231\u20131901. Springer, Heidelberg (2002)"},{"key":"6_CR8","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., Wing, J.M. (eds.) FME 1993. LNCS, vol.\u00a0670, pp. 268\u2013284. Springer, Heidelberg (1993)"},{"key":"6_CR9","unstructured":"Galv\u00e3o, S.S.L.: Especifica\u00e7\u00e3o do micron\u00facleo FreeRTOS utilizando M\u00e9todo B. Master Thesis, DIMAp\/UFRN (2010)"},{"issue":"2","key":"6_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1734103.1734115","volume":"35","author":"A. Gupta","year":"2010","unstructured":"Gupta, A., Bhatia, R.: Testing functional requirements using B model specifications. SIGSOFT Softw. Eng. Notes\u00a035(2), 1\u20137 (2010)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"6_CR11","unstructured":"Huaikou, M., Ling, L.: A test class framework for generating test cases from Z specifications. In: IEEE International Conference on Engineering of Complex Computer Systems (2000)"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D. Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol.\u00a011, 256\u2013290 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"6_CR13","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: JML: a java modeling language. In: Proceedings of Formal Underpinnings of Java Workshop, OOPSLA 1998 (1998)"},{"key":"6_CR14","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)"},{"key":"6_CR15","unstructured":"Marinov, D., Khurshid, S.: TestEra: A novel framework for automated testing of Java programs. In: International Conference on Automated Software Engineering, p. 22 (2001)"},{"key":"6_CR16","unstructured":"Matos, E.C.B., Moreira, A.M., Souza, F., Coelho, R.d.S.: Generating test cases from B specifications: An industrial case study. In: Petrenko, A., Simao, A., Maldonado, J.C. (eds.) Proceedings of 22nd IFIP International Conference on Testing Software and Systems: Short Papers, November 8-10, pp. 55\u201360, Natal, Brazil. CRIM (Centre de Recherche Informatique de Montr\u00e9al) (2010) ISBN-13: 978-2-89522-136-4"},{"key":"6_CR17","unstructured":"Mendes, E., Silveira, D.S., Lencastre, M.: Testimonium: Um m\u00e9todo para gera\u00e7\u00e3o de casos de teste a partir de regras de neg\u00f3cio expressas em OCL. In: IV Brazilian Workshop on Systematic and Automated Software Testing, SAST (2010)"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Myers, G.J.: The Art of Software Testing, 3rd edn. Wiley (2011)","DOI":"10.1002\/9781119202486"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1145\/142137.142153","volume":"27","author":"N. Plat","year":"1992","unstructured":"Plat, N., Larsen, P.G.: An overview of the ISO\/VDM-SL standard. SIGPLAN Not.\u00a027, 76\u201382 (1992)","journal-title":"SIGPLAN Not."},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-540-73770-4_6","volume-title":"Tests and Proofs","author":"M. Satpathy","year":"2007","unstructured":"Satpathy, M., Butler, M., Leuschel, M., Ramesh, S.: Automatic Testing from Formal Specifications. In: Gurevich, Y., Meyer, B. (eds.) TAP 2007. LNCS, vol.\u00a04454, pp. 95\u2013113. Springer, Heidelberg (2007)"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Satpathy, M., Leuschel, M., Butler, M.: Protest: An automatic test environment for B specifications. Electronic Notes in Theoretical Computer Science (2005)","DOI":"10.1016\/j.entcs.2004.12.009"},{"key":"6_CR22","unstructured":"Schneider, S.: B Method, An Introduction. Palgrave (2001)"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Singh, H., Conrad, M., Sadeghipour, S., Singh, H., Conrad, M., Sadeghipour, S.: Test case design based on Z and the classification-tree method. In: First IEEE International Conference on Formal Engineering Methods, pp. 81\u201390 (1997)","DOI":"10.1109\/ICFEM.1997.630406"},{"key":"6_CR24","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Prentice-Hall (1992)"},{"issue":"1","key":"6_CR25","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1109\/32.979992","volume":"28","author":"K. Tai","year":"2002","unstructured":"Tai, K., Lei, Y.: A test generation strategy for pairwise testing. IEEE Transactions on Software Engineering\u00a028(1), 109\u2013111 (2002)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR26","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML. Addison-Wesley (1999)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33296-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T22:37:44Z","timestamp":1744151864000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33296-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642332951","9783642332968"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33296-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}