José Carlos Maldonado

Vinicius Humberto Serapilha Durelli, Rodrigo Fraxino Araujo, Marco Aurelio Graciotto Silva, Rafael Alves Paes de Oliveira, José Carlos Maldonado, Márcio Eduardo Delamaro: A scoping study on the 25 years of research into software testing in Brazil and an outlook on the future of the area. Journal of Systems and Software 86(4): 934-950 (2013)

Otávio Augusto Lazzarini Lemos, Fabiano Cutigi Ferrari, Marcelo Medeiros Eler, José Carlos Maldonado, Paulo Cesar Masiero: Evaluation studies of software testing research in Brazil and in the world: A survey of two premier software engineering conferences. Journal of Systems and Software 86(4): 951-969 (2013)

Elisa Yumi Nakagawa, Pablo Oliveira Antonino, Martin Becker, José Carlos Maldonado, Holger Storf, Karina Villela, H. Dieter Rombach: Relevance and perspectives of AAL in Brazil. Journal of Systems and Software 86(4): 985-996 (2013)

Edson Alves de Oliveira Junior, Itana Maria de Souza Gimenes, José Carlos Maldonado, Paulo Cesar Masiero, Leonor Barroca: Systematic Evaluation of Software Product Line Architectures. J. UCS 19(1): 25-52 (2013)

Leandro A. Lanceloti, José Carlos Maldonado, Itana Maria de Souza Gimenes, Edson A. Oliveira Jr.: SMartyParser: a XMI parser for UML-based software product line variability models. VaMoS 2013: 10

Sung Y. Shin, José Carlos Maldonado (Eds.): Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013. ACM 2013, isbn 978-1-4503-1656-9

Simone do Rocio Senger de Souza, Marllos Paiva Prado, Ellen Francine Barbosa, José Carlos Maldonado: An Experimental Study to Evaluate the Impact of the Programming Paradigm in the Testing Activity. CLEI Electron. J. 15(1) (2012)

Katia Romero Felizardo, Gabriel de Faria Andery, Fernando Vieira Paulovich, Rosane Minghim, José Carlos Maldonado: A visual analysis approach to validate the selection review of primary studies in systematic reviews. Information & Software Technology 54(10): 1079-1091 (2012)

Katia Romero Felizardo, Stephen G. MacDonell, Emilia Mendes, José Carlos Maldonado: A Systematic Mapping on the use of Visual Data Mining to Support the Conduct of Systematic Literature Reviews. JSW 7(2): 450-461 (2012)

Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado: Model-based testing of software and systems: recent advances and challenges. STTT 14(4): 383-386 (2012)

Edson Alves de Oliveira Junior, Itana Maria de Souza Gimenes, José Carlos Maldonado: Software Product Line Evaluation: Categorization and Evolution over the Years. DMS 2012: 83-88

Diego R. Fiori, Itana Maria de Souza Gimenes, José Carlos Maldonado, Edson Alves de Oliveira Junior: Variability Management in Software Product Line Activity Diagrams. DMS 2012: 89-94

Elis Montoro Hernandes, Erika Nina Höhn, José Carlos Maldonado, Sandra Fabbri: Facilitating the Handling of Documents through Tree-Map Visualization. ICEIS (2) 2012: 98-104

Milena Guessi, Elisa Yumi Nakagawa, Flávio Oquendo, José Carlos Maldonado: Architectural description of embedded systems: a systematic review. ISARCS 2012: 31-40

Elisa Yumi Nakagawa, Martin Becker, José Carlos Maldonado: A knowledge-based framework for reference architectures. SAC 2012: 1197-1202

Edson Alves de Oliveira Junior, Itana Maria de Souza Gimenes, José Carlos Maldonado: Empirical Validation of Variability-based Complexity Metrics for Software Product Line Architecture. SEKE 2012: 622-627

Elder de M. Rodrigues, Avelino F. Zorzo, Edson Alves de Oliveira Junior, Itana Maria de Souza Gimenes, José Carlos Maldonado, Anderson R. P. Domingues: PlugSPL: An Automated Environment for Supporting Plugin-based Software Product Lines. SEKE 2012: 647-650

Rafael Cunha, Tayana Conte, Eduardo Santana de Almeida, José Carlos Maldonado: A Set of Inspection Techniques on Software Product Line Models. SEKE 2012: 657-662

Ellen Francine Barbosa, José Carlos Maldonado: IMA-CID: an integrated modeling approach for developing educational modules. J. Braz. Comp. Soc. 17(4): 207-239 (2011)

Elisa Yumi Nakagawa, Fabiano Cutigi Ferrari, Mariela M. F. Sasaki, José Carlos Maldonado: An aspect-oriented reference architecture for Software Engineering Environments. Journal of Systems and Software 84(10): 1670-1684 (2011)

Fabiano Cutigi Ferrari, Elisa Yumi Nakagawa, José Carlos Maldonado, Awais Rashid: Proteum/AJ: a mutation system for AspectJ programs. AOSD (Companion) 2011: 73-74

Draylson Micael de Souza, José Carlos Maldonado, Ellen Francine Barbosa: ProgTest: An environment for the submission and evaluation of programming assignments based on testing activities. CSEE&T 2011: 1-10

Katia Romero Felizardo, Norsaremah Salleh, Rafael Messias Martins, Emilia Mendes, Stephen G. MacDonell, José Carlos Maldonado: Using Visual Text Mining to Support the Study Selection Activity in Systematic Literature Reviews. ESEM 2011: 77-86

Vanessa Araujo Borges, José Carlos Maldonado, Ellen Francine Barbosa: Towards the establishment of supporting mechanisms for modeling and generating educational content. SAC 2011: 1202-1207

Elisa Yumi Nakagawa, José Carlos Maldonado: Towards the Open Source Reference Architectures. SBCARS 2011: 61-70

Vinicius H. S. Durelli, Rodrigo Fraxino Araujo, Marco A. G. Silva, Rafael A. P. Oliveira, José Carlos Maldonado, Márcio Eduardo Delamaro: What a Long, Strange Trip It's Been: Past, Present, and Future Perspectives on Software Testing Research. SBES 2011: 30-39

Márcio Eduardo Delamaro, Marcos Lordello Chaim, Auri M. R. Vincenzi, Mario Jino, José Carlos Maldonado: Twenty-Five Years of Research in Structural and Mutation Testing. SBES 2011: 40-49

Otávio Augusto Lazzarini Lemos, Fabiano Cutigi Ferrari, Marcelo Medeiros Eler, José Carlos Maldonado, Paulo Cesar Masiero: Evaluation Studies of Software Testing Research in the Brazilian Symposium on Software Engineering. SBES 2011: 56-65

Elisa Yumi Nakagawa, José Carlos Maldonado: Contributions and Perspectives in Architectures of Software Testing Environments. SBES 2011: 66-71

Katia Romero Felizardo, Mehwish Riaz, Muhammad Sulayman, Emilia Mendes, Stephen G. MacDonell, José Carlos Maldonado: Analysing the Use of Graphs to Represent the Results of Systematic Reviews in Software Engineering. SBES 2011: 174-183

Edson Alves de Oliveira Junior, Itana Maria de Souza Gimenes, José Carlos Maldonado: A Meta-Process to Support Trade-Off Analysis in Software Product Line Architecture. SEKE 2011: 687-692

Adenauer Corrêa Yamin, José Carlos Maldonado: Preface to CLEI 2009 Special Issue. CLEI Electron. J. 13(3) (2010)

Edson Alves de Oliveira Junior, Itana Maria de Souza Gimenes, José Carlos Maldonado: Systematic Management of Variability in UML-based Software Product Lines. J. UCS 16(17): 2374-2393 (2010)

Fabiano Cutigi Ferrari, Rachel Burrows, Otávio Augusto Lazzarini Lemos, Alessandro Garcia, Eduardo Figueiredo, Nélio Cacho, Frederico Lopes, Nathalia Temudo, Liana Silva, Sérgio Soares, Awais Rashid, Paulo Cesar Masiero, Thaís Vasconcelos Batista, José Carlos Maldonado: An exploratory study of fault-proneness in evolving aspect-oriented programs. ICSE (1) 2010: 65-74

Edson Alves de Oliveira Junior, José Carlos Maldonado, Itana Maria de Souza Gimenes: Empirical Validation of Complexity and Extensibility Metrics for Software Product Line Architectures. SBCARS 2010: 31-40

Fabiano Cutigi Ferrari, Rachel Burrows, Otávio Augusto Lazzarini Lemos, Alessandro F. Garcia, José Carlos Maldonado: Characterising Faults in Aspect-Oriented Programs: Towards Filling the Gap Between Theory and Practice. SBES 2010: 50-59

Marcelo Medeiros Eler, Márcio Eduardo Delamaro, José Carlos Maldonado, Paulo César Masiero: Built-In Structural Testing of Web Services. SBES 2010: 70-79

Diogo N. Campanha, Simone do Rocio Senger de Souza, José Carlos Maldonado: Mutation Testing in Procedural and Object-Oriented Paradigms: An Evaluation of Data Structure Programs. SBES 2010: 90-99

Elisa Yumi Nakagawa, João Vítor Tornisiello Trevisan, José Carlos Maldonado: Software Configuration Management as a Crosscutting Concern: An Example on Software Testing. SEKE 2010: 628-633

Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado (Eds.): Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings. Lecture Notes in Computer Science 6435, Springer 2010, isbn 978-3-642-16572-6

Adenilso da Silva Simão, José Carlos Maldonado, Roberto da Silva Bigonha: A transformational language for mutant description. Computer Languages, Systems & Structures 35(3): 322-339 (2009)

Adenilso da Silva Simão, Alexandre Petrenko, José Carlos Maldonado: Comparing finite state machine test. IET Software 3(2): 91-105 (2009)

Elisa Yumi Nakagawa, Mariela M. F. Sasaki, José Carlos Maldonado: An Aspect-Oriented Framework for Software Documentation: An Example on Testing. CIbSE 2009: 225-238

Marcelo Medeiros Eler, André Takeshi Endo, Paulo Cesar Masiero, Márcio Eduardo Delamaro, José Carlos Maldonado, Auri Marcelo Rizzo Vincenzi, Marcos Lordello Chaim, Delano M. Beder: JaBUTiService: A Web Service for Structural Testing of Java Programs. SEW 2009: 69-76

Elisa Yumi Nakagawa, Ellen Francine Barbosa, José Carlos Maldonado: Exploring ontologies to support the establishment of reference architectures: An example on software testing. WICSA/ECSA 2009: 249-252

Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão, José Carlos Maldonado: Towards Deriving Test Sequences by Model Checking. Electr. Notes Theor. Comput. Sci. 195: 21-40 (2008)

José Carlos Maldonado, Claes Wohlin: In this issue. Empirical Software Engineering 13(1): 1-2 (2008)

Adalberto Nobiato Crespo, Mario Jino, Alberto Pasquini, José Carlos Maldonado: A binomial software reliability model based on coverage of structural testing criteria. Empirical Software Engineering 13(2): 185-209 (2008)

Alberto H. F. Laender, Carlos José Pereira de Lucena, José Carlos Maldonado, Edmundo de Souza e Silva, Nivio Ziviani: Assessing the research and education quality of the top Brazilian Computer Science graduate programs. SIGCSE Bulletin 40(2): 135-145 (2008)

José Carlos Maldonado: Teste de Software no Contexto do Projeto Qualipso e Perspectivas Nacionais. CIbSE 2008

Elisa Yumi Nakagawa, José Carlos Maldonado: Requisitos Arquiteturais como Base para a Qualidade de Ambientes de Engenharia de Software. CIbSE 2008: 183-196

Elisa Yumi Nakagawa, Elaine P. M. de Sousa, Kiyoshi de Brito Murata, Gabriel de Faria Andery, Leonardo Bitencourt Morelli, José Carlos Maldonado: Software Architecture Relevance in Open Source Software Evolution: A Case Study. COMPSAC 2008: 1234-1239

Ellen Francine Barbosa, Simone do Rocio Senger de Souza, José Carlos Maldonado: An Experience on Applying Learning Mechanisms for Teaching Inspection and Software Testing. CSEE&T 2008: 189-196

Manoel G. Mendonça, José Carlos Maldonado, Maria Cristina Ferreira de Oliveira, Jeffrey Carver, Sandra Camargo Pinto Ferraz Fabbri, Forrest Shull, Guilherme Horta Travassos, Erika Nina Höhn, Victor R. Basili: A Framework for Software Engineering Experimental Replications. ICECCS 2008: 203-212

Elisa Yumi Nakagawa, José Carlos Maldonado: Reference architecture knowledge representation: an experience. SHARK 2008: 51-54

Fabiano Cutigi Ferrari, José Carlos Maldonado, Awais Rashid: Mutation Testing for Aspect-Oriented Programs. ICST 2008: 52-61

Ellen Francine Barbosa, José Carlos Maldonado: Specialization and Instantiation Aspects of a Standard Process for Developing Educational Modules. ISoLA 2008: 503-518

Rogério Eduardo Garcia, Erika Nina Höhn, Ellen Francine Barbosa, José Carlos Maldonado: An Ontology for Controlled Experiments on Software Engineering. SEKE 2008: 685-690

Ellen Francine Barbosa, Elisa Yumi Nakagawa, Ana C. Riekstin, José Carlos Maldonado: Ontology-based Development of Testing Related Tools. SEKE 2008: 697-702

Maria Istela Cagnin, Rosana T. V. Braga, Rosangela Penteado, Fernão Stella R. Germano, José Carlos Maldonado: A Version Control Tool for Framework-based Applications. CLEI Electron. J. 10(2) (2007)

Ernst L. Leiss, José Carlos Maldonado: Best Papers from the 2006 CLEI Conference, Santiago, Chile, August, 2006. CLEI Electron. J. 10(2) (2007)

Otávio Augusto Lazzarini Lemos, Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado, Paulo Cesar Masiero: Control and data flow structural testing criteria for aspect-oriented programs. Journal of Systems and Software 80(6): 862-882 (2007)

Viviane Malheiros, Erika Nina Höhn, Roberto Pinho, Manoel G. Mendonça, José Carlos Maldonado: A Visual Text Mining approach for Systematic Reviews. ESEM 2007: 245-254

Patrícia Machado, Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado: Software Testing: An Overview. PSSE 2007: 1-17

Auri Marcelo Rizzo Vincenzi, Márcio Eduardo Delamaro, Erika Nina Höhn, José Carlos Maldonado: Functional, Control and Data Flow, and Mutation Testing: Theory and Practice. PSSE 2007: 18-58

Elisa Yumi Nakagawa, Adenilso da Silva Simão, Fabiano Cutigi Ferrari, José Carlos Maldonado: Towards a Reference Architecture for Software Testing Tools. SEKE 2007: 157-162

José Carlos Maldonado, Jeffrey Carver, Forrest Shull, Sandra Camargo Pinto Ferraz Fabbri, Emerson Dória, Luciana Martimiano, Manoel G. Mendonça, Victor R. Basili: Perspective-Based Reading: A Replicated Experiment Focused on Individual Reviewer Effectiveness. Empirical Software Engineering 11(1): 119-142 (2006)

Silvia Regina Vergilio, José Carlos Maldonado, Mario Jino: Infeasible Paths in the Context of Data Flow Based Testing Criteria: Identification, Classification and Prediction. J. Braz. Comp. Soc. 12(1): 71-86 (2006)

Auri Marcelo Rizzo Vincenzi, Adenilso da Silva Simão, Márcio Eduardo Delamaro, José Carlos Maldonado: Muta-Pro: Towards the Definition of a Mutation Testing Process. J. Braz. Comp. Soc. 12(2): 49-61 (2006)

Manoel G. Mendonça, Guilherme Horta Travassos, José Carlos Maldonado: Letter from the Guest Editors. J. Braz. Comp. Soc. 12(3): 5-6 (2006)

Silvia Regina Vergilio, José Carlos Maldonado, Mario Jino, Inali Wisniewski Soares: Constraint based structural testing criteria. Journal of Systems and Software 79(6): 756-771 (2006)

Auri Marcelo Rizzo Vincenzi, Márcio Eduardo Delamaro, José Carlos Maldonado, W. Eric Wong: Establishing structural testing criteria for Java bytecode. Softw., Pract. Exper. 36(14): 1513-1541 (2006)

Márcio Eduardo Delamaro, Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado: A Strategy to Perform Coverage Testing of Mobile Applications. AST 2006: 118-124

Ellen Francine Barbosa, José Carlos Maldonado: An Integrated Content Modeling Approach for Educational Modules. Education for the 21st Century 2006: 17-26

Ellen Francine Barbosa, Elisa Yumi Nakagawa, José Carlos Maldonado: Towards the Establishment of an Ontology of Software Testing. SEKE 2006: 522-525

Guilherme Horta Travassos, José Carlos Maldonado, Claes Wohlin (Eds.): 2006 International Symposium on Empirical Software Engineering (ISESE 2006), September 21-22, 2006, Rio de Janeiro, Brazil. ACM 2006, isbn 1-59593-218-6

W. Eric Wong, Tatiana Sugeta, Yu Qi, José Carlos Maldonado: Smart debugging software architectural design in SDL. Journal of Systems and Software 76(1): 15-28 (2005)

Silvia Regina Vergilio, José Carlos Maldonado, Mario Jino: Experimental Results from Application of Fault-Sensitive Testing Strategies. RITA 12(1): 61-82 (2005)

Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado, W. Eric Wong, Márcio Eduardo Delamaro: Coverage testing of Java programs and components. Sci. Comput. Program. 56(1-2): 211-230 (2005)

Edson Alves de Oliveira Junior, Itana Maria de Souza Gimenes, Elisa Hatsue Moriya Huzita, José Carlos Maldonado: A variability management process for software product lines. CASCON 2005: 225-241

Anderson Belgamo, Sandra Camargo Pinto Ferraz Fabbri, José Carlos Maldonado: TUCCA: improving the effectiveness of use case construction and requirement analysis. ISESE 2005: 266-275

Rogério Eduardo Garcia, Maria Cristina Ferreira de Oliveira, José Carlos Maldonado: Genetic algorithms to support software engineering experimentation. ISESE 2005: 488-497

Anderson Belgamo, Sandra Camargo Pinto Ferraz Fabbri, José Carlos Maldonado: Avaliando a Qualidade da Técnica GUCCRA com Técnica de Inspeção. WER 2005: 173-184

Forrest Shull, Manoel G. Mendonça, Victor R. Basili, Jeffrey Carver, José Carlos Maldonado, Sandra Camargo Pinto Ferraz Fabbri, Guilherme Horta Travassos, Maria Cristina Ferreira de Oliveira: Knowledge-Sharing Issues in Experimental Software Engineering. Empirical Software Engineering 9(1-2): 111-137 (2004)

Marcos Lordello Chaim, José Carlos Maldonado, Mario Jino: A debugging strategy based on the requirements of testing. Journal of Software Maintenance 16(4-5): 277-308 (2004)

Tatiana Sugeta, José Carlos Maldonado, W. Eric Wong: Mutation Testing Applied to Validate SDL Specifications. TestCom 2004: 193-208

W. Eric Wong, Tatiana Sugeta, J. Jenny Li, José Carlos Maldonado: Coverage testing software architectural design in SDL. Computer Networks 42(3): 359-374 (2003)

Maria Istela Cagnin, José Carlos Maldonado, Fernão Stella R. Germano, Rosângela Dellosso Penteado: PARFAIT: Towards a Framework-based Agile Reengineering Process. Agile Development Conference 2003: 22-31

Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado, Márcio Eduardo Delamaro, Edmundo Sérgio Spoto, W. Eric Wong: Component-Based Software: An Overview of Testing. Component-Based Software Quality 2003: 99-127

W. Eric Wong, Tatiana Sugeta, Yu Qi, José Carlos Maldonado: Smart Debugging Software Architectural Design in SDL. COMPSAC 2003: 41-

Ellen Francine Barbosa, José Carlos Maldonado, Richard J. LeBlanc, Mark Guzdial: Introducing Testing Practices into Objects and Design Course. CSEE&T 2003: 279-

Marcos Lordello Chaim, José Carlos Maldonado, Mario Jino: A Debugging Strategy Based on Requirements of Testin. CSMR 2003: 160-169

Ellen Francine Barbosa, José Carlos Maldonado, Ivan Luiz Marques Ricarte: Exploring Learning Objects under Conceptual, Instructional and Didactic Perspectives. PGLDB 2003

Maria Istela Cagnin, José Carlos Maldonado, Fernão Stella R. Germano, Paulo Cesar Masiero, Alessandra Chan, Rosângela Dellosso Penteado: An Agile Reverse Engineering Process based on a Framework. WER 2003: 240-254

Adenilso da Silva Simão, Tatiana Sugeta, José Carlos Maldonado, Maria Carolina Monard: PROLOG & TXL: A Case Study for Prototyping Structural Testing Supporting Tools . CLEI Electron. J. 5(1) (2002)

Auri Marcelo Rizzo Vincenzi, Elisa Yumi Nakagawa, José Carlos Maldonado, Márcio Eduardo Delamaro, Roseli Aparecida Francelin Romero: Bayesian-Learning Based Guidelines to Determine Equivalent Mutants. International Journal of Software Engineering and Knowledge Engineering 12(6): 675-689 (2002)

Adenilso da Silva Simão, José Carlos Maldonado: MuDeL: a language and a system for describing and generating mutants. J. Braz. Comp. Soc. 8(1): 73-86 (2002)

Forrest Shull, Victor R. Basili, Jeffrey Carver, José Carlos Maldonado, Guilherme Horta Travassos, Manoel G. Mendonça, Sandra Camargo Pinto Ferraz Fabbri: Replicating Software Engineering Experiments: Addressing the Tacit Knowledge Problem. ISESE 2002: 7-16

André Carlos Ponce Leon Ferreira de Carvalho, José Carlos Maldonado, Juan Carlos Augusto, Manoel Gomes de Mendonça Neto, Silvia Teresita Acuña (Eds.): Proceedings of 2nd Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'02), Salvador, Brasil, October 2002. 2002, isbn 85-87837-06-0

Márcio Eduardo Delamaro, José Carlos Maldonado, Alberto Pasquini, Aditya P. Mathur: Interface Mutation Test Adequacy Criterion: An Empirical Evaluation. Empirical Software Engineering 6(2): 111-142 (2001)

Silvia Regina Vergilio, José Carlos Maldonado, Mario Jino: Constraint Based Criteria: An Approach for Test Case Selection in the Structural Testing. J. Electronic Testing 17(2): 175-183 (2001)

Ellen Francine Barbosa, José Carlos Maldonado, Auri Marcelo Rizzo Vincenzi: Toward the determination of sufficient mutant operators for C. Softw. Test., Verif. Reliab. 11(2): 113-136 (2001)

Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado, Ellen Francine Barbosa, Márcio Eduardo Delamaro: Unit and integration testing strategies for C programs using mutation. Softw. Test., Verif. Reliab. 11(3): 249-268 (2001)

Márcio Eduardo Delamaro, José Carlos Maldonado, Aditya P. Mathur: Interface Mutation: An Approach for Integration Testing. IEEE Trans. Software Eng. 27(3): 228-247 (2001)

Maria Istela Cagnin, Rosangela Penteado, Paulo Cesar Masiero, José Carlos Maldonado: Comparison of Maintainability Improvement by Segmentation and Reengineering - A Case Study. CSMR 2001: 158-167

Adenilso da Silva Simão, Tatiana Sugeta, José Carlos Maldonado, Maria Carolina Monard: Prolog & TXL: Um Estudo de Caso para Prototipação de Ferramentas de Apoio para o Teste Estrutural. JIISIC 2001: 15-22

Letícia M. Peres, Silvia Regina Vergilio, Mario Jino, José Carlos Maldonado: Path Selection in the Structural Testing: Proposition, Implementation and Application of Strategies. SCCC 2001: 240-246

Auri Marcelo Rizzo Vincenzi, Elisa Yumi Nakagawa, José Carlos Maldonado, Márcio Eduardo Delamaro, Roseli Aparecida Francelin Romero: Bayesian-Learning Based Guidelines to determine Equivalente Mutants. SEKE 2001: 180-187

Simone do Rocio Senger de Souza, José Carlos Maldonado, Sandra Camargo Pinto Ferraz Fabbri, Wanderley Lopes de Souza: Mutation Testing Applied to Estelle Specifications. HICSS 2000

Simone do Rocio Senger de Souza, José Carlos Maldonado, Sandra Camargo Pinto Ferraz Fabbri, Wanderley Lopes de Souza: Mutation Testing Applied to Estelle Specifications. Software Quality Journal 8(4): 285-301 (1999)

Márcio Eduardo Delamaro, José Carlos Maldonado: Interface Mutation: Assessing Testing Quality at Interprocedural Level. SCCC 1999: 78-86

Sandra Camargo Pinto Ferraz Fabbri, José Carlos Maldonado, Paulo Cesar Masiero, Márcio Eduardo Delamaro: Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing. SCCC 1999: 96-104

Plínio Roberto Souza Vilela, José Carlos Maldonado, Mario Jino: Program Graph Visualization. Softw., Pract. Exper. 27(11): 1245-1262 (1997)

Silvia Regina Vergilio, José Carlos Maldonado, Mario Jino: Constraint Based Selection of Test Sets to Satisfy Structural Software Testing Criteria. SCCC 1997: 256-263

Sandra Camargo Pinto Ferraz Fabbri, José Carlos Maldonado, Paulo Cesar Masiero, Márcio Eduardo Delamaro, W. Eric Wong: Mutation Testing Applied to Validate Specifications Based on Petri Nets. FORTE 1995: 329-337

Paulo Cesar Masiero, José Carlos Maldonado, I. G. Boaventura: A reachability tree for statecharts and analysis of some properties. Information & Software Technology 36(10): 615-624 (1994)

W. Eric Wong, Aditya P. Mathur, José Carlos Maldonado: Mutation Versus All-uses: An Empirical Evaluation of Cost, Strength and Effectiveness. Software Quality and Productivity 1994: 258-265