{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T13:25:36Z","timestamp":1762003536322,"version":"3.43.0"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1999,12,1]],"date-time":"1999-12-01T00:00:00Z","timestamp":944006400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,12,1]],"date-time":"1999-12-01T00:00:00Z","timestamp":944006400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Quality Journal"],"published-print":{"date-parts":[[1999,12]]},"DOI":"10.1023\/a:1008978021407","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T12:46:35Z","timestamp":1040561195000},"page":"285-301","source":"Crossref","is-referenced-by-count":26,"title":["Mutation Testing Applied to Estelle Specifications"],"prefix":"10.1007","volume":"8","author":[{"given":"Simone do Rocio Senger","family":"de Souza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Carlos","family":"Maldonado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandra Camargo Pinto Ferraz","family":"Fabbri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wanderley Lopes","family":"de Souza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"268037_CR1","volume-title":"Design of mutant operators for the C programming language","author":"H. Agrawal","year":"1989","unstructured":"Agrawal, H., et al. 1989. Design of mutant operators for the C programming language. Purdue University, Purdue, TR SERC-TR-41-P."},{"key":"268037_CR2","unstructured":"Amer, P.D., Sethi, A.S., and Fecko, M. 1997. Formal design and testing of army communication protocols based on Estelle. Proc. 1st ARLrATIRP Conf., College Park, pp. 107\u2013114."},{"key":"268037_CR3","unstructured":"Barbosa, E.F., Vincenzi, A.M.R., and Maldonado, J.C. 1998. A contribution for the determination of an essential mutant operator set for C programs. Proc. XII SBES'98\u2014Brazilian Software Engineering Symp., Maring\u00e1, PR, Brazil (in Portuguese)."},{"key":"268037_CR4","doi-asserted-by":"crossref","unstructured":"Bochmann, G.v., and Petrenko, A. 1994. Protocol testing: review of methods and relevance for software testing. Proc. ISSTA'94\u2014Int. Symp. Software Testing and Analysis, ACM Software Engineering Notes, pp. 109\u2013124.","DOI":"10.1145\/186258.187153"},{"issue":"1","key":"268037_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0169-7552(87)90084-5","volume":"14","author":"S. Budkowski","year":"1987","unstructured":"Budkowski, S., and Dembinski, P. 1987. An introduction to Estelle: a specification language for distributed systems, Compu. Network ISDN Syst., 14(1): 3\u201323.","journal-title":"Compu. Network ISDN Syst."},{"issue":"3","key":"268037_CR6","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S. 1978. Testing software design modeled by finite-state machines, IEEE Trans. Software Eng. SE-4(3): 178\u2013187.","journal-title":"IEEE Trans. Software Eng."},{"key":"268037_CR7","unstructured":"Delamaro, M.E. 1993. Proteum\u2014a test environment based on the mutation analysis. M.Sc. thesis, ICMC\/USP, S\u00e3o Carlos, SP, Brazil in (Portuguese)."},{"key":"268037_CR8","unstructured":"Delamaro, M.E. 1997. Interface mutation: an inter-procedural adequacy criterion for integration testing. Ph.D. thesis, IFSC\/USP, S\u00e3o Carlos, SP, Brazil (in Portuguese)."},{"key":"268037_CR9","doi-asserted-by":"crossref","unstructured":"Delamaro, M.E., Maldonado, J.C., and Mathur, A.P. 2000. Interface mutation: an approach for integration testing, IEEE Trans. Software Eng. to appear.","DOI":"10.1109\/32.910859"},{"issue":"4","key":"268037_CR10","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"R.A. DeMillo","year":"1978","unstructured":"DeMillo, R.A., Lipton, R.J., and Sayward, F.G. 1978. Hints on test data selection: help for the practicing programmer, IEEE Comput. 11(4): 34\u201341.","journal-title":"IEEE Comput."},{"key":"268037_CR11","unstructured":"DeMillo, R.A. 1980. Mutation analysis as a tool for software quality assurance. Proc. COMPSAC 80, Chicago, IL."},{"key":"268037_CR12","unstructured":"Fabbri, S.C.P.F., Maldonado, J.C., Delamaro, M.E., and Masiero, P.C. 1994. Mutation analysis testing for finite state machine. Proc. ISSRE'94\u2014Fifth Int. Symp. Software Reliability Eng., California, USA, pp. 220\u2013229."},{"key":"268037_CR13","doi-asserted-by":"crossref","unstructured":"Fabbri, S.C.P.F., Maldonado, J.C., Masiero, P.C., Delamaro, M.E., and Wong, E. 1995. Mutation testing applied to validate specifications based on Petri nets. Proc. FORTE'95\u20148th Int. IFIP Conf. Formal Description Techniques for Distributed Sys. Commun. Protocol, Montreal, Canada.","DOI":"10.1007\/978-0-387-34945-9_24"},{"key":"268037_CR14","doi-asserted-by":"crossref","unstructured":"Fabbri, S.C.P.F., Maldonado, J.C., Sugeta, T., and Masiero, P.C. 1999. Mutation testing applied to validate specifications based on Statecharts. Proc. ISSRE'99\u201410th Int. Symp. Software Reliability Eng., Florida, pp. 210\u2013219.","DOI":"10.1109\/ISSRE.1999.809326"},{"key":"268037_CR15","unstructured":"Fecko, M.A., Uyar, M.U., Amer, P.D., and Sethi, A.S. 1998. Optimum test sequence generation from Estelle specifications. Proc. Estelle'98, Paris."},{"key":"268037_CR16","doi-asserted-by":"crossref","unstructured":"Henniger, O., Ulrich, A., and K\u00f6nig, H. 1995. Transformation of Estelle modules aiming at test case generation. Proc. IWPTS'95\u2014IFIP Int. Workshop on Protocol Test Syst., Paris, pp. 45\u201360.","DOI":"10.1007\/978-0-387-34988-6_3"},{"key":"268037_CR17","unstructured":"ISO\/TC97\/SC21\/WG1\/DIS9074. 1987. Estelle\u2014a formal description technique based on an extended state transition model."},{"key":"268037_CR18","unstructured":"Lopes de Souza, W. 1989. Estelle: a technique for the formal description of services and communication protocols, Rev. Bras. Comput. SBC 5(1)."},{"key":"268037_CR19","volume-title":"The Art of Software Testing","author":"G. Myers","year":"1979","unstructured":"Myers, G. 1979. The Art of Software Testing. New York, Wiley."},{"issue":"2","key":"268037_CR20","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1145\/227607.227610","volume":"5","author":"A.J. Offutt","year":"1996","unstructured":"Offutt, A.J., Lee, A., Rothermel, G., Untch, R.H., and Zapf, C. 1996. An experimental determination of sufficient mutant operators. ACM Trans. Software Eng. Methodol. 5(2): 99\u2013118.","journal-title":"ACM Trans. Software Eng. Methodol"},{"key":"268037_CR21","unstructured":"Probert, R.L., and Guo, F. 1991. Mutation testing of protocols: principles and preliminary experimental results. In Davidson, I., and Litwack, D.W., Eds. Proc. Protocol Test Systems, III, North-Holland, pp. 57\u201376."},{"issue":"4","key":"268037_CR22","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1109\/TSE.1985.232226","volume":"11","author":"S. rRapps","year":"1985","unstructured":"rRapps, S., and Weyuker, E.J. 1985. Selecting software test data using data flow information. IEEE Trans. Software Eng. 11(4): 367\u2013375.","journal-title":"IEEE Trans. Software Eng."},{"key":"268037_CR23","unstructured":"Sim\u00e3o, A.S. 2000. Proteum-Rs\/PN: a tool to support the validation of Petri Net specification based on the Mutation Testing. M.Sc. thesis, ICMC\/USP, S\u00e3o Carlos, SP, Brazil in (preparation)."},{"key":"268037_CR24","doi-asserted-by":"crossref","unstructured":"Tracz, W. 1996. Test and analysis of software architectures. Proc. ISSTA'96\u2014\u2014Int. Symp. Software Testing and Anal., ACM Software Engineering Notes, pp. 1\u20133.","DOI":"10.1145\/229000.226296"},{"issue":"5","key":"268037_CR25","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0140-3664(92)90092-S","volume":"15","author":"H. Ural","year":"1992","unstructured":"Ural, H. 1992. Formal methods for test sequence generation, Comput. Commun. 15(5): 311\u2013325.","journal-title":"Comput. Commun."},{"issue":"5","key":"268037_CR26","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1109\/32.286420","volume":"20","author":"E. Weyuker","year":"1994","unstructured":"Weyuker, E., Goradia, T., and Singh, A. 1994. Automatically generating test data from a boolean specification, IEEE Trans. Software Eng. 20(5): 353\u2013363.","journal-title":"IEEE Trans. Software Eng."},{"key":"268037_CR27","doi-asserted-by":"crossref","unstructured":"Wong, W.E., Maldonado, J.C., and Mathur, A.P. 1994. Mutation versus all-uses: an empirical evaluation of cost, strength and effectiveness. Proc. First IFIPrSQI Int. Conf. Software Quality and Productivity, Hong Kong.","DOI":"10.1007\/978-0-387-34848-3_40"},{"key":"268037_CR28","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0164-1212(94)00098-0","volume":"31","author":"W.E. rWong","year":"1995","unstructured":"rWong, W.E., and Mathur, A.P. 1995. Reducing the cost of mutation testing: an empirical study, J. Syst. Software 31: 185\u2013196.","journal-title":"J. Syst. Software"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008978021407.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008978021407\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008978021407.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T04:48:11Z","timestamp":1754628491000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008978021407"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,12]]},"references-count":28,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1999,12]]}},"alternative-id":["268037"],"URL":"https:\/\/doi.org\/10.1023\/a:1008978021407","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"type":"print","value":"0963-9314"},{"type":"electronic","value":"1573-1367"}],"subject":[],"published":{"date-parts":[[1999,12]]}}}