{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T21:07:30Z","timestamp":1774732050277,"version":"3.50.1"},"publisher-location":"Boston, MA","reference-count":31,"publisher":"Springer US","isbn-type":[{"value":"9781441948885","type":"print"},{"value":"9781475759396","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/978-1-4757-5939-6_19","type":"book-chapter","created":{"date-parts":[[2013,3,10]],"date-time":"2013-03-10T20:08:22Z","timestamp":1362946102000},"page":"113-116","source":"Crossref","is-referenced-by-count":27,"title":["Proteum: A Family of Tools to Support Specification and Program Testing Based on Mutation"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Carlos","family":"Maldonado","sequence":"first","affiliation":[]},{"given":"M\u00e1rcio Eduardo","family":"Delamaro","sequence":"additional","affiliation":[]},{"given":"Sandra C. P. F.","family":"Fabbri","sequence":"additional","affiliation":[]},{"given":"Adenilso","family":"Silva Sim\u00e3o","sequence":"additional","affiliation":[]},{"given":"Tatiana","family":"Sugeta","sequence":"additional","affiliation":[]},{"given":"Auri Marcelo Rizzo","family":"Vincenzi","sequence":"additional","affiliation":[]},{"given":"Paulo Cesar","family":"Masiero","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","volume-title":"and E. H. Spafford. Design of mutant operators for the C programming language. Technical Report SERC-TR41-P, Software Engineering Research Center","author":"H Agrawal","year":"1989","unstructured":"H. Agrawal, R. A. DeMillo, R. Hathaway, W. Hsu, W. Hsu, E. W. Krauser, R. J. Martin, A. P. Mathur, and E. H. Spafford. Design of mutant operators for the C programming language. Technical Report SERC-TR41-P, Software Engineering Research Center, Purdue University, West Lafayette, IN, Mar. 1989."},{"key":"19_CR2","unstructured":"E. R Barbosa, J. C. Maldonado, and A. M. R. Vincenzi. Towards the determination of sufficient mutant operators for C. In First International Workshop on Automated Program Analysis, Testing and Verification,Limerick, Ireland, June 2000. (Accepted for publication in a special issue of the Software Testing Verification and Reliability Journal)."},{"issue":"3","key":"19_CR3","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"TS Chow","year":"1978","unstructured":"T. S. Chow. Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering, 4 (3): 178\u2013187, 1978.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"19_CR4","first-page":"78","volume-title":"19th International Conference of the Chilean Computer Science Society (SCCC99)","author":"M Delamaro","year":"1999","unstructured":"M. Delamaro and J. Maldonado. Interface mutation: Assessing testing quality at interprocedural level. In 19th International Conference of the Chilean Computer Science Society (SCCC\u201999), pages 78\u201386, Talca \u2014 Chile, Nov. 1999."},{"key":"19_CR5","first-page":"79","volume-title":"Conference on Performability in Computing Systems (PCS96)","author":"ME Delamaro","year":"1996","unstructured":"M. E. Delamaro and J. C. Maldonado. Proteum\u2013a tool for the assesment of test adequacy for C programs. In Conference on Performability in Computing Systems (PCS\u201996), pages 79\u201395, Brunswick, NJ, July 1996."},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1109\/ISSRE.1996.558719","volume-title":"VII International Symposium of Software Reliability Engineering (ISSRE96)","author":"ME Delamaro","year":"1996","unstructured":"M. E. Delamaro, J. C. Maldonado, and A. R Mathur. Integration testing using interface mutation. In VII International Symposium of Software Reliability Engineering (ISSRE\u201996), pages 112\u2013121, White Plains, NY, Nov. 1996."},{"key":"19_CR7","volume-title":"Purdue University","author":"ME Delamaro","year":"1996","unstructured":"M. E. Delamaro, J. C. Maldonado, and A. R. Mathur. Proteum - a tool for the assesment of test adequacy for C programs - user\u2019s guide. Technical Report SERC-TR168-P, Software Engineering Research Center, Purdue University, Apr. 1996."},{"key":"19_CR8","volume-title":"Accepted for publication","author":"ME Delamaro","year":"2000","unstructured":"M. E. Delamaro, J. C. Maldonado, and A. P. Mathur. Interface mutation: An approach for integration testing. IEEE Transactions on Software Engineering, (accepted for publication), 2000."},{"key":"19_CR9","first-page":"124","volume-title":"Mutation 2000 Symposium","author":"ME Delamaro","year":"2000","unstructured":"M. E. Delamaro, J. C. Maldonado, and A. M. R. Vincenzi. Proteum\/IM 2.0: An integrated mutation testing environment. In Mutation 2000 Symposium, pages 124\u2013134, San Jose, CA, Oct. 2000."},{"issue":"4","key":"19_CR10","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"RA Demillo","year":"1978","unstructured":"R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on test data selection: Help for the practicing programmer. IEEE Computer, 11 (4): 34\u201343, Apr. 1978.","journal-title":"IEEE Computer"},{"key":"19_CR11","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1109\/SCCC.1999.810159","volume-title":"XIX SCCC International Conference of the Chilean Computer Science Society","author":"SCPE Fabbri","year":"1999","unstructured":"S. C. P. E. Fabbri, J. C. Maldonado, M. E. Delamaro, and P. C. Masiero. Proteum\/FSM: A tool to support finite state machine validation based on mutation testing. In XIX SCCC International Conference of the Chilean Computer Science Society, pages 96\u2013104, Talca, Chile, 1999."},{"key":"19_CR12","unstructured":"S. C. P. E Fabbri, J. C. Maldonado, and P. C. Masiero. Mutation analysis in the context of reactive system specification and validation. In 5th Annual International Conference on Software Quality Management, pages 247\u2013258, Bath, UK, Mar. 1997."},{"key":"19_CR13","first-page":"220","volume-title":"5th International Symposium on Software Reliability Engineering (ISSRE94)","author":"SCPF Fabbri","year":"1994","unstructured":"S. C. P. F. Fabbri, J. C. Maldonado, R C. Masiero, and M. E. Delamaro. Mutation analysis testing for finite state machines. In 5th International Symposium on Software Reliability Engineering (ISSRE\u201994), pages 220\u2013229, Monterey\u2013CA, Nov. 1994."},{"key":"19_CR14","first-page":"329","volume-title":"FORTE95 \u2014 8th IFIP Conference on Formal Descriptions Techniques for Distribute Systems and Communication Protocols","author":"SCPF Fabbri","year":"1995","unstructured":"S. C. P. F. Fabbri, J. C. Maldonado, P. C. Masiero, and M. E. Delamaro. Mutation analisys applied to validate specifications based on petri nets. In FORTE\u201995 \u2014 8th IFIP Conference on Formal Descriptions Techniques for Distribute Systems and Communication Protocols, pages 329\u2013337, Montreal, Canada, Oct. 1995."},{"key":"19_CR15","first-page":"210","volume-title":"ISSRE \u2014 International Symposium on Software Reliability Systems","author":"SCPF Fabbri","year":"1999","unstructured":"S. C. P. F. Fabbri, J. C. Maldonado, T. Sugeta, and R C. Masiero. Mutation testing applied to validate specifications based on statecharts. In ISSRE \u2014 International Symposium on Software Reliability Systems, pages 210\u2013219, Nov. 1999."},{"key":"19_CR16","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8: 231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"issue":"3","key":"19_CR17","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/52.136170","volume":"9","author":"JR Horgan","year":"1992","unstructured":"J. R. Horgan and P. Mathur. Assessing testing tools in research and education. IEEE Software, 9 (3): 61\u201369, May 1992.","journal-title":"IEEE Software"},{"key":"19_CR18","first-page":"32","volume-title":"Mutation 2000 Symposium","author":"JC Maldonado","year":"2000","unstructured":"J. C. Maldonado, E. F. Barbosa, A. M. R. Vincenzi, and M. E. Delamaro. Evaluation N-selective mutation for C programs: Unit and integration testing. In Mutation 2000 Symposium, pages 32\u201344, San Jose, CA, Oct. 2000."},{"key":"19_CR19","first-page":"320","volume-title":"VII Simp\u00f3sio Brasileiro de Engenharia de Software","author":"AP Mathur","year":"1993","unstructured":"A. P. Mathur and W. E. Wong. Evaluation of the cost of alternative mutation strategies. In VII Simp\u00f3sio Brasileiro de Engenharia de Software, pages 320\u2013335, Rio de Janeiro, RJ, Brazil, Oct. 1993."},{"issue":"1","key":"19_CR20","first-page":"9","volume":"4","author":"AP Mathur","year":"1994","unstructured":"A. P. Mathur and W. E. Wong. An empirical comparison of data flow and mutation based test adequacy criteria. The Journal of Software Testing, Verification, and Relability, 4 (1): 9\u201331, Mar. 1994.","journal-title":"and Relability"},{"issue":"4","key":"19_CR21","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<205::AID-STVR186>3.0.CO;2-X","volume":"9","author":"E Mresa","year":"1999","unstructured":"E. Mresa and L. Bottaci. Efficiency of mutation operators and selective mutation strategies: an empirical study. The Journal of Software Testing, Verification and Reliability, 9 (4): 205\u2013232, Dec. 1999.","journal-title":"Verification and Reliability"},{"key":"19_CR22","first-page":"100","volume-title":"15th International Conference on Software Engineering","author":"AJ Offutt","year":"1993","unstructured":"A. J. Offutt, G. Rothermel, and C. Zapf. An experimental evaluation of selective mutation. In 15th International Conference on Software Engineering, pages 100\u2013107, Baltimore, MD, May 1993."},{"key":"19_CR23","unstructured":"A. Petrenko and G. V. Bochmann. On fault coverage of tests for finite state specifications. Technical report, D\u00e9partement d\u2019Informatique et recherche op\u00e9rationnelle \u2014 Universit\u00e9 de Montr\u00e9al, 1996. http:\/\/www.iro.umontreal.ca\/pub\/teleinfo\/TRs\/ Petr96b.ps.gz."},{"key":"19_CR24","unstructured":"A. S. Sim\u00e4o and J. C. Maldonado. Mutation based test sequence generation for Petri nets. In III Workshop of Formal Methods, Jo\u00e4o Pessoa, Oct. 2000."},{"key":"19_CR25","unstructured":"A. S. Sim\u00e4o, J. C. Maldonado, and S. C. P. F. Fabbri. Proteum-RS\/PN: A tool to support edition, simulation and validation of Petri nets based on mutation testing. In Brazilian Symposium on Software Engineering \u2014 SBES\u20192000, Jo\u00e4o Pessoa, Oct. 2000."},{"key":"19_CR26","unstructured":"S. R. S. Souza, J. C. Maldonado, S. C. P. A Fabbri, and W. Lopes de Souza. Mutation testing applied to estelle specifications. In 33rd Hawaii Internacional Conference on System Sciences, Mini-Tracks: Distributed Systems Testing, Maui, Hava\u00ed, Jan. 2000. (Accepted for publication in a special issue on Distributed Systems Testing of the Software Quality Journal)."},{"key":"19_CR27","first-page":"56","volume-title":"Symposium on Mutation Testing","author":"AMR Vincenzi","year":"2000","unstructured":"A. M. R. Vincenzi, J. C. Maldonado, E. F. Barbosa, and M. E. Delamaro. Unit and integration testing strategies for C programs using mutation-based criteria. In Symposium on Mutation Testing, pages 56\u201367, San Jose, CA, Oct. 2000."},{"key":"19_CR28","first-page":"93","volume-title":"VIII International Conference of Software Technology (CITS)","author":"EW Wong","year":"1997","unstructured":"E. W. Wong, J. C. Maldonado, and M. E. Delamaro. Reducing the Cost of Regression Testing by Using Selective Mutation. In VIII International Conference of Software Technology (CITS), pages 93\u2013109, Curitiba\u2013PR\u2013Brazil, June 1997."},{"key":"19_CR29","first-page":"71","volume-title":"Workshop do Projeto Valida\u00e7iio e Teste de Sistemas de Opera\u00e7\u00e2o","author":"W Wong","year":"1997","unstructured":"W. Wong, J. Maldonado, M. Delamaro, and S. Souza. A comparison of selective mutation in C and fortran. In Workshop do Projeto Valida\u00e7iio e Teste de Sistemas de Opera\u00e7\u00e2o, pages 71\u201380, Aguas de Lind\u00f3ia, SP, Jan. 1997."},{"key":"19_CR30","first-page":"439","volume-title":"8th Brazilian Symposium on Software Engineering","author":"WE Wong","year":"1994","unstructured":"W. E. Wong, J. C. Maldonado, M. E. Delamaro, and A. P. Mathur. Constrained mutation in C programs. In 8th Brazilian Symposium on Software Engineering, pages 439\u2013452, Curitiba, PR, Brazil, Oct. 1994."},{"issue":"3","key":"19_CR31","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0164-1212(94)00098-0","volume":"31","author":"WE Wong","year":"1995","unstructured":"W. E. Wong and A. P. Mathur. Reducing the cost of mutation testing: An empirical study. The Journal of Systems and Software, 31 (3): 185\u2013196, Dec. 1995.","journal-title":"The Journal of Systems and Software"}],"container-title":["Mutation Testing for the New Century"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4757-5939-6_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T00:24:55Z","timestamp":1557534295000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4757-5939-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9781441948885","9781475759396"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-1-4757-5939-6_19","relation":{},"subject":[],"published":{"date-parts":[[2001]]}}}