{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:18:45Z","timestamp":1775053125916,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540212195","type":"print"},{"value":"9783540247043","type":"electronic"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24704-3_13","type":"book-chapter","created":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:13:44Z","timestamp":1280276024000},"page":"193-208","source":"Crossref","is-referenced-by-count":19,"title":["Mutation Testing Applied to Validate SDL Specifications"],"prefix":"10.1007","author":[{"given":"Tatiana","family":"Sugeta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Carlos","family":"Maldonado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W. Eric","family":"Wong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Agrawal, H.: Design of mutant operators for the C programming language. Technical Report SERC-TR-41-P, Software Engineering Research Center\/Purdue University (1989)"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1109\/HASE.1999.809499","volume-title":"Proceedings of Fourth IEEE International High-Assurance Systems Engineering Symposium (HASE 1999)","author":"P. Ammann","year":"1999","unstructured":"Ammann, P., Black, P.: A specification-based coverage metric to evaluate test sets. In: Proceedings of Fourth IEEE International High-Assurance Systems Engineering Symposium (HASE 1999), pp. 239\u2013248. IEEE Computer Society, Los Alamitos (1999)"},{"key":"13_CR3","first-page":"46","volume-title":"Proceedings of 2nd IEEE International Conference on Formal Engineering Methods","author":"P. Ammann","year":"1998","unstructured":"Ammann, P., Black, P., Majurski, W.: Using model checking to generate tests from specifications. In: Proceedings of 2nd IEEE International Conference on Formal Engineering Methods, Brisbane, Australia, pp. 46\u201354. IEEE Computer Society, Los Alamitos (1998)"},{"issue":"2","key":"13_CR4","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1002\/stvr.226","volume":"11","author":"E.F. Barbosa","year":"2001","unstructured":"Barbosa, E.F., Maldonado, J.C., Vincenzi, A.M.R.: Toward the determination of sufficient mutant operators for C. Software Testing, Verification and Reliability Journal\u00a011(2), 113\u2013136 (2001)","journal-title":"Software Testing, Verification and Reliability Journal"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Black, P.E., Okun, V., Yesha, Y.: Mutation operators for specifications. In: Proceedings of 15th IEEE International Conference on Automated Software Engineering (ASE 2000), pp. 81\u201389 (2000)","DOI":"10.1109\/ASE.2000.873653"},{"key":"13_CR6","volume-title":"IFIP 13th International Conference on Testing of Communicating Systems(TestCom 2000)","author":"L.D. Bousquet","year":"2000","unstructured":"Bousquet, L.D., Ramangalahy, S., Simon, S., Viho, C., Belinfante, A., Vries, R.G.: Formal test automation: The conference protocol with TGV\/TORX. In: Ural, H., Probert, R.L., von Bochmann, G. (eds.) IFIP 13th International Conference on Testing of Communicating Systems(TestCom 2000), Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Bromstrup, L., Hogrefe, D.: TESDL: Experience with generating test cases from SDL specifications. In: Proceedings of Fourth SDL Forum, pp. 267\u2013279 (1989)","DOI":"10.1007\/978-3-642-74238-5_5"},{"issue":"3","key":"13_CR8","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S.: Testing software design modeled by Finite-State Machines. IEEE Transactions on Software Engineering\u00a04(3), 178\u2013187 (1978)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR9","unstructured":"Delamaro, M.E., Maldonado, J.C.: Proteum: A tool for the assessment of test adequacy for C programs. In: Conference on Performability in Computing Systems, Brunswick, NJ, pp. 79\u201395 (1996)"},{"issue":"3","key":"13_CR10","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1109\/32.910859","volume":"27","author":"M.E. Delamaro","year":"2001","unstructured":"Delamaro, M.E., Maldonado, J.C., Mathur, A.P.: Interface mutation: An approach for integration testing. IEEE Transactions on Software Engineering\u00a027(3), 228\u2013247 (2001)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR11","unstructured":"DeMillo, R.A.: Mutation analysis as a tool for software quality assurance. In: Proceedings of COMPSAC 1980, Chicago, IL (1980)"},{"issue":"4","key":"13_CR12","doi-asserted-by":"publisher","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., Sayward, F.G.: Hints on test data selection: Help for the practicing programmer. IEEE Computer\u00a011(4), 34\u201341 (1978)","journal-title":"IEEE Computer"},{"issue":"9","key":"13_CR13","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1109\/32.92910","volume":"17","author":"R.A. DeMillo","year":"1991","unstructured":"DeMillo, R.A., Offutt, A.J.: Constraint-based automatic test data generation. IEEE Transactions on Software Engineering\u00a017(9), 900\u2013910 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Fabbri, S.C.P.F., Maldonado, J.C., Delamaro, M.E., Masiero, P.C.: Proteum\/FSM: A tool to support Finite State Machine validation based on mutation testing. In: Proceedings of XIX SCCC - International Conference of the Chilean Computer Science Society, Talca, Chile, pp. 96\u2013104 (1999a)","DOI":"10.1109\/SCCC.1999.810159"},{"key":"13_CR15","unstructured":"Fabbri, S.C.P.F., Maldonado, J.C., Masiero, P.C.: Mutation analysis in the context of reactive system specification and validation. In: 5th Annual International Conference on Software Quality Management, Bath, UK, pp. 247\u2013258 (1997)"},{"key":"13_CR16","unstructured":"Fabbri, S.C.P.F., Maldonado, J.C., Masiero, P.C., Delamaro, M.E.: Mutation analysis testing for Finite State Machines. In: Proceedings of ISSRE 1994 - Fifth International Symposium on Software Reliability Engineering, Monterey, California, USA, pp. 220\u2013229 (1994)"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Fabbri, S.C.P.F., Maldonado, J.C., Masiero, P.C., Delamaro, M.E., Wong, E.: Mutation testing applied to validate specifications based on Petri nets. In: Proceedings of FORTE 1995 - 8th International IFIP Conference on Formal Description Techniques for Distributed Systems and Communications Protocol, Montreal, Canada, pp. 329\u2013337 (1995)","DOI":"10.1007\/978-0-387-34945-9_24"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Fabbri, S.C.P.F., Maldonado, J.C., Sugeta, T., Masiero, P.C.: Mutation testing applied to validate specifications based on Statecharts. In: ISSRE\u2014 International Symposium on Software Reliability Systems, Boca Raton, Fl\u00f3rida, EUA, pp. 210\u2013219 (1999b)","DOI":"10.1109\/ISSRE.1999.809326"},{"key":"13_CR19","unstructured":"Ghosh, S., Mathur, A.P.: Interface mutation. In: Mutation 2000 - A Symposium on Mutation Testing for the New Century, San Jos\u00e9, California, pp. 112\u2013123 (2000)"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-45075-0_16","volume-title":"SDL 2003: System Design","author":"G. Kov\u00e1cs","year":"2003","unstructured":"Kov\u00e1cs, G., Pap, Z., Viet, D.L., Wu-Hen-Chang, A., Csopaki, G.: Applying mutation analysis to sdl specifications. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol.\u00a02708, pp. 269\u2013284. Springer, Heidelberg (2003)"},{"key":"13_CR21","first-page":"313","volume-title":"Proceedings of 5th SDL Forum","author":"G. Luo","year":"1991","unstructured":"Luo, G., Das, A., Bochmann, G.: Software test selection based on SDL specification with save. In: Proceedings of 5th SDL Forum, pp. 313\u2013324. Elsevier, Glasgow (1991)"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Maldonado, J.C., Delamaro, M.E., Fabbri, S.C.P.F., Simao, A.S., Sugeta, T., Vincenzi, A.M.R., Masiero, P.C.: Proteum: A family of tools to support specification and program testing based on mutation. In: Mutation 2000 - A Symposium on Mutation Testing for the New Century, San Jos\u00e9, California, pp. 146\u2013149 (2000)","DOI":"10.1007\/978-1-4757-5939-6_19"},{"issue":"2","key":"13_CR23","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., Zapf, C.: An experimental determination of sufficient mutant operators. ACMT ransactions on Software Engineering Methodology\u00a05(2), 99\u2013118 (1996)","journal-title":"ACMT ransactions on Software Engineering Methodology"},{"issue":"3","key":"13_CR24","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1002\/(SICI)1099-1689(199709)7:3<165::AID-STVR143>3.0.CO;2-U","volume":"7","author":"A.J. Offutt","year":"1997","unstructured":"Offutt, A.J., Pan, J.: Automatically detecting equivalent mutants and infeasible paths. The Journal of Software Testing, Verification, and Reliability\u00a07(3), 165\u2013192 (1997)","journal-title":"The Journal of Software Testing, Verification, and Reliability"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Petrenko, A., Bochmann, G.: On fault coverage of tests for Finite State specifications. Technical report, D\u00e9partement d\u2019Informatique et de Recherche Op\u00e9rationnelle, Universit\u00e9 de Montreal (1996)","DOI":"10.1016\/S0169-7552(96)00019-0"},{"key":"13_CR26","first-page":"57","volume-title":"Proceedings of the IFIP TC6 Third International Workshop on Protocol Teste Systems","author":"R.L. Probert","year":"1991","unstructured":"Probert, R.L., Guo, F.: Mutation testing of protocols: Principles and preliminary experimental results. In: Proceedings of the IFIP TC6 Third International Workshop on Protocol Teste Systems, pp. 57\u201376. North-Holland, Amsterdam (1991)"},{"key":"13_CR27","unstructured":"Sim\u00e3o, A.S., Maldonado, J.C.: Mutation based test sequence generation for Petri nets. In: Proceedings of III Workshop of Formal Methods, Jo\u00e3o Pessoa, PB, pp. 68\u201379 (2000)"},{"key":"13_CR28","unstructured":"Sim\u00e3o, A.S., Maldonado, J.C., Fabbri, S.C.P.F.: Proteum-RS\/PN: A tool to support edition, simulation and validation of Petri nets based on mutation testing. In: Proceedings of XIV Brazilian Symposium of Software Engineering, Jo\u00e3o Pessoa, PB, Brazil, pp. 227\u2013242 (2000)"},{"issue":"4","key":"13_CR29","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1008978021407","volume":"8","author":"S.R.S. Souza","year":"2000","unstructured":"Souza, S.R.S., Maldonado, J.C., Fabbri, S.C.P.F., Lopes de Souza, W.: Mutation testing applied to Estelle specifications. Quality Software Journal\u00a08(4), 285\u2013301 (2000) (Also published in the 33rdHawaii Internacional Conference on System Sciences (2000).","journal-title":"Quality Software Journal"},{"key":"13_CR30","unstructured":"Sugeta, T., Maldonado, J.C., Masiero, P.C., Fabbri, S.C.P.F.: Proteum-RS\/ST \u2013 A Tool to Support Statecharts Validation Based on Mutation Testing. In: 4th Workshop Iberoamericano de Engenharia de Requisitos e Ambientes de Software - IDEAS 2001, Santo Domingo, Costa Rica, pp. 370\u2013384 (2001)"},{"key":"13_CR31","volume-title":"Computer Networks","author":"A.S. Tanenbaum","year":"1996","unstructured":"Tanenbaum, A.S.: Computer Networks, 3rd edn. Prentice Hall, Englewood Cliffs (1996)","edition":"3"},{"issue":"7","key":"13_CR32","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1016\/S0140-3664(99)00227-3","volume":"23","author":"H. Ural","year":"2000","unstructured":"Ural, H., Saleh, K., Williams, A.: Test generation based on control and data dependencies within system specifications in SDL. Computer Communications\u00a023(7), 609\u2013627 (2000)","journal-title":"Computer Communications"},{"issue":"5","key":"13_CR33","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1109\/32.286420","volume":"20","author":"E.J. Weyuker","year":"1994","unstructured":"Weyuker, E.J., Goradia, T., Singh, A.: Automatically generating test data from a boolean specification. IEEE Transactions on Software Engineering\u00a020(5), 353\u2013363 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR34","doi-asserted-by":"crossref","unstructured":"Wong, W.E., Maldonado, J.C., Mathur, A.P.: Mutation versus alluses: An empirical evaluation of cost, strength and effectiveness. In: First IFIP\/SQI International Conference on Software Quality and Productivity \u2013 Theory, Practice, Education and Training, Hong Kong (1994)","DOI":"10.1007\/978-0-387-34848-3_40"},{"issue":"3","key":"13_CR35","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/S1389-1286(03)00248-2","volume":"42","author":"W.E. Wong","year":"2003","unstructured":"Wong, W.E., Sugeta, T., Li, J.J., Maldonado, J.C.: Coverage testing software architectural design in SDL. Computer Networks\u00a042(3), 359\u2013374 (2003)","journal-title":"Computer Networks"}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24704-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T12:28:28Z","timestamp":1740313708000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24704-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212195","9783540247043"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24704-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}