%0 Book Section %1 Maldonado.2001 %A Maldonado, José Carlos %A Delamaro, Márcio Eduardo %A Fabbri,Sandra C. P. F., %A Silva Simão, Adenilso %A Sugeta, Tatiana %A Vincenzi, Auri Marcelo Rizzo %A Masiero, Paulo Cesar %B Mutation Testing for the New Century %C Boston and MA %D 2001 %E Wong, W. Eric %I Springer US %K mutation_operators state_chart petri-net %P 113–116 %T Proteum: A Family of Tools to Support Specification and Program Testing Based on Mutation %X The quality of the W&T — Verification, Validation and Testing — activity is extremely relevant to the software development process. The establishment of a low-cost, effective testing and validation strategy and the development of supporting tools have been pursued by many researchers. This presentation discusses the main architectural and operational aspects of a family of tools that support specification and program testing based on mutation. The testing of C programs is supported by Proteum/IM 2.0, at the unit and at the integration level as well. Proteum is an acronym for PROgram Testing Using Mutants. At the specification level the application of mutation testing for validating Reactive Systems (RS) specifications based on Finite State Machines (FSM), Statecharts and Petri Nets is support by Proteum/RS.

@incollection{Maldonado.2001, abstract = {The quality of the W\&T — Verification, Validation and Testing — activity is extremely relevant to the software development process. The establishment of a low-cost, effective testing and validation strategy and the development of supporting tools have been pursued by many researchers. This presentation discusses the main architectural and operational aspects of a family of tools that support specification and program testing based on mutation. The testing of C programs is supported by Proteum/IM 2.0, at the unit and at the integration level as well. Proteum is an acronym for PROgram Testing Using Mutants. At the specification level the application of mutation testing for validating Reactive Systems (RS) specifications based on Finite State Machines (FSM), Statecharts and Petri Nets is support by Proteum/RS.}, added-at = {2013-10-18T15:41:29.000+0200}, address = {Boston and MA}, author = {Maldonado, José Carlos and Delamaro, Márcio Eduardo and {Fabbri,Sandra C. P. F.} and Silva Simão, Adenilso and Sugeta, Tatiana and Vincenzi, Auri Marcelo Rizzo and Masiero, Paulo Cesar}, biburl = {https://www.bibsonomy.org/bibtex/24eae429c9be2df9334014bd45aa125e8/hlackner}, booktitle = {Mutation Testing for the New Century}, editor = {Wong, W. Eric}, interhash = {cf475fe30eb0da7a119c60cbbdcb90da}, intrahash = {4eae429c9be2df9334014bd45aa125e8}, keywords = {mutation_operators state_chart petri-net}, pages = {113–116}, publisher = {Springer US}, timestamp = {2013-10-18T15:41:29.000+0200}, title = {Proteum: A Family of Tools to Support Specification and Program Testing Based on Mutation}, year = 2001 }