{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:20:36Z","timestamp":1742401236889},"publisher-location":"Boston, MA","reference-count":26,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781441948885"},{"type":"electronic","value":"9781475759396"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/978-1-4757-5939-6_17","type":"book-chapter","created":{"date-parts":[[2013,3,10]],"date-time":"2013-03-10T20:08:22Z","timestamp":1362946102000},"page":"91-101","source":"Crossref","is-referenced-by-count":39,"title":["Proteum\/IM 2.0: An Integrated Mutation Testing Environment"],"prefix":"10.1007","author":[{"given":"M\u00e1rcio Eduardo","family":"Delamaro","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 Carlos","family":"Maldonado","sequence":"additional","affiliation":[]},{"given":"Auri Marcelo Rizzo","family":"Vincenzi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","DOI":"10.21236\/ADA076575","volume-title":"Mutation analysis. Technical Report GITICS-79\/08","author":"AT Acree","year":"1979","unstructured":"A. T. Acree, T. A. Budd, R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Mutation analysis. Technical Report GITICS-79\/08, Georgia Institute of Technology, Atlanta, GA, Sept. 1979."},{"key":"17_CR2","volume-title":"Purdue University","author":"H Agrawal","year":"1989","unstructured":"H. Agrawal, R. A. DeMillo, R. Hataway, W. Hsu, W. Hsu, E. Krauser, R. J. Martin, A. P. Mathur, and E. H. Spafford. Design of Mutant Operators for C Programming Language. Tech Report SERC-TR41-P, Software Engineering Research Center, Purdue University, March 1989."},{"key":"17_CR3","unstructured":"E. F. 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)."},{"key":"17_CR4","volume-title":"GFC \u2014 a multilanguage tool for program graph generation. Masters thesis","author":"M Carnassale","year":"1991","unstructured":"M. Carnassale. GFC \u2014 a multilanguage tool for program graph generation. Master\u2019s thesis, DCA\/FEE\/UNICAMP, Campinas, SP, Feb. 1991. (in Portuguese)."},{"key":"17_CR5","volume-title":"Poke-tool - a tool to suport data flow based structural test of programs. Masters thesis","author":"ML Chaim","year":"1991","unstructured":"M. L. Chaim. Poke-tool - a tool to suport data flow based structural test of programs. Master\u2019s thesis, DCA\/FEEC\/UNICAMP, Campinas, SP, Apr. 1991. (in Portuguese)."},{"key":"17_CR6","volume-title":"Purdue University","author":"S-S Chen","year":"1992","unstructured":"S.-S. Chen. Design of a mutation testing tool for C. Department of Computer Sciences, Purdue University, Apr. 1992."},{"key":"17_CR7","volume-title":"Interface Mutation: An Interprocedural Adequace Criterion for Integration Testing. PhD thesis","author":"ME Delamaro","year":"1997","unstructured":"M. E. Delamaro. Interface Mutation: An Interprocedural Adequace Criterion for Integration Testing. PhD thesis, Instituto de Fisica de S\u00e3o Carlos - Universidade de S\u00e3o Paulo, Sao Carlos, SP, June 1997. (in Portuguese)."},{"key":"17_CR8","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":"17_CR9","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. P. 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":"17_CR10","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":"17_CR11","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/0164-1212(84)90030-X","volume":"4","author":"A Haley","year":"1984","unstructured":"A. Haley and S. Zweben. Development and Application of a White Box Approach to Integration Testing. The Journal of Systems and Software, 4: 309\u2013315, 1984.","journal-title":"The Journal of Systems and Software"},{"issue":"2","key":"17_CR12","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/52.73750","volume":"8","author":"MJ Harrold","year":"1991","unstructured":"M. J. Harrold and M. L. Soffa. Selecting and Using Data for Integration Test. IEEE Software, 8 (2): 58\u201365, March 1991.","journal-title":"IEEE Software"},{"issue":"3","key":"17_CR13","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":"17_CR14","first-page":"13","volume-title":"Proceedings of the X Annual Conference on Computer Assurance (COMPASS 95)","author":"Z Jin","year":"1995","unstructured":"Z. Jin and A. J. Offut. Integration Testing Based on Software Couplings. In Proceedings of the X Annual Conference on Computer Assurance (COMPASS 95), pages 13\u201323, Gaithersburg, Maryland, January 1995."},{"key":"17_CR15","volume-title":"Purdue University","author":"M Kim","year":"1992","unstructured":"M. Kim. Design of a mutation testing tool for C. Department of Computer Sciences, Purdue University, Apr. 1992."},{"issue":"7","key":"17_CR16","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1002\/spe.4380210704","volume":"21","author":"KN King","year":"1991","unstructured":"K. N. King and A. J. Offutt. A Fortran language system for mutation based software testing. Software-Practice and Experience, 21 (7): 685\u2013718, July 1991.","journal-title":"Software-Practice and Experience"},{"key":"17_CR17","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1109\/ICSI.1990.138737","volume-title":"Proceedings of the First International Conference on Systems Integration","author":"U Linnenkugel","year":"1990","unstructured":"U. Linnenkugel and M. M\u00fcllerburg. Test Data Selection Criteria for (Software) Integration Testing. In Proceedings of the First International Conference on Systems Integration, pages 709\u2013717, Momstown, NJ, April 1990."},{"key":"17_CR18","first-page":"32","volume-title":"Mutation 2000 Symposium","author":"JC Maldonado","year":"2000","unstructured":"J. C. Maldonado, E. E 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":"17_CR19","unstructured":"A. P. Mathur. Performance, effectiveness and reliability issues in software testing. In 15th Annual International Computer Software and Applications Conference, pages 604605, Tokio, Japan, Sept. 1991."},{"key":"17_CR20","volume-title":"Fall","author":"AP Mathur","year":"1992","unstructured":"A. P. Mathur. Cs 406 software engineering. Course Handout, Purdue University, Fall 1992."},{"issue":"4","key":"17_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"},{"issue":"2","key":"17_CR22","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1145\/227607.227610","volume":"5","author":"AJ Offutt","year":"1996","unstructured":"A. J. Offutt, A. Lee, G. Rothermel, R. H. Untch, and C. Zapf. An experimental determination of sufficient mutant operators. ACM Transactions on Software Engineering Methodology, 5 (2): 99\u2013118, 1996.","journal-title":"ACM Transactions on Software Engineering Methodology"},{"key":"17_CR23","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":"17_CR24","first-page":"139","volume-title":"International Symposium on Software Testing and Analysis","author":"R Untch","year":"1993","unstructured":"R. Untch, M. J. Harrold, and J. Offutt. Mutation analysis using mutant schemata. In International Symposium on Software Testing and Analysis, pages 139\u2013148, Cambridge, Massachusetts, June 1993."},{"key":"17_CR25","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":"17_CR26","first-page":"439","volume-title":"Proceedings of the 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 Proceedings of the 8th Brazilian Symposium on Software Engineering, pages 439\u2013452, Curitiba, PR, Brazil, October 1994."}],"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_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T00:21:44Z","timestamp":1557534104000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4757-5939-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9781441948885","9781475759396"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-1-4757-5939-6_17","relation":{},"subject":[],"published":{"date-parts":[[2001]]}}}