Pós-Graduação CCMC - ICMC - TRIENIO 2007-2009

Membro: Jose Carlos Maldonado

  • Currículo Lattes
  • Endereço profissional:
    Universidade de São Paulo, Instituto de Ciências Matemáticas e de Computação, Departamento de Ciências da Computação. Av. Trabalhador São-carlense, 400 - Caixa Postal 668 Centro 13560970 - Sao Carlos, SP - Brasil - Caixa-Postal: 668
    Telefone: (16) 33739669
    Fax: (16) 33739751
    URL da Homepage: http://www.icmc.usp.br

Artigos completos publicados em periódicos (37)

1.   SIMãO, A. S. ; Petrenko, A. ; MALDONADO, J. C. . Comparing finite state machine test coverage criteria. IET Software, v. 3, p. 91-105, 2009.
2.   Simão, Adenilso ; Maldonado, José Carlos ; da Silva Bigonha, Roberto . A transformational language for mutant description. Computer Languages, Systems & Structures, v. 35, p. 322-339, 2009.
3.   NAKAGAWA, E. Y. ; SOUSA, E. P. M. ; OLIVEIRA, M. C. F. ; Murata, Kyoshi de B. ; NASCIMENTO, E. B. ; FUKASE, R. ; ANDERY, G. F. ; BIANCHI, Thiago ; PAZZOTO, F. S. ; MALDONADO, J. C. . Experiência no Desenvolvimento de um Sistema Web Livre no Contexto de um Projeto de Pesquisa Multi-disciplinar. REIC. Revista Eletrônica de Iniciação Científica, v. VIII, p. 1-16, 2008.
4.   NAKAGAWA, E. Y. ; MALDONADO, J. C. . IDEAS04: Architectural requirements as basis to quality of software engineering environments. Revista IEEE América Latina, v. 6, p. 260-266, 2008.
5.   BONIFACIO, A ; MOURA, A ; SIMAO, A ; MALDONADO, J . Towards Deriving Test Sequences by Model Checking. Electronic Notes in Theoretical Computer Science, v. 195, p. 21-40, 2008.
6.   CAGNIN, M. I. ; BRAGA, R. T. V. ; GERMANO, F. S. ; PENTEADO, R. D. ; MALDONADO, J. C. . A Version Control Tool for Framework-based Applications. CLEI Electronic Journal, v. 10, p. 7-13, 2007.
7.   LEMOS, O. A. L. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Control and Data Flow Structural Testing Criteria for Aspect-Oriented Programs. Journal of Systems and Software, New Yoork, v. 80, n. 6, p. 862-882, 2007.
8.   CRESPO, A. N. ; JINO, M. ; PASQUINI, A. ; MALDONADO, J. C. . A binomial software reliability model based on coverage of structural testing criteria. Empirical Software Engineering, v. 10, p. 81-104, 2007.
9.   VINCENZI, A. M. R. ; DELAMARO, M. E. ; MALDONADO, J. C. ; WONG, W. E. . Establishing structural testing criteria for Java bytecode. Software, Practice & Experience, v. 36, n. 14, p. 1513-1541, 2006.
10.   MALDONADO, J. C. ; CARVER, J. ; SHULL, F. ; FABBRI, S. C. P. .F. ; DóRIA, E. S. ; MARTIMIANO, LA.F. ; MENDONçA, M. G. ; BASILI, V. R. . Perspective-Based Reading: A Replicated Experiment Focused on Individual Reviewer Effectiveness. Empirical Software Engineering, v. 11, n. 1, p. 119-142, 2006.
11.   VINCENZI, A. M. R. ; SIMãO, A. S. ; DELAMARO, M. E. ; MALDONADO, J. C. . Muta-Pro: Towards the Definition of a Mutation Testing Process. Journal of the Brazilian Computer Society, v. 12, p. 47-61, 2006.
12.   VERGíLIO, S. R. ; MALDONADO, J. C. ; JINO, M. ; SOARES, I. W. . Constraint Based Structural Testing Criteria. Journal of Systems and Software, v. 79, n. 6, p. 756-771, 2006.
13.   VINCENZI, A. M. R. ; MALDONADO, J. C. ; WONG, E. ; DELAMARO, M. E. . Coverage Testing of Java Programs and Components. Journal Of Science Of Computer Programming, v. 1, p. 211-230, 2005.
14.   WONG, E. W. ; SUGETA, T. ; QI, Y. ; MALDONADO, J. C. . Smart Debugging Software Architectural Design in SDL. Journal of Systems and Software, v. 76, p. 15-28, 2005.
15.   VERGíLIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Experimental Results from Application of Fault-Sensitive Testing Strategies. Revista de Informática Teórica e Aplicada, v. 12, n. 1, p. 61-82, 2005.
16.   SHULL, F. ; MENDONçA NETO, M. G. ; BASILI, V. R. ; CARVER, J. ; MALDONADO, J. C. ; FABBRI, S. C. F. P. ; TRAVASSOS, G. H. ; OLIVEIRA, M. C. F. . Knowledge-Sharing Issues in Experimental Software Engineering. Empirical Software Engineering An Empirical Journal, v. 9, n. 1, p. 111-137, 2004.
17.   CHAIM, M. L. ; MALDONADO, J. C. ; JINO, M. . A Debugging Strategy Based on Requirements of Testing. Journal Of Software Maintenance And Evolution, v. 16, n. 4, p. 277-308, 2004.
18.   WONG, W. E. ; SUGETA, T. ; MALDONADO, J. C. . Coverage Testing Software Architectural Design in SDL. Computer Networks, v. 42, p. 359-374, 2003.
19.   SIMãO, A. S. ; SUGETA, T. ; MALDONADO, J. C. ; MONARD, M. C. . Prolog & TXL: A Case Study for Prototyping Structural Testing Supporting Tools. Conferência Latino Americana de Informática Eletronic Journal, v. 5, 2002.
20.   SIMãO, A. S. ; MALDONADO, J. C. . MuDeL: a Language and a System for Describing and Generating Mutants. Journal of the Brazilian Computer Society, Porto Alegre, RS, Brasil, v. 8, p. 73-86, 2002.
21.   VINCENZI, A. M. R. ; NAKAGAWA, E. Y. ; MALDONADO, J. C. ; DELAMARO, M. E. ; SANCHES, Rosely . Bayesian-learning based guidelines to determine equivalents mutants. International Journal of Software Engineering and Knowledge Engineering, v. 12, n. 6, p. 1-15, 2002.
22.   DELAMARO, M. E. ; MALDONADO, J. C. ; MATHUR, A. . Interface Mutation: An Approach for Integration Testing. Ieee Transaction On Software Engineering, v. 27, n. 3, p. 228-247, 2001.
23.   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, v. 11, n. 2, p. 113-136, 2001.
24.   DELAMARO, M. E. ; MALDONADO, J. C. ; PASQUINI, A. ; MATHUR, A. . Interface Mutation Test Adequacy Criterion: An Empirical Evaluation. Journal Of Empirical Software Engineering, v. 6, n. 2, p. 111-142, 2001.
25.   VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Constraint based Criteria: An Approach for Test Case Selection in the Structural Testing. Journal Of Electronic Testing, v. 17, n. 2, p. 175-183, 2001.
26.   VINCENZI, A. M. R. ; MALDONADO, J. C. ; BARBOSA, E. F. ; DELAMARO, M. E. . Unit and Integration Testing Strategies for C Programs Using Mutation-Based Criteria. Software Testing Verification And Reliability Journal Edição Especial, v. 11, n. 4, p. 249-268, 2001.
27.   SOUZA, S. R. S. S. ; MALDONADO, J. C. ; FABBRI, S. C. F. P. ; SOUZA, V. L. . Mutation Testing Applied to Estelle Specifications. Software Quality Journal, v. 8, n. 4, p. 285-301, 2000.
28.   SANT'ANA, D. A. ; MALDONADO, J. C. ; FABBRI, S. C. F. P. . Teste e Validação de Sistemas Reativos. Revista de Iniciação Científica do Cetepe Eesc Usp, São Carlos-SP, n. 2, p. 7-10, 2000.
29.   CRESPO, A. N. ; JINO, M. ; PASQUINI, A. ; MALDONADO, J. C. . Relationships Between Code Coverage of the Potential-Uses Criteria and Software Reliability. Revista de Ciências Exatas da Universidade São Francisco, v. 18, p. 21-37, 2000.
30.   VERGíLIO, S. R. ; MALDONADO, J. C. ; JINO, M. . La Influencia Del Número de Predicados En La Ejecutabilidade de Un Camino En El Contexto de Prueba Basada En Flujo de Dados. Revista Informacion Tecnologia, La Serena - Chile, p. 171-178, 1997.
31.   VILELA, P. R. ; MALDONADO, J. C. ; JINO, M. . Program Graph Visualization. Software Practice & Experience, v. 27, n. 11, p. 1245-1262, 1997.
32.   FABBRI, Sandra .C P. F. ; MALDONADO, J. C. . Proteum/FSM:Uma Ferramenta de Teste Baseada na Análise de Mutantes para Apoiar a Validação de Especificações em Máquinas de Estado Finito. Revista Multiciência, SãO CARLOS - SP, v. 1, n. 1, p. 66-77, 1996.
33.   MALDONADO, J. C. ; DELAMARO, M. E. ; CHAIM, M. L. ; JINO, M. . Uma Visão Sobre a Análise de Mutantes e o Ambiente de Teste Proteum. Revista do Instituto de Informática, CAMPINAS - SP, v. 3, n. 1, p. 11-23, 1995.
34.   CANGUSSU, J. ; PENTEADO, R. A. D. ; MASIERO, P. C. ; MALDONADO, J. C. . Validation of Statecharts Based on Programmed Execution. Journal of Computing and Information, Ontario - Canadá, v. 1, n. 2, 1995.
35.   MALDONADO, J. C. ; CHAIM, M. L. ; JINO, M. . Poke-Tool - Uma Ferramenta Para Suporte À Aplicação dos Critérios Potenciais Usos Para Teste de Programas. Revista do Instituto de Informática, CAMPINAS - SP, v. 2, n. 1, p. 28-39, 1994.
36.   CANGUSSU, J. ; MASIERO, P. C. ; MALDONADO, J. C. . Execução Programada de Statecharts. Revista Brasileira de Computação, RIO DE JANEIRO - RJ, p. 3-14, 1994.
37.   MASIERO, P. C. ; MALDONADO, J. C. ; BOAVENTURA, I. . A Reachability Tree For Statecharts And Analysis Of Some Properties. Information and Software Technology, v. 36, n. 10, p. 615-624, 1994.

Livros publicados/organizados ou edições (3)

1.   DELAMARO, M. E. (Org.) ; MALDONADO, J. C. (Org.) ; JINO, M. (Org.) . Introdução ao teste de software. 1. ed. Rio de Janeiro: Campus, 2007. v. 1. 394 p.
2.   ROCHA, A. R. C. (Org.) ; MALDONADO, J. C. (Org.) ; WEBER, K. C. (Org.) . Qualidade de Software - Teoria e Prática. 1. ed. São Paulo: Prentice Hall, 2001. v. 1. 303 p.
3.   CEREDA, R. L. D. ; MALDONADO, J. C. . Introdução Ao Fortran 77 para Microcomputadores. 1. ed. SãO PAULO - BRASIL: MCGRAW-HILL, 1987.

Capítulos de livros publicados (14)

1.   FABBRI, Sandra .C P. F. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Teste Funcional. In: Delamaro, Marcio; Maldonado, José Carlos; Jino, Mario. (Org.). Introdução ao teste de software. 1 ed. Rio de Janeiro: Campus, 2007, v. 1, p. 9-26.
2.   BARBOSA, E. F. ; CHAIM, M. L. ; VINCENZI, A. M. R. ; DELAMARO, M. E. ; JINO, M. ; MALDONADO, J. C. . Teste Estrutural. In: Delamaro, Marcio; Maldonado, José Carlos; Jino, Mario. (Org.). Introdução ao teste de software. 1 ed. Rio de Janeiro: Campus, 2007, v. 1, p. 47-75.
3.   DELAMARO, M. E. ; BARBOSA, E. F. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Teste de Mutação. In: Delamaro, Marcio; Maldonado, José Carlos; Jino, Mario. (Org.). Introdução ao teste de software. 1 ed. Rio de Janeiro: Campus, 2007, v. 1, p. 77-118.
4.   VINCENZI, A. M. R. ; DOMINGUES, A. L. S. ; DELAMARO, M. E. ; MALDONADO, J. C. . Teste Orientado a Objetos e de Componentes. In: Delamaro, Marcio; Maldonado, José Carlos; Jino, Mario. (Org.). Introdução ao teste de software. 1 ed. Rio de Janeiro: Campus, 2007, v. 1, p. 119-174.
5.   SOUZA, S. R. S. S. ; FABBRI, Sandra .C P. F. ; BARBOSA, E. F. ; CHAIM, M. L. ; VINCENZI, A. M. R. ; DELAMARO, M. E. ; JINO, M. ; MALDONADO, J. C. . Estudos Teóricos e Experimentais. In: Delamaro, Marcio; Maldonado, José Carlos; Jino, Mario. (Org.). Introdução ao teste de software. 1 ed. Rio de Janeiro: Campus, 2007, v. 1, p. 251-268.
6.   CHAIM, M. L. ; MALDONADO, J. C. ; JINO, M. . Depuração. In: Delamaro, Marcio; Maldonado, José Carlos; Jino, Mario. (Org.). Introdução ao Teste de Software. 1 ed. Rio de Janeiro: Campus, 2007, v. 1, p. 293-313.
7.   DELAMARO, M. E. ; MALDONADO, J. C. ; JINO, M. . Conceitos básicos. In: Delamaro, Marcio; Maldonado, José Carlos; Jino, Mario. (Org.). Introdução ao teste de software. Rio de Janeiro: Campus, 2007, v. 1, p. 1-7.
8.   MASIERO, P. C. ; LEMOS, O. A. L. ; FERRARI, F. C. ; MALDONADO, J. C. . Teste de Software Orientado a Objetos e a Aspectos: Teoria e Prática. In: Karin Breitman; Ricardo Anido. (Org.). Atualizações em Informática. Rio de Janeiro: PUC-Rio, 2006, v. 1, p. 13-72.
9.   VINCENZI, A. M. R. ; MALDONADO, J. C. ; DELAMARO, M. E. ; SPOTO, E. S. ; WONG, W. E. . Software Baseado em Componentes: Uma Revisão sobre Teste. In: Itana Maria de Souza Gimenes; Elisa Hatsue Moriya Huzita. (Org.). Desenvolvimento Baseado em Componentes. Rio de Janeiro: , 2005, v. 1, p. 233-280.
10.   VINCENZI, A. M. R. ; MALDONADO, J. C. ; DELAMARO, M. E. ; SPOTO, E. S. ; WONG, W. E. . Component-Based Software: An Overview of Testing. In: A. Cechich; M. Piattini; A. Vallecillo. (Org.). Component-Based Software Quality: Methods and Techniques. New York, NY: Springer-Verlag, 2003, v. 2693, p. 99-127.
11.   SHULL, F. ; CARVER, J. ; TRAVASSOS, G. H. ; MALDONADO, J. C. ; CONRADI, R. ; BASILI, V. R. . Replicated Studies: Building a Body of Knowledge about Software Reading Techniques. In: Natalia Juristo; Ana M. Moreno. (Org.). Empirical Software Engineering. River Edge, NJ: World Scientific Publishing Co. Pte. Ltd., 2003, v. 12, p. 39-84.
12.   MALDONADO, J. C. ; SANCHES, Rosely ; FABBRI, S. C. F. P. . Parte 1: Processo de Software (Sessões: 3.4 Verificação e validação de software; 3.5 Teste de software) . In: ROCHA, A.R.C.; MALDONADO, J.C.; WEBER, K. C.. (Org.). Qualidade de Software: Teoria e Prática. 1 ed. Porto Alegre: SBC, 2001, v. 1, p. 66-84.
13.   MALDONADO, J. C. . Aspectos Teóricos e Empíricos de Teste de Cobertura de Software. In: José Carlos Maldonado; Auri Marcelo Rizzo Vincenzi; Ellen Francine Barbosa; Márcio Eduardo Delamaro; Simone do Rocio Senger de Souza. (Org.). VI ESCOLA REGIONAL DE INFORMáTICA. 1 ed. BLUMENAU-SC, CURITIBA-PR, PELO: "", 1998, v. , p. -.
14.   WONG, E. ; MATHUR, A. P. ; MALDONADO, J. C. . Mutation versus All-uses: An Empirical Evaluation of Cost, Strength and Effectiveness. In: Lee, M.; et al.. (Org.). Software Quality and Productivity: Theory, Practice, Education and Training. Londres: Chapman & Hall, 1995, v. , p. 258-265.

Textos em jornais de notícias/revistas (3)

1.   MALDONADO, J. C. ; Almeida, V. F. . Computação e a infraestrutura. Estado de Minas - Diários Associados, Minas Gerais, p. 11 - 11, 24 abr. 2009.
2.   MALDONADO, J. C. ; CANZIAN, F. . Nova Máquina da Microtec Apresenta Bom Desempenho. Folha de São Paulo, p. 1, 26 maio 1993.
3.   CESáRIO, L. ; MALDONADO, J. C. . Antivirus para Redes tem Bom Desempenho. Folha de São Paulo, p. 12, 27 jan. 1993.

Trabalhos completos publicados em anais de congressos (189)

1.   FERRARI, Fabiano Cutigi ; HÖHN, Erika Nina ; MALDONADO, J. C. . Testing Aspect-Oriented Software: Evolution and Collaboration through the Years. In: Latin American Workshop on Aspect-Oriented Software Development - LA-WASP 2009, 2009, Fortaleza - CE. Proceedings of LA-WASP 2009, 2009.
2.   DUSSE, F. ; SIMãO, A. S. ; MALDONADO, J. C. . Análise de Mutantes Aplicada a Critérios de Cobertura de Teste a partir de MEFs. In: III Workshop Brasileiro de Teste de Software Sistemático e Automatizado - SBMF/SAST, 2009, Porto Alegre, RS. Anais do III Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2009. v. 1. p. 1-10.
3.   NAKAGAWA, E. Y. ; SASAKI, M. M. F. ; MALDONADO, J. C. . An Aspect-Oriented Framework for Software Documentation: An Example on Testing. In: XII Iberoamerican Conference on Requirements Engineering and Software Environments (IDEAS 2009), 2009, Medellin. Proceedings of XII Iberoamerican Conference on Requirements Engineering and Software Environments (IDEAS 2009), 2009. p. 225-238.
4.   NAKAGAWA, E. Y. ; MARTINS, R. M. ; FELIZARDO, K. R. ; MALDONADO, J. C. . Towards a Process to Design Aspect-Oriented Reference Architectures. In: XXXV Latin American Informatics Conference (CLEI 2009), 2009, Pelotas, RS. Proceedings of the XXXV Latin American Informatics Conference (CLEI 2009), 2009. p. 1-10.
5.   ABE, V. A. ; DELAMARO, M. E. ; MALDONADO, J. C. . Uma Revisão Sistemática sobre a Atividade de Teste de Software em Métodos ágeis. In: XXXV Conferencia Latinoamericana de Informática (XXXV CLEI), 2009, Pelotas, RS. Anais da XXXV Conferencia Latinoamericana de Informática (XXXV CLEI), 2009.
6.   Araújo, R. F. ; DURELLI, V. H. ; DELAMARO, M. E. ; MALDONADO, J. C. . Geração de Dados de Teste a Partir de Modelos de Sistemas Embarcados: Uma Revisão Sistemática. In: 3rd Brazilian Workshop on Systematic and Automated Software Testing (SBMF 2009 - SAST), 2009, Gramado, RS. Proceedings of the 3rd Brazilian Workshop on Systematic and Automated Software Testing (SBMF 2009 - SAST), 2009. v. 1.
7.   FELIZARDO, K. R. ; MARTINS, R. M. ; MALDONADO, J. C. ; MINGHIM, R. . Context Based Visual Mining of Document Collections. In: II International Workshop on Web and Text Intelligence (WTI 2009), 2009, São Carlos, SP. Proceedings of the II International Workshop on Web and Text Intelligence (WTI 2009), 2009.
8.   Malheiros, V. ; Seaman, Carolyn ; Maldonado, Jose Carlos . An approach for collaborative and distributed software process improvement (SPI). In: Workshop on Distributed Software Development - WDDS, 2009, Fortaleza. Proceedings of the Workshop on Distributed Software Development. Fortaleza - CE : UFC, 2009. p. 1-10.
9.   CAMPANHA, D. N. ; LEMOS, O. A. L. ; BARBOSA, E. F. ; Maldonado, Jose Carlos . Reutilização de Conjuntos de Teste: Um Estudo no domínio de Algoritmos de Ordenação. In: 6th Experimental Software Engineering Latin American Workshop - ESELAW, 2009, São Carlos, SP. Proceedings of 6th Experimental Software Engineering Latin American Workshop, 2009. p. 114-123.
10.   FELIZARDO, K. R. ; ANDERY, G. F. ; Maldonado, Jose Carlos ; MINGHIM, R. . Uma abordagem visual para auxiliar a revisão da seleção de estudos primários na revisão sistemática. In: 6th Experimental Software Engineering Latin American Workshop - ESELAW, 2009, São Carlos, SP. Proceedings of 6th Experimental Software Engineering Latin American Workshop, 2009. p. 83-92.
11.   FERRARI, Fabiano Cutigi ; MALDONADO, J. C. ; RASHID, Awais . Mutation Testing for Aspect-Oriented Programs. In: International Conference on Software Testing, Verification and Validation (ICST'2008), 2008, Lillehammer, Norway. Proceedings of the 1st International Conference on Software Testing, Verification and Validation (ICST'2008). Washington, DC - USA : IEEE Computer Society, 2008.
12.   FERRARI, Fabiano Cutigi ; Maldonado, Jose Carlos . Experimenting with a Multi-Iteration Systematic Review in Software Engineering. In: Experimental Software Engineering Latin America Workshop - ESELAW, 2008, Salvador. Proceedings of the 5th Experimental Software Engineering Latin America Workshop, 2008.
13.   BARBOSA, E. F. ; SOUZA, S. R. S. S. ; Maldonado, Jose Carlos . An Experience on Applying Learning Mechanisms for Teaching Inspection and Software Testing. In: 21st Conference on software Engineering education and training (CSEE&T 2008), 2008, Charleston. Proceedings of 21st Conference on software Engineering education and training, 2008. v. 1. p. 189-196.
14.   BARBOSA, E. F. ; SILVA, M. A. G. ; CORTE, Camila Kozlowski Della ; MALDONADO, J. C. . Integrated Teaching of Programming Foundations and Software Testing. In: 38th Frontiers in Education Conference - FIE, 2008, Saratoga Springs, NY. Frontiers in Education Conference, 2008. FIE 2008. 38th Annual, 2008.
15.   BARBOSA, E. F. ; NAKAGAUWA, E. Y. ; RIEKSTIN, A. C. ; MALDONADO, J. C. . Ontology-based development of testing related tools. In: Conference on Software Engineering and Knowledge Engineering (SEKE 2008), 2008, San Francisco, CA. Proceedings of the 20th International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008. p. 697-702.
16.   BARBOSA, E. F. ; MALDONADO, J. C. . Specialization and instantiation aspects of a standard process for developing educational modules. In: 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2008), 2008, Kassandra (Chalkidiki). Track Processes, Methods and Tools for Developing Educational Modules to Support Teaching and Technology Transfer, 2008.
17.   DELAMARO, M. E. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Evaluating Structural Criteria for Testing Mobile Code. In: International Conference on Evaluation and Assessment in Software Engineering - EASE, 2008, Bari. 12th International Conference on Evaluation and Assessment in Software Engineering, 2008.
18.   GARCIA, Rogério Eduardo ; HÖHN, Erika Nina ; BARBOSA, E. F. ; MALDONADO, J. C. . An ontology for experiments on software engineering. In: Conference on Software Engineering and Knowledge Engineering (SEKE 2008), 2008, San Francisco, CA. Proceedings of the 20th Conference on Software Engineering and Knowledge Engineering, 2008.
19.   MENDONçA NETO, M. G. ; MALDONADO, J. C. ; OLIVEIRA, M. C. F. ; CARVER, J. ; FABBRI, S. C. F. P. ; TRAVASSOS, G. H. ; HÖHN, Erika Nina ; BASILI, V. R. . A Framework for Software Engineering Experimental Replications. In: International Conference on Engineering of Computer-Based Systems - ECBS 2008, 2008, Belfast. Proceedings of the 15th IEEE International Conference on Engineering of Computer-Based Systems, 2008.
20.   NAKAGAWA, E. Y. ; FUKASE, R. ; FISCHER, P. ; OLIVEIRA, M. C. F. ; MALDONADO, J. C. . Disseminação de Informações via Dados Livres. In: IX Workshop de Software Livre (WSL 2008), 2008, Porto Alegre. Anais do Workshop de Software Livre (WSL 2008), 2008. v. 1. p. 1-6.
21.   NAKAGAWA, E. Y. ; MALDONADO, J. C. . Requisitos Arquiteturais como Base para a Qualidade de Ambientes de Engenharia de Software. In: XI Iberoamerican Workshop on Requirements Engineering and Software Environments (IDEAS 2008), 2008, Recife. Anais do XI Iberoamerican Workshop on Requirements Engineering and Software Environments, 2008. p. 1-14.
22.   NAKAGAWA, E. Y. ; MALDONADO, J. C. . Towards Aspects as an Integration Mechanism in Software Engineering Environments. In: IASTED SEA 2008 - 9th IASTED International Conference on Software Engineering and Applications, 2008, Orlando. IASTED SEA 2008 (9th IASTED International Conference on Software Engineering and Applications), 2008. p. 1-6.
23.   OLIVEIRA JUNIOR, Edson Alves de ; GIMENES, I. M. S. ; MALDONADO, J. C. . A Metric Suite to Support Software Product Line Architecture Evaluation. In: XXXIV Conferência Latinoamericana de Informática (CLEI), 2008, Santa Fé. Proceedings of the XXXIV Conferência Latinoamericana de Informática, 2008. p. 498-498.
24.   PRADO, M. P. ; SOUZA, S. R. S. S. ; MALDONADO, J. C. . Um Conjunto de Artefatos para Apoio À Definição de Estudos Experimentais em Teste de Software. In: 5th Experimental Software Engineering Latin American Workshop -ESELAW, 2008, Salvador. Proceedings of the 5th Experimental Software Engineering Latin American Workshop, 2008.
25.   Malheiros, V. ; REHEM, S. ; MALDONADO, J. C. . Atabaque: uma contribuição de sucesso na evolução de processos. In: VII Simpósio Brasileiro de Qualidade de Software (SBQS), 2008, Florianópolis. Anais do VII Simpósio Brasileiro de Qualidade de Software (SBQS), 2008.
26.   SILVA, M. A. G. ; BORGES, V. A. ; BARBOSA, E. F. ; MALDONADO, J. C. . Novas tendências no ensino de engenharia de software: um estudo de caso no domínio de teste de software. In: I Fórum de Educação em Engenharia de Software (FEES) - SBES 2008, 2008, Campinas. Proceedings of the XXII Simpósio Brasileiro de Engenharia de Software (SBES 2008), 2008.
27.   NAKAGAWA, E. Y. ; Murata, Kyoshi de B. ; ANDERY, G. F. ; MORELLI, L. B. ; MALDONADO, J. C. . Software Architecture Relevance in Open Source Software Evolution: A Case Study. In: IEEE International Workshop on Quality and Architectural Concerns in Open Source Software (QACOS 2008), 2008, Turku. Proceedings of theIEEE International Workshop on Quality and Architectural Concerns in Open Source Software (QACOS 2008), 2008.
28.   MALDONADO, J. C. ; NAKAGAWA, E. Y. ; SIMãO, A. S. . Addressing Separation of Concerns in Software Engineering Environments. In: IASTED International Conference on Software Engineering, 2007, Innsbruck. Proceedings of IASTED International Conference on Software Engineering, 2007. p. 1-6.
29.   PINHO, Viviane Malheiros de ; HÖHN, Erika Nina ; PINHO, Roberto. ; MENDONçA NETO, M. G. ; MALDONADO, J. C. . A Visual Text Mining approach for Systematic Reviews. In: International Symposium on Empirical Software Engineering and Measurement (ESEM), 2007, Madrid. Proceedings of the 1st ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2007. p. 245-254.
30.   NAKAGAWA, E. Y. ; SIMãO, A. S. ; FERRARI, Fabiano Cutigi ; MALDONADO, J. C. . Towards a Reference Architecture for Software Testing Tools. In: Nineteenth International Conference on Software Engineering and Knowledge Engineering SEKE'2007, 2007, Boston, USA. Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering SEKE'2007, 2007. p. 157-162.
31.   DELAMARO, M. E. ; NARDI, Paulo Augusto ; LEMOS, O. A. L. ; SPOTO, E. S. ; MALDONADO, J. C. ; MASIERO, P. C. ; VINCENZI, A. M. R. . Static Analysis of Java Bytecode for Domain-specific Software Testing. In: Simpósio Brasileiro de Engenharia de Software, 2007, João Pessoa, PB. Anais do XXI Simpósio Brasileiro de Engenharia de Software, 2007. p. 325-341.
32.   SIMãO, A. S. ; PETRENKO, Alexandre ; MALDONADO, J. C. . Experimental Evaluation of Coverage Criteria for FSM-based Testing. In: Simpósio Brasileiro de Engenharia de Software, 2007, João Pessoa, PB. Anais do XXI Simpósio Brasileiro de Engenharia de Software, 2007. p. 359-374.
33.   BARBOSA, E. F. ; SOUZA, S. R. S. ; DOMINGUES, A. L. S. ; CHAN, Al. ; HÖHN, Erika Nina ; MALDONADO, J. C. . Uma Experiência no Ensino de Inspeção e Teste de Software. In: Simpósio Brasileiro de Qualidade de Software, 2007, Porto de Galinhas, PE. Anais do VI Simpósio Brasileiro de Qualidade de Software, 2007. p. 309-324.
34.   CHAN, Al. ; CAGNIN, M. I. ; MALDONADO, J. C. ; BRAGA, R. T. V. . Uma proposta de ambiente para apoiar a utilização de padrões de software e requisitos de teste no desenvolvimento de aplicações. In: Conferência Latino-americana em Linguagens de Padrões para Programação, 2007, Porto de Galinhas, PE. Proceedings of SugarLoafPLoP 2007, 2007. p. 235-250.
35.   GARCIA, Rogério Eduardo ; OLIVEIRA, M. C. F. ; MALDONADO, J. C. . ESEIn-virtuo: a tool for running In-virtuo Experimental Studies.. In: IV Experimental Software Engineering Latin American Workshop - ESELAW, 2007, São Paulo. Proceedings of IV Experimental Software Engineering Latin American Workshop, 2007. p. 51-56.
36.   CORTE, Camila Kozlowski Della ; RIEKSTIN, A. C. ; SILVA, M. A. G. ; BARBOSA, E. F. ; MALDONADO, J. C. . PROGTEST: Ambiente para submissão e avaliação de trabalhos práticos. In: Workshop sobre Ambientes de Apoio À Aprendizagem de Algoritmos e Programação - SBIE 2007, 2007, São Paulo. Anais do XVIII Simpósio Brasileiro de Informática na Educação (SBIE 2007), 2007.
37.   BONIFáCIO, A. L. ; SIMãO, A. S. ; MOURA, A. ; MALDONADO, J. C. . Conformance Testing by Model Checking Timed Extended Finite State Machines.. In: Simpósio Brasileiro de Métodos Formais, 2006, Natal. Simpósio Brasileiro de Métodos Formais, 2006. v. 1. p. 43-58.
38.   DELAMARO, M. E. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . A Strategy to Perform Coverage Testing of Mobile Applications. In: First Workshop on Automation of Software Test - AST'06, 2006, Shangai. 28th International Conference on Software Engineering (ICSE'06). New York : ACM Press, 2006. v. 1. p. 118-124.
39.   CORTE, C. K. D. ; BARBOSA, E. F. ; MALDONADO, J. C. . Estabelecimento de Mecanismos de Apoio ao Ensino Integrado de Fundamentos de Programação e Teste de Software. In: XIV Workshop sobre Educação em Computação, 2006. XIV Workshop sobre Educação em Computação. v. 1. p. 1-1.
40.   NAKAGAWA, E. Y. ; CRUZ, N. F. ; MALDONADO, J. C. . Relevância dos Requisitos no Desenvolvimento de Software Livre. In: VII Workshop Software Livre, 2006, Porto Alegre. VII Fórum Internacional Software Livre, 2006. v. 1. p. 171-176.
41.   BARBOSA, E. F. ; NAKAGAWA, E. Y. ; MALDONADO, J. C. . Towards the Establishment of an Ontology of Software Testing. In: Eighteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'06), 2006, San Francisco. Eighteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'06), 2006. v. 1. p. 522-525.
42.   BARBOSA, E. F. ; MALDONADO, J. C. . An Integrated Content Modeling Approach for Educational Modules. In: FIP International Conference on Education for the 21st Century, 2006, Santiago. FIP International Conference on Education for the 21st Century. v. 1. p. 17-26.
43.   BARBOSA, E. F. ; MALDONADO, J. C. . A Standard Process for Developing Educational Modules. In: 6th Annual Frontiers in Education Conference, 2006, San Diego. 6th Annual Frontiers in Education Conference, 2006. v. 1. p. 1-1.
44.   MALDONADO, J. C. ; BARBOSA, E. F. . Establishing a Mutation Testing Educational Module based on IMA-CID. In: 2nd Workshop on Mutation Analysis (Mutation 2006), 2006, Raleigh. 2nd Workshop on Mutation Analysis (Mutation 2006), 2006. v. 1. p. 1-1.
45.   CAMARGO, V. V. ; HÖHN, E. N. ; MALDONADO, J. C. . Um estudo comparativo do tempo de composição de um framework orientado a aspectos de persistência e de um framework orientado a objetos de persistência. In: XX Simpósio Brasileiro de Engenharia de Software, 2006, Florianópolis. XX Simpósio Brasileiro de Engenharia de Software, 2006. v. 1. p. 193-208.
46.   MALDONADO, J. C. ; FERRARI, F. C. . Uma Revisão Sistemática sobre Teste de Software Orientado a Aspectos. In: III Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos (WASP'2006) - realizado em conjunto com o XX Simpósio Brasileiro de Engenharia de Software (SBES'2006), 2006, Florianópolis. III Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos (WASP'2006), 2006. v. 1. p. 101-110.
47.   GOMES, F. D. ; CAGNIN, M. I. ; MALDONADO, J. C. . Esboço de um Processo ágil de Desenvolvimento baseado em Framework. In: XXXII Conferência Latino-Americana de Informática, 2006, Santiago. XXXII Conferência Latino-Americana de Informática, 2006. v. 1. p. 1-12.
48.   NAKAGAWA, E. Y. ; CRUZ, N. F. ; MALDONADO, J. C. . Relevância dos Requisitos no Desenvolvimento de Software Livre. In: Fórum Internacional Software Livre, 2006, Porto Alegre. Anais do Fórum Internacional Software Livre, 2006. p. 171-176.
49.   VINCENZI, A. M. R. ; DELAMARO, M. E. ; SIMãO, A. S. ; MALDONADO, J. C. . Muta-Pro: Towards the Definition of a Mutation Testing Process. In: 6th Latin-american test workshop (LATW'05), 2005, Salvador. 6th Latin-american test workshop (LATW'05), 2005. p. 149-154.
50.   ROCHA, A. D. ; SIMãO, A. S. ; MALDONADO, J. C. ; MASIERO, P. C. . Uma ferramenta baseada em aspectos para o teste funcional de programas Java. In: 20º Simposio Brasileiro de Engenharia de Software (SBES'05), 2005, Uberlândia. 20º Simposio Brasileiro de Engenharia de Software (SBES'05), 2005. p. 263-278.
51.   SUGETA, T. ; MALDONADO, J. C. ; WONG, E. W. . Structural and Mutation Testing for SDL Specifications: A Case Study. In: 6th IEEE Latin-American Test Workshop, 2005, Salvador. 6th IEEE Latin-American Test Workshop, 2005.
52.   CAGNIN, M. I. ; BRAGA, R. T. V. ; GERMANO, F. S. ; CHAN, A. ; MALDONADO, J. C. . Extending Patterns with Testing Implementation. In: V Latin American Conference on Pattern Languages of Programming, 2005, Campos do Jordão. V Latin American Conference on Pattern Languages of Programming, 2005.
53.   GARCIA, R. E. ; MALDONADO, J. C. ; OLIVEIRA, M. C. F. . Genetic Algorithms to Support Software Engineering Experimentation. In: IV International Symposium on Empirical Software Engineering, 2005. Proceedings of IV International Symposium on Empirical Software Engineering, 2005. v. 1. p. 1-10.
54.   GARCIA, R. E. ; CARVER, J. ; OLIVEIRA, M. C. F. ; MALDONADO, J. C. . In-virtuo Experimental Studies: An Approach Based on Genetic Algorithms. In: 2nd Experimental Software Engineering Latin American Workshop, 2005, Uberlândia. Proceedings of 2nd Experimental Software Engineering Latin American Workshop, 2005. v. 1. p. 1-6.
55.   BELGAMO, A. ; FABBRI, S. C. P. .F. ; MALDONADO, J. C. . Avaliando a Qualidade da Técnica GUCCRA com Técnica de Inspeção. In: VIII Workshop on Requirements Engineering, 2005. Proceedings of VIII Workshop on Requirements Engineering, 2005. v. 1. p. 1-10.
56.   BELGAMO, A. ; FABBRI, S. C. P. .F. ; MALDONADO, J. C. . TUCCA Improving the Effectiveness of Use Case Construction and Requirements Analysis. In: International Symposium on Empirical Software Engineering, 2005. Proceedings of International Symposium on Empirical Software Engineering, 2005. v. 1. p. 1-10.
57.   NAKAGAWA, E. Y. ; BIANCHI, T. ; FISCHER, P. ; MALDONADO, J. C. . Memria Virtual: Estabelecimento da Arquitetura e Requisitos do Sistema. In: Fórum Internacional Software Livre, 2005, Porto Alegre. Anais do Fórum Internacional Software Livre, 2005. p. 1-6.
58.   SUGETA, T. ; MALDONADO, J. C. ; WONG, W. E. . Mutation Testing Applied to Validate SDL Specifications. In: 16th IFIP International Conference on Testing of Communicating Systems, 2004, Oxford. Proceedings of the 16th IFIP International Conference on Testing of Communicating Systems, 2004. v. 2978. p. 193-208.
59.   CORTE, Camila K. D. ; BARBOSA, E. F. ; MALDONADO, J. C. . Ensino Integrado de Fundamentos de Programação e de Teste de Software In: XII Workshop de Educação em Informática. In: XII Workshop de Educação em Informática (XII WEI 2004), 2004, Salvador. Anais do XII Workshop de Educação em Informática (XII WEI 2004), 2004. v. 1. p. 1-14.
60.   FREITAS, M. E. ; PAGLIUSO, P. ; BOAS, A. L. V. ; TAMBASCIA, C. ; MALDONADO, J. C. ; HÖHN, E. N. ; FABBRI, S. C. P. F. . Inspeção de documentos de requisitos baseada em técnica de leitura PBR: experiência prática no CPqD. In: III Simpósio Brasileiro de Qualidade de Software, 2004, Brasília. Anais do III Simpósio Brasileiro de Qualidade de Software, 2004. v. 1. p. 153-160.
61.   HÖHN, E. N. ; MALDONADO, J. C. ; MENDONçA, M. ; FABBRI, S. C. P. F. ; BOAS, A. L. V. ; TAMBASCIA, C. ; FREITAS, M. E. ; PAGLIUSO, P. . PBR: Transferência de tecnologia baseada em pacotes de experimentação. In: III SImpósio Brasileiro de Qualidade de Software, 2004, Brasília. Anais do III SImpósio Brasileiro de Qualidade de Software, 2004. v. 1. p. 161-175.
62.   GARCIA, R. E. ; OLIVEIRA, M. C. F. ; MALDONADO, J. C. ; MENDONçA, M. G. . Visual Analysis of Data from Empirical Studies. In: International Workshop on Visual Languages and Computing (VLC´2004), 2004, San Francisco. Proceedings of the 2004 International Conference of Distributed Multimedia Systems, 2004. v. 1. p. 225-230.
63.   CAGNIN, M. I. ; MALDONADO, J. C. ; CHAN, A. ; PENTEADO, R. D. ; GERMANDO, F. S. . Reuso na Atividade de Teste para Reduzir Custo e Esforço de VV\&T no Desenvolvimento e na Reengenharia de Software. In: XVIII Simpósio Brasileiro de Engenharia de Software, 2004, Brasília. Anais do XVIII Simpósio Brasileiro de Engenharia de Software, 2004. v. 1. p. 71-85.
64.   CAGNIN, M. I. ; MALDONADO, J. C. ; BRAGA, R. T. V. ; GERMANDO, F. S. ; PENTEADO, R. D. . Uma Ferramenta de Apoio ao Controle de Versão das Aplicações Criadas por um Framework. In: XXX Conferência Latino-Americana de Informática, 2004, Arequipa. Anais da XXX Conferência Latino-Americana de Informática, 2004. v. 1. p. 414-425.
65.   CAGNIN, M. I. ; MALDONADO, J. C. ; MASIERO, P. C. ; BRAGA, R. T. V. ; PENTEADO, R. D. . An Evolution Process for Application Frameworks. In: I Workshop de Manutenção de SoftWare Moderna em conjunto com XVIII Simpósio Brasileiro de Engenharia de Software, 2004, Brasília. Anais do I Workshop de Manutenção de SoftWare Moderna, 2004. v. 1. p. 1-8.
66.   CAGNIN, M. I. ; PAIVA, D. M. B. ; MALDONADO, J. C. ; PENTEADO, R. D. ; FORTES, R. P. M. ; GERMANO, F. S. . From Design Rationale to Reengineering Rationale: Lessons Learned in a Maintenance Pilot Case Study. In: 4ª Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento, 2004, Madrid. Anais 4ª Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento, 2004. v. 1. p. 231-234.
67.   LEMOS, O. A. L. ; VINCENZI, A. M. R. ; MALDONADO, J. C. ; MASIERO, P. C. . Teste de Unidade de Programas Orientados a Aspectos. In: XVIII Simpósio Brasileiro de Engenharia de Software, 2004, Brasília. Anais do XVIII Simpósio Brasileiro de Engenharia de Software, 2004. v. 1. p. 55-70.
68.   CRUZES, D. S. ; MENDONçA, M. G. ; MALDONADO, J. C. ; JINO, M. . Using Visualization to Bring Context Information to Software Engineering Model Building. In: International Workshop on Visual Languages and Computing (VLC´2004), 2004, San Francisco. Proceedings of 2004 International Workshop on Visual Languages and Computing, 2004. v. 1. p. 219-224.
69.   YANO, T. ; SIMãO, A. S. ; MALDONADO, J. C. . Estudo do Teste de Mutação para a Linguagem Standard ML. In: 30ª Conferência Latinoamericana de Informática, 2004, Arequipa. 30ª Conferência Latinoamericana de Informática, 2004. p. 734-744.
70.   BARBOSA, E. F. ; MALDONADO, J. C. . Mecanismos de apoio modelagem de contedos: uma contribuio ao processo de desenvolvimento de mdulos educacionais. In: Simpósio Brasileiro de Informática na Educação (SBIE'2004), 2004, Manaus. Simpósio Brasileiro de Informática na Educação (SBIE'2004), 2004. v. 1. p. 1-10.
71.   CHAIM, M. L. ; MALDONADO, J. C. ; JINO, M. . A Debugging Strategy Based on Requirements of Testing. In: European Conference on Software Maintenance and Reegineering, 2003, Benevento. Proceedings of European Conference on Software Maintenance and Reegineering. New York/NY : IEEE Computer Society, 2003. v. 1. p. 160-169.
72.   BARBOSA, E. F. ; LEBLANC, R. ; GUZDIAL, M. ; MALDONADO, J. C. . Introducing Testing Practices into Objects and Design Course. In: 16th Conference on Software Engineering Education and Training (CSEE&T 2003), 2003, Madrid. Proceedings of 16th Conference on Software Engineering Education and Training (CSEE&T 2003). Los Alamitos, CA : IEEE Computer Society Press, 2003. v. 1. p. 279-286.
73.   LINKMAN, S. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . An evaluation of systematic functional testing using mutation testing . In: VII International Conference on Empirical Assessment in Software Engineering - EASE'2003, 2003, Keele, UK. Proceedings of VII International Conference on Empirical Assessment in Software Engineering, 2003. v. 1. p. 1-15.
74.   VINCENZI, A. M. R. ; WONG, W. E. ; MALDONADO, J. C. . JaBUTi: A coverage analysis tool for Java Programs. In: XVII Simpósio Brasileiro de Engenharia de Software - SBES'2003, 2003, Manaus. Anais do XVII Simpósio Brasileiro de Engenharia de Software, 2003. v. 1. p. 79-84.
75.   VINCENZI, A. M. R. ; DELAMARO, M. E. ; MALDONADO, J. C. ; WONG, W. E. . Java bytecode static analysis: Deriving structural testing requirements . In: II UK Software Testing Workshop, 2003, York. Proccedings of II UK Software Testing Workshop, 2003. v. 1. p. 1-21.
76.   SIMãO, A. S. ; SOUZA, S. R. S. S. ; MALDONADO, J. C. . A family of coverage testing criteria for coloured petri nets. In: XVII Simpósio Brasileiro de Engenharia de Software - SBES'2003, 2003, Manaus. Anais do XVII Simpósio Brasileiro de Engenharia de Software, 2003. v. 1. p. 209-224.
77.   WONG, W. E. ; SUGETA, T. ; QI, Y. ; MALDONADO, J. C. . Smart Debugging Software Architectural Design in SDL. In: 27th Annual International Computer Software and Applications Conference - COMPSAC'2003, 2003, Dallas, Texas. Proceedings of 27th Annual International Computer Software and Applications Conference, 2003. v. 1. p. 41-47.
78.   CAGNIN, M. I. ; MALDONADO, J. C. ; PENTEADO, R. A. D. ; GERMANO, F. S. R. . PARFAIT: Towards a Framework-based Agile Reengineering Process. In: Agile Development Conference, 2003, Salt Lake City, Utha. Proceedings of Agile Development Conference, 2003. v. 1. p. 22-31.
79.   CAGNIN, M. I. ; MALDONADO, J. C. ; PENTEADO, R. A. D. ; GERMANO, F. S. R. . Investigation and Definition of a Computer-Aided Framework-based Agile Reengineering Process. In: Workshop de Teses em Engenharia de Software do Simpósio Brasileiro de Engenharia de Software - SBES'2003, 2003, Manaus, AM. Anais do Workshop de Teses em Engenharia de Software do Simpósio Brasileiro de Engenharia de Software, 2003. v. 1. p. 9-16.
80.   CAGNIN, M. I. ; MALDONADO, J. C. ; GERMANO, F. S. R. ; MASIERO, P. C. ; CHAN, Al. ; PENTEADO, R. A. D. . An Agile Reverse Engineering Process based on a Framework . In: VI Workshop em Engenharia de Requisitos, 2003, Piracicaba. Anais do VI Workshop em Engenharia de Requisitos, 2003. v. 1. p. 240-254.
81.   CAGNIN, M. I. ; MALDONADO, J. C. ; GERMANO, F. S. R. ; CHAN, Al. ; PENTEADO, R. A. D. . Um Estudo de Caso de Reengenharia Utilizando o Processo PARFAIT . In: Simpósio de Desenvolvimento e Manutenção de Software da Marinha, 2003, Rio de Janeiro, RJ. Anais do Simpósio de Desenvolvimento e Manutenção de Software da Marinha, 2003. v. 1. p. 1-10.
82.   BARBOSA, E. F. ; MALDONADO, J. C. ; MAIDANTCHIK, C. L. L. . Padronização de Processos para o Desenvolvimento de Módulos Educacionais. In: XXIX Latin-American Conference on Informatics, 2003, La Paz. XXIX Latin-American Conference on Informatics. v. 1. p. 1-10.
83.   BARBOSA, E. F. ; MALDONADO, J. C. ; RICARTE, I. L. M. . Exploring Learning Objects under Conceptual, Instructional and Didactic Perspectives. In: I PGL DB Research Conference, 2003, Rio de Janeiro. I PGL DB Research Conference, 2003. p. 33-39.
84.   SIMãO, A. S. ; MALDONADO, J. C. ; BIGONHA, R. S. . Using Denotational Semantics in the Valitation of the Compiler for a Mutation-Oriented Language. In: 5th Workshop on Formal Methods, 2002, Gramado/RS. Proceedings of 5th Workshop on Formal Methods. v. 1. p. 4-19.
85.   SIMãO, A. S. ; VINCENZI, A. M. R. ; MALDONADO, J. C. ; SANTANA, A. C. L. . IDeL: A Language for Program Instrumentation. In: Conferencia Latinoamericana de Informática CLEI, 2002, Montevideo. Conferencia Latinoamericana de Informática CLEI, 2002. v. 1. p. 94-94.
86.   MARTIMIANO, L. A. F. ; MALDONADO, J. C. . An Evaluation of Regression Testing Techniques: A Case Study. In: XXVIII Conferência Latino-Americana de Informática, 2002, Montevideo. XXVIII Conferência Latino-Americana de Informática, 2002.
87.   BARBOSA, E. F. ; MALDONADO, J. C. ; RICARTE, I. L. M. . Learning Materials: Towards the Establishment of Guidelines for Domain Modeling. In: ICTEM 2002 - IFIP WG 3.2 Working Conference on Informatics Curricula, Teaching Methods and Best Practice, 2002, Florianópolis/SC. Proceedings of ICTEM 2002 - IFIP WG 3.2 Working Conference on Informatics Curricula, Teaching Methods and Best Practice, 2002. v. 1. p. 192-206.
88.   CHAIM, M. L. ; MALDONADO, J. C. ; JINO, M. ; VILELA, P. R. S. . Data-Flow Testing of Programs with Pointers and Records: Implementation, Effectiveness, and Cost. In: International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2002, Foz de Iguaçu/PR. Proceedings of International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications. Mount Pleasant/MI : International Association for Computer and Information Science, 2002. v. 1. p. 317-323.
89.   CHAIM, M. L. ; MALDONADO, J. C. ; JINO, M. . On the Use of Dynamic Data-flow Testing Information for Fault Localizations. In: Workshop on Software Quality of the International Conference on Software Engineering, 2002, Orlando/FL. Proceedings of Workshop on Software Quality of the International Conference on Software Engineering, 2002. v. 1. p. ---.
90.   SHULL, F. ; BASILI, V. ; CARVER, J. ; MALDONADO, J. C. ; TRAVASSOS, G. H. . Replicating Software Engineering Experiments: Adressing the Tacit Knowledge Problem. In: International Symposium on Empirical Software Engineering, 2002, Nara. Proceedings of International Symposium on Empirical Software Engineering, 2002. v. 1. p. 7-16.
91.   MARUCCI, R. A. ; FABBRI, S. C. F. P. ; MALDONADO, J. C. ; TRAVASSOS, G. H. . OORTs/ProDeS: Definição de Técnicas de Leitura para um Processo de Software Orientado a Objetos In: I Simpósio Brasileiro de Qualidade de Software. In: I Simpósio Brasileiro de Qualidade de Software, 2002, Gramado/RS. Anais do I Simpósio Brasileiro de Qualidade de Software, 2002. v. 1. p. 102-116.
92.   BARBOSA, E. F. ; MALDONADO, J. C. ; RICARTE, I. L. M. . Towards the Determination of Requirements for Conceptual Modeling on Learning Materials. In: Informatics Curricula, TEaching Methods and best practice Working Conference, 2002, Florianópolis. Informatics Curricula, TEaching Methods and best practice Working Conference, 2002. p. 193-206.
93.   SUGETA, T. ; MALDONADO, J. C. ; MASIERO, P. C. ; FABBRI, S. C. F. P. . Proteum/ST: A Tool to Support Statecharts Validation Based on Mutation Testing. In: 4o Workshop Ibero-Americano de Engenharia e Ambientes de Software - IDEAS'2001, 2001, Santo Domingo. Anais do 4o Workshop Ibero-Americano de Engenharia e Ambientes de Software, 2001. v. único. p. 370-384.
94.   VINCENZI, A. M. R. ; NAKAGAWA, E. Y. ; MALDONADO, J. C. ; DELAMARO, M. E. ; ROMERO, R. A. F. . Bayesian-Learning Based Guidelines to Determine Equivalent Mutants. In: 13th International Conference on Software Engineering & Knowledge Engineering - SEKE'2001, 2001, Buenos Aires. Proceedings of 13th International Conference on Software Engineering & Knowledge Engineering - SEKE'2001, 2001. v. único. p. 15-27.
95.   NAKAGAWA, E. Y. ; MALDONADO, J. C. . Software-Fault Injection Based on Mutant Operators. In: IX Simpósio Brasileiro de Tolerantes a Falhas, 2001, Florianópolis. Anais do IX Simpósio Brasileiro de Tolerantes a Falhas, 2001. v. único. p. 85-98.
96.   CAGNIN, M. I. ; PENTEADO, R. A. D. ; MASIERO, P. C. ; MALDONADO, J. C. . Comparison of Maintainability Improvement by Segmentation and Reengineering - A Case Study. In: Fifth European Conference on Software Maintenance and Reengineering, 2001, Lisboa. Proceedings of the Fifth European Conference on Software Maintenance and Reengineering, 2001. v. único. p. 158-167.
97.   SIMãO, A. S. ; SUGETA, T. ; MALDONADO, J. C. ; MONARD, M. C. . Prolog & TXL: Um Estudo de Caso para Prototipação de Ferramentas de Apoio para o Teste Estrutural. In: 1a Jornadas Iberoamericanas de Ingeniera del Software e Ingeniera del Conocimiento (JIISIC 2001), 2001, Buenos Aires. Anais da 1a Jornadas Iberoamericanas de Ingeniera del Software e Ingeniera del Conocimiento (JIISIC 2001), 2001. v. único. p. 15-22.
98.   JORGE, R. F. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Teste de Mutação: Estratégias Baseadas em Equivalências de Mutantes para Redução do Custo de Aplicação. In: CLEI2001 - XXVII Conferência Latino Americana de Informática, 2001, Merida. Anais CLEI2001 - XXVII Conferência Latino Americana de Informática, 2001. v. único. p. 1-10.
99.   PERES, L. M. ; VERGILIO, S. R. ; MALDONADO, J. C. . Path Selection in the Structural Testing: Proposition, Implementation and Application of Strategies. In: XXI SCCC - International Conference of the Chilean Computer Science Society, 2001, Punta Arenas. Anais do XXI SCCC - International Conference of the Chilean Computer Science Society, 2001. v. único. p. 240-246.
100.   COLANZI, T. E. ; MASIERO, P. C. ; MALDONADO, J. C. . SDProc/UML: Integrating Testing with Object-Oriented Software Development Process. In: I Workshop em Ingenieria de Software e 2001 Jornadas Chileanas de Computation, 2001, Punta Arenas. Anais do I Workshop em Ingenieria de Software e 2001 Jornadas Chileanas de Computation, 2001. v. único. p. 1-10.
101.   DELAMARO, M. E. ; PEZZé, M. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Mutant Operators for Testing Concurrent Java Programs. In: XV SBES - Simpósio Brasileiro de Engenharia de Software, 2001, Rio de Janeiro. Anais do XV SBES - Simpósio Brasileiro de Engenharia de Software, 2001. v. único. p. 272-285.
102.   SIMãO, A. S. ; MALDONADO, J. C. . MuDEL: A Language and System for Describing and Generating Mutants. In: XV SBES - Simpósio Brasileiro de Engenharia de Software, 2001, Rio de Janeiro. Anais do XV SBES - Simpósio Brasileiro de Engenharia de Software, 2001. v. único. p. 240-255.
103.   SOUZA, S. R. S. S. ; MALDONADO, J. C. ; FABBRI, S. C. F. P. . FCCE: Uma Família de Critérios de Teste para Validação de Sistemas Especificados em Estelle. In: XV SBES - Simpósio Brasileiro de Engenharia de Software, 2001, Rio de Janeiro. Anais do XV SBES - Simpósio Brasileiro de Engenharia de Software, 2001. v. único. p. 256-271.
104.   CANDOLO, M. A. P. ; SIMãO, A. S. ; MALDONADO, J. C. . MGASet - Uma Ferramenta para Apoiar o Teste e Validação de Especificações Baseadas em Máquinas de Estado Finito. In: XV SBES - Simpósio Brasileiro de Engenharia de Software, 2001, Rio de Janeiro. Anais do XV SBES - Sessão de Ferramentas, 2001. v. único. p. 291-296.
105.   SIMãO, A. S. ; MALDONADO, J. C. . Mutation-Based Test Sequence Generation for Petri Nets. In: Cadernos de Computação, 2001, São Carlos/SP. Cadernos de Computação, 2001. p. 181-208.
106.   VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Resultados da aplicação de diferentes técnicas de geração de dados de teste sensíveis a defeitos. In: CLEI2001 - XXVII Conferência Latino Americana de Informática, 2001, Merida/FL. Anais do CLEI2001 - XXVII Conferência Latino Americana de Informática, 2001.
107.   FIGUEIREDO, R. M. C. ; MALDONADO, J. C. ; BREMER, C. F. . ASP - um novvo modelo de outsourging de tecnologia da informação. In: Escola Regional de Informática de São Paulo, 2001, São Carlos/SP. Anais da Escola Regional de Informática de São Paulo, 2001. p. 49-69.
108.   SANCHES, Rosely ; FABBRI, S. C. F. P. ; MALDONADO, J. C. . Qualidade de software: da engenharia de softwae aosmoelos de qualidade. In: Escola Regional de Informática de São Paulo, 2001, São Carlos/SP. Anais da Escola Regional de Informática de São Paulo, 2001. p. 219-240.
109.   SOUZA, S. R. S. S. ; MALDONADO, J. C. . Validação de Especificações de Sistemas Reativos: Definição e Análise de Critérios de Teste. In: XIV CTD - Concurso de Teses e Dissertações, XXI Congresso da Sociedade Brasileira de Computação, 2001, Fortaleza/CE. Anais do XIV CTD - Concurso de Teses e Dissertações, XXI Congresso da Sociedade Brasileira de Computação, 2001.
110.   BARBOSA, E. F. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Towards the Determination of Sufficient Mutant Operators for C. In: 22nd International Conference on Software Engineering (ICSE), 2000, Limerick. Proceedings of the First International Workshop on Automated Program Analysis, Testing and Verification, 2000.
111.   MALDONADO, J. C. ; DELAMARO, M. E. ; FABBRI, Sandra .C P. F. ; SIMãO, 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, 2000, San Jose. Proceedings of Mutation 2000 Symposium, 2000. p. 146-149.
112.   DELAMARO, M. E. ; MALDONADO, J. C. ; VINCENZI, A. M. R. . Proteum/IM 2.0: An Integrated Mutation Testing Environment. In: Mutation 2000: A Symposium on Mutation Testing for the New Century, 2000, San Jose. Proceedings of Mutation 2000 Symposium, 2000. p. 124-134.
113.   MALDONADO, J. C. ; BARBOSA, E. F. ; VINCENZI, A. M. R. ; DELAMARO, M. E. . Evaluating N-Selective Mutation for C Programs: Unit and Integration Testing. In: Mutation 2000: A Symposium on Mutation Testing for the New Century, 2000, San Jose. Proceedings of Mutation 2000 Symposium, 2000. p. 32-44.
114.   SIMãO, A. S. ; MALDONADO, J. C. . Mutation-based Test Sequence Generation for Petri nets. In: Workshop de Métodos Formais - XIV Simpósio Brasileiro de Engenharia de Software, 2000, João Pessoa. Anais do Workshop de Métodos Formais - XIV SBES, 2000. p. 68-79.
115.   CRESPO, A. N. ; JINO, M. ; PASQUINI, A. ; MALDONADO, J. C. . A Binomial Software Reliability Model Based on Coverage of Structural Testing Criteria. In: XIV Simpósio Brasileiro de Engenharia de Software, 2000, João Pessoa. Anais do XIV Simpósio Brasileiro de Engenharia de Software, 2000. p. 211-226.
116.   SIMãO, A. S. ; MALDONADO, J. C. . Proteum-RS/PN : Uma Ferramenta para Apoiar a Edição, Simulação e Validação de Redes Petri Baseada no Teste de Mutação. In: 14o Simpósio Brasileiro de Engenharia se Software, 2000, João Pessoa. Caderno de Ferramentas do 14o Simpósio Brasileiro de Engenharia se Software, 2000. p. 376-379.
117.   SOUZA, S. R. S. ; MALDONADO, J. C. ; FABBRI, Sandra .C P. F. ; MASIERO, P. C. . Statecharts Specifications: A Family of Coverage Testing Criteria. In: CLEI2000 - XXVI Conferência Latino Americana de Informática, 2000, Cidado do México. Proceedings of CLEI2000, 2000.
118.   MALDONADO, J. C. ; SOUZA, S. R. S. S. ; FABBRI, Sandra .C P. F. ; LOPES DE SOUZA, W. . Mutation Testing Applied to Estelle Specifications. In: 33rd Hawaii International Conference on System Sciences - Mini-track on Distributed Systems Testing, 2000, Maui. Proceedings of 33rd Hawaii International Conference on System Sciences, 2000. p. 217.
119.   VINCENZI, A. M. R. ; MALDONADO, J. C. ; BARBOSA, E. F. ; DELAMARO, M. E. . Unit and Integration Testing Strategies for C Programs Using Mutation-based Criteria. In: Mutation 2000: a Symposium on Mutation Testing for the New Century, 2000, San Jose. Proceedings of Mutation 2000 Symposium, 2000. p. 56-67.
120.   VERGíLIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Constraint Based Criteria: An Approach for Test Case Selection in the Structural Testing. In: 1st IEEE Latin American Test Workshop, 2000, Rio de Janeiro. Anais do 1st IEEE Latin American Test Workshop, 2000. p. 228-234.
121.   PERES, L. M. ; VERGíLIO, S. R. ; JINO, M. ; MALDONADO, J. C. . Path Selection Strategies in the Context of Software Testing Criteria. In: 1st IEEE Latin American Test Workshop, 2000, Rio de Janeiro. Anais do 1st IEEE Latin American Test Workshop, 2000. p. 222-227.
122.   SIMãO, A. S. ; MALDONADO, J. C. . Proteum-RS/PN: A Tool to Support Edition, Simulation and Validation of Petri Nets Based on Mutation Testing. In: XIV SBES - Simpósio Brasileiro de Engenharia de Software, 2000, João Pessoa. Anais do XIV SBES - Simpósio Brasileiro de Engenharia de Software, 2000. p. 227-242.
123.   BARBOSA, E. F. ; MALDONADO, J. C. ; VINCENZI, A. M. R. ; DELAMARO, M. E. ; SOUZA, S. R. S. S. ; JINO, M. . Introdução ao teste de software. In: XIV Simpósio Brasileiro de Engenharia de Software, 2000, João Pessoa/PB. Anais do XIV Simpósio Brasileiro de Engenharia de Software, 2000. p. 330-378.
124.   SPOTO, E. S. ; JINO, M. ; MALDONADO, J. C. . Teste estrural de software: uma abordagem para aplicações de banco de dados relacional. In: XIV Simpósio Brasileiro de Engenharia de Software, 2000, João Pessoa/PB. Anais do XIV Simpósio Brasileiro de Engenharia de Software, 2000. p. 243-258.
125.   BARBOSA, E. F. ; ADRIANO, C. M. ; MALDONADO, J. C. ; RICARTE, I. L. M. ; JINO, M. . Forecasting theoretical, empirical and tool Forecasting theoretical, empirical and tool specific knowledge in a software testing learning scenario. In: International Conference on Engineering and Computer Education, 2000, São Paulo/SP. Proceedings of International Conference on Engineering and Computer Education, 2000.
126.   FABBRI, Sandra .C P. F. ; MALDONADO, J. C. ; MASIERO, P. C. ; DELAMARO, M. E. . Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing. In: International Conference of the Chilean Computer Science Society, 1999, Santiago. Proceeding of XIX SCCC, 1999. p. 96-104.
127.   FABBRI, Sandra .C P. F. ; MALDONADO, J. C. ; SUGETA, T. ; MASIERO, P. C. . Mutation Testing Applied to Validate Specifications Based on Statecharts. In: International Symposium on Software Reliability Engineering, 1999, Boca Raton. Proceedings of the 10th ISSRE, 1999. p. 210-219.
128.   VINCENZI, A. M. R. ; MALDONADO, J. C. ; BARBOSA, E. F. ; DELAMARO, M. E. . Operadores Essenciais de Interface: Um Estudo de Caso. In: XIII Simpósio Brasileiro de Engenharia de Software, 1999, Florianópolis. Anais do XIII SBES, 1999. p. 373-391.
129.   CARVALHO, R. A. ; FABBRI, Sandra .C P. F. ; MALDONADO, J. C. . Um Estudo sobre a Avaliação do Custo de Aplicação da Análise de Mutantes na Validação de Máquinas de Estados Finitos. In: XIII Simpósio Brasileiro de Engenharia de Software, 1999, Florianópolis. Anais do XIII SBES, 1999. p. 323-338.
130.   VILELA, P. R. ; MALDONADO, J. C. ; JINO, M. . Pairwise Data Flow Based Integration Testing. In: XIII Simpósio Brasileiro de Engenharia de Software, 1999, Florianópolis. Anais do XIII SBES, 1999. p. 393-409.
131.   COLANZI, T. E. ; MALDONADO, J. C. ; MASIERO, P. C. . Teste de Software OO: Uma Abordagem para a Organização e o Planejamento da Atividade de Teste. In: Workshop de Qualidade de Software - XIII Simpósio Brasileiro de Engenharia de Software, 1999, Florianópolis. Anais do Workshop de Qualidade de Software - XIII SBES, 1999. p. 90-108.
132.   DELAMARO, M. E. ; MALDONADO, J. C. . Interface Mutation: Assessing Testing Quality at Interprocedural Level. In: XIX SCCC - International Conference of the Chilean Computer Science Society, 1999. Proc. of XIX SCCC - International Conference of the Chilean Computer Science Society. p. 78-86.
133.   BARBOSA, E. F. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Uma Contribuição para Determinação de um Conjunto Essencial de Operadores de Mutação no Teste de Programas C. In: XII Simpósio Brasileiro de Engenharia de Software - SBES'98, 1998, Maringá. Anais do XII SBES. Maringá- PR, 1998. p. 103-120.
134.   SOUZA, S. R. S. ; MALDONADO, J. C. . Applying Test Set Minimization to Mutation-based Test Criteria. In: ISSAT'98 - International Conference on Reliability and Quality in Design, 1998, Seattle. Proceedings of the 4th ISSAT. Seattle - USA, 1998. p. 275-281.
135.   CRESPO, A. N. ; JINO, M. ; PASQUINI, A. ; MALDONADO, J. C. . Code Coverage of Potential-Uses Criteria and Software Reliability. In: ISSAT'98 - International Conference on Reliability and Quality in Design, 1998, Seattle. Proceedings of the 4th ISSAT. Seattle - USA, 1998. p. 249-254.
136.   NAKAGAWA, E. Y. ; MALDONADO, J. C. . Um Esquema de Injeção de Defeitos Baseado em Operadores de Mutação. In: I Workshop de Tolerância À Falhas, 1998, Porto Alegre. Anais do I WTF. Porto Alegre - RS, 1998. p. 31-36.
137.   TOMAZELA, M. G. J. M. ; MALDONADO, J. C. . Avaliação do Custo de Aplicação dos Critérios Potenciais Usos no Teste de Programas Cobol. In: IX CITS - Congresso Internacional de Tecnologia de Software, 1998, Curitiba. Anais do IX CITS. Curitiba - PR, 1998. p. 231-242.
138.   MASIERO, P. C. ; GERMANO, F. S. R. ; MALDONADO, J. C. . Object and Systems Life Cycle Revisited: Their Use in Object-Oriented Analysis and Design Methods. In: International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design, 1998, Pisa. Proceedings of the IWEMMSAD. Pisa - Itália, 1998. p. 1-12.
139.   COSTA, R. M. ; IAVARONI, G. M. ; SANCHES, R. ; MALDONADO, J. C. ; MASIERO, P. C. . Engenharia Reversa: da Interface do Software aos Modelos de Análise do Método Fusion. In: ASSOO'98 - Simposio en Orientacion a Objetos, 1998, Buenos Aires. Anais do ASSOO'98. Buenos Aires - Argentina, 1998. p. 133-146.
140.   MALDONADO, J. C. ; VINCENZI, A. M. R. ; BARBOSA, E. F. ; SOUZA, S. R. S. S. ; DELAMARO, M. E. . Aspectos Teóricos e Empíricos de Teste de Cobertura de Software. In: VI Escola de Informática da SBC - Regional Sul, 1998, Curitiba, Blumenau e Pelotas. VI Escola de Informática da SBC - Regional Sul, 1998. p. 53-86.
141.   WONG, W. E. ; MALDONADO, J. C. ; DELAMARO, M. E. ; SOUZA, S. R. S. . Use of Proteum to Accelerate Mutation Testing in C Programs. In: 3rd ISSAT - International Conference on Reliability and Quality in Design, 1997. Proceedings of 3rd ISSAT. Anaheim, California, EUA, 1997. p. 254-258.
142.   VILELA, P. R. ; MALDONADO, J. C. ; JINO, M. . Data Flow Testing of Programs with Pointers: A Strategy Based on Potential Uses. In: 10th International Software Quality Week 1997, 1997, San Francisco. Proceedings of the QW97. San Francisco, California - EU, 1997. p. 1-12.
143.   PAILO, L. F. ; VILLAS-BOAS ; MALDONADO, J. C. ; JINO, M. . Avaliação da Adequação de Conjuntos de Teste Funcional Utilizando Critérios Estruturais com o Apoio de Ferramentas de Teste Comerciais. In: VIII CITS - Conferência Internacional de Tecnologia de Software, 1997, Curitiba. Anais do VIII CITS - Conferência Internacional de Tecnologia de Software. Curitiba - PR, 1997. p. 251-258.
144.   SOUZA, S. R. S. ; MALDONADO, J. C. ; VERGíLIO, S. R. . Análise de Mutantes e Potenciais-Usos: Uma Avaliação Empírica. In: VIII CITS - Conferência Internacional de Tecnologia de Software, 1997, Curitiba. Anais do VIII CITS - Conferência Internacional de Tecnologia de Software. Curitiba - PR, 1997. p. 225-249.
145.   WONG, E. ; MALDONADO, J. C. ; DELAMARO, M. E. . Reducing the Cost of Regression Testing By Using Selective Mutation. In: VIII CITS - Conferência Internacional de Tecnologia de Software, 1997, Curitiba. Anais do VIII CITS - Conferência Internacional de Tecnologia de Software. Curitiba - PR, 1997. p. 93-109.
146.   CRESPO, A. N. ; PASQUINI, A. ; JINO, M. ; MALDONADO, J. C. . Cobertura dos Critérios Potenciais-Usos e A Confiabilidade do Software. In: XI Simpósio Brasileiro de Engenharia de Software - SBES'97, 1997, Fortaleza. Anais do XI Simpósio Brasileiro de Engenharia de Software - SBES'97. Fortaleza - CE, 1997. p. 379-394.
147.   DELAMARO, M. E. ; MALDONADO, J. C. . Teste de Integração: Projeto de Operadores para o Critério Mutação de Interface. In: XI Simpósio Brasileiro de Engenharia de Software - SBES'97, 1997, Fortaleza. Anais do XI Simpósio Brasileiro de Engenharia de Software - SBES'97. Fortaleza - CE, 1997. p. 413-428.
148.   FABBRI, Sandra .C P. F. ; MALDONADO, J. C. ; MASIERO, P. C. . Aplicação do Critério Análise de Mutantes na Validação de Especificações Baseadas em Statecharts. In: XI Simpósio Brasileiro de Engenharia de Software - SBES'97, 1997, Fortaleza. Anais do XI Simpósio Brasileiro de Engenharia de Software - SBES'97. Fortaleza - CE, 1997. p. 429-444.
149.   SOUZA, S. R. S. ; MALDONADO, J. C. . Avaliação do Impacto da Minimização de Conjuntos de Casos de Teste no Custo e Eficácia do Critério Análise de Mutantes. In: XI Simpósio Brasileiro de Engenharia de Software - SBES'97, 1997, Fortaleza. Anais do XI Simpósio Brasileiro de Engenharia de Software - SBES'97. Fortaleza - CE, 1997. p. 445-460.
150.   VERGíLIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Constraint Based Selection of Test Sets to Satisfy Structural Testing Criteria. In: XVII International Conference of the SCCC, Sociedad Chilena de Ciencia de la Computacion, 1997, Valparaíso. Proceedings of the XVII International Conference of the SCCC. Valparaíso - Chile, 1997. p. 256-263.
151.   FABBRI, Sandra .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, 1997, Bath. Proceedings of the 5th Annual International Conference on Software Quality Management. Bath - Inglaterra, 1997. p. 247-258.
152.   VILLAS BOAS, A. ; MALDONADO, J. C. ; FABBRI, S. C. P. F. . Gestão de Configuração na Atividade de Teste. In: Workshop de Qualidade de Software - XI SBES - Simpósio Brasileiro de Engenharia de Software, 1997, Fortaleza. Anais do WQS'97 - Workshop Qualidade de Software - XI SBES, 1997. p. 107-116.
153.   VINCENZI, A. M. R. ; BARBOSA, E. F. ; SOUZA, S. R. S. S. ; DELAMARO, M. E. ; MALDONADO, J. C. . Critério Análise de Mutantes: Estado Atual e Perspectivas. In: I Workshop do Projeto Validação e Teste de Sistemas de Operação, 1997, águas de Lindóia/SP. Anais do I Workshop do Projeto Validação e Teste de Sistemas de Operação, 1997. p. 15-26.
154.   NAKAGAWA, E. Y. ; DELAMARO, M. E. ; CHAIM, M. L. ; MALDONADO, J. C. ; JINO, M. . Aspectos de projeto e implementação de interfaces gráficas do usuário para ferramentas de teste de software. In: Workshop do Projeto Validação e Teste de Sistemas de Operação, 1997, águas de Lindóia/SP. Anais do Workshop do Projeto Validação e Teste de Sistemas de Operação, 1997. p. 57-67.
155.   VERGíLIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Infeasible Paths within the Context of Data Flow based Criteria. In: 6th ICSQ - International Conference on Software Quality, 1996, Ottawa. Proceedings of 6th ICSQ - International Conference on Software Quality. Ottawa - Canadá, 1996. p. 310-321.
156.   TSUKUMO, A. N. ; CAPOVILLA, C. R. ; JINO, M. ; MALDONADO, J. C. . The Second Experiment of Application of ISO/IEC 9126 Standards on Quality Evaluation of Braziian Software Products. In: 6th ICSQ - International Conference on Software Quality, 1996, Ottawa. Proceedings of 6th ICSQ - International Conference on Software Quality. Ottawa - Canadá, 1996. p. 47-63.
157.   DELAMARO, M. E. ; MALDONADO, J. C. ; MATHUR, A. P. . Integration Testing Using Interface Mutation. In: The 7th International Symposium on Software Reliability Engineering - ISSRE'96, 1996. Proceedings of the ISSRE´96, 1996. p. 112-121.
158.   DELAMARO, M. E. ; MALDONADO, J. C. . PROTEUM: A Tool for the Assessment of Test Adequacy for C Programs. In: Conference on Performability on Computing System, 1996, East Brunswick. Proceedings of the Conference on Performability in Computing System, 1996. p. 79-95.
159.   CANGUSSU, J. ; PENTEADO, R. A. D. ; MASIERO, P. C. ; MALDONADO, J. C. . Validation of Statecharts Based on Programmed Execution. In: VII International Conference on Computing and Information, 1995, Ontario. Proceedings of the VII International Conference on Computing and Information. Ontario - Canada, 1995.
160.   TSUKUMO, A. N. ; CAPOVILLA, C. R. ; JINO, M. ; MALDONADO, J. C. . ISO/IEC: An Experiment of Application on Brazilian Software Products. In: ISESS'95 - 2nd International Symposium and Forum on Software Engineering Standards, 1995, Montreal. Proceedings of ISESS'95 - 2nd International Symposium and Forum on Software Engineering Standards. Monterey, 1995. p. 184-190.
161.   VERGíLIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Um Experimento de Aplicação de Critérios Baseados em Fluxo de Dados no Teste de Programas C. In: XV SBC-SEMISH - Congresso da Sociedade Brasileira de Computação, Seminário Integrado de Software e Hardware e Panel'95, 1995, Canela. Anais do XV SBC - XXII SEMISH - Seminário Integrado de Software e Hardware e Panel'95. Canela - RS, 1995. p. 941-952.
162.   VERGíLIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Geração de Dados de Teste: Uma Estratégia que Preserva a Hierarquia de Critérios. In: IX SBES - Simpósio Brasileiro de Engenharia de Software, 1995, Recife. Anais do IX SBES - Simpósio Brasileiro de Engenharia de Software. Recife - PE, 1995. p. 211-222.
163.   FABBRI, Sandra .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: FORTE'95 - 8th International IFIP Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, 1995, Montreal. Proceedings of FORTE'95 - 8th International IFIP Conference on Formal Description Techniques for Distributed Systems and Communications Protocols. Montreal - Canadá, 1995. p. 329-337.
164.   VILLAS BOAS, A. ; MALDONADO, J. C. ; JINO, M. . Estudo Comparativo de Critérios de Teste de Software para o Estabelecimento de Estratégias de Aplicação. In: Workshop de Qualidade de Software - IX SBES - Simpósio Brasileiro de Engenharia de Software, 1995, Recife. Anais do Workshop de Qualidade de Software - IX SBES, 1995. p. 132-135.
165.   MALDONADO, J. C. ; DELAMARO, M. E. ; SOUZA, S. R. S. S. ; PAILO, L. F. . Análise de Mutantes: Uma Avaliação Empírica do Axioma de Antiextensionalidade e da Propriedade de Equivalência. In: Workshp de Qualidade de Software - IX SBES - Simpósio Brasileiro de Engenharia de Software, 1995, Recife. Anais do Workshp de Qualidade de Software - IX SBES, 1995. p. 136-140.
166.   VILELA, P. R. ; MALDONADO, J. C. ; JINO, M. ; CHAIM, M. L. . Visualização de Grafos de Programa: Uma Abordagem sem Reposicionamento. In: VII SIBIGRAPI - Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens, 1994, Curitiba. Anais do VII SIBIGRAPI - Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens. Curitiba - PR, 1994. p. 189-196.
167.   FABBRI, Sandra .C P. F. ; MALDONADO, J. C. ; MASIERO, P. C. ; DELAMARO, M. E. . Mutation Analysis Testing for Finite State Machines. In: 5th International Symposium on Software Reliability Engineering, 1994, Monterey. Proceedings of the 5th International Symposium on Software Reliability Engineering. California - EUA, 1994. p. 220-229.
168.   VERGíLIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Caminhos Não Executáveis no Teste de Integração: Caracterização, Previsão e Determinação. In: VIII SBES - Simpósio Brasileiro de Engenharia de Software, 1994, Curitiba. Anais do VIII SBES - Simpósio Brasileiro de Engenharia de Software. Curitiba - PR, 1994. p. 453-467.
169.   WONG, W. E. ; MALDONADO, J. C. ; DELAMARO, M. E. ; MATHUR, A. P. . Constained Mutation in C Programs. In: VIII SBES - Simpósio Brasileiro de Engenharia de Software, 1994, Curitiba. Anais do VIII SBES - Simpósio Brasileiro de Engenharia de Software. Curitiba - PR, 1994. p. 439-452.
170.   FABBRI, Sandra .C P. F. ; MALDONADO, J. C. ; MASIERO, P. C. ; DELAMARO, M. E. . Aplicação da Análise de Mutantes na Validação de Especificações Baseadas em Redes Petri. In: VIII SBES - Simpósio Brasileiro de Engenharia de Software, 1994, Curitiba. Anais do VIII SBES - Simpósio Brasileiro de Engenharia de Software. Curitiba - PR, 1994. p. 423-437.
171.   FABBRI, Sandra .C P. F. ; DELAMARO, M. E. ; MALDONADO, J. C. ; MASIERO, P. C. . Proteum/FSM - Especificação de uma Ferramenta para Apoiar a Validação de Máquinas de Estado Finito pelo Critério Análise de Mutantes. In: XII SBRC - Simpósio Brasileiro de Redes de Computadores, 1994, Curitiba. Anais do XII SBRC - Simpósio Brasileiro de Redes de Computadores. Curitiba - PR, 1994. p. 284-304.
172.   CANGUSSU, J. ; MASIERO, P. C. ; MALDONADO, J. C. . Execução Programada de Statecharts. In: VII SBES - Simpósio Brasileiro de Engenharia de Software, 1993, Rio de Janeiro. Anais do VII SBES - Simpósio Brasileiro de Engenharia de Software. Rio de Janeiro - RJ, 1993. p. 151-165.
173.   VERGíLIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Uma Estratégia para Geração de Dados de Teste. In: VII SBES - Simpósio Brasileiro de Engenharia de Software, 1993, Rio de Janeiro. VII SBES - Simpósio Brasileiro de Engenharia de Software. Rio de Janeiro - RJ, 1993. p. 306-319.
174.   BRITES, C. F. V. ; CHAIM, M. L. ; COSTA, H. S. ; JINO, M. ; KONDO, R. S. ; MALDONADO, J. C. ; SINHORIN, G. J. . Software Test Evaluation Applied to Hardware Simulation. In: VIII SBMICRO - Congresso da Sociedade Brasileira de Microeletrônica, 1993, Campinas. VIII SBMICRO - Congresso da Sociedade Brasileira de Microeletrônica. Campinas - SP, 1993. p. 13-18.
175.   VERGíLIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Influência do Número de Predicados na Executabilidade de um Caminho no Contexto de Teste Baseado em Fluxo de Dados. In: XIX Conferência Latinoamericana de Estudios en Informática, 1993, Buenos Aires. Anais da IXIX Conferência Latinoamericana de Estudios en Informática. Buenos Aires - Argentina, 1993. p. 11-23.
176.   FABBRI, Sandra .C P. F. ; MALDONADO, J. C. ; MASIERO, P. C. ; DELAMARO, M. E. . Análise de Mutantes Baseada em Máquinas de Estado Finito. In: XI SBRC - Simpósio Brasileiro de Redes de Computadores, 1993, Campinas. XI SBRC - Simpósio Brasileiro de Redes de Computadores. Campinas - SP, 1993. p. 407-425.
177.   MALDONADO, J. C. ; CHAIM, M. L. ; JINO, M. . Using the Essential Branch Concept to Support Data-Flow based Testing Criteria Application. In: 5th International Conference on Software Engineering and its Applications, 1992, Toulouse. Proceedings of the 5th International Conference on Software Engineering and its Applications. Toulouse - França, 1992. p. 613-323.
178.   MALDONADO, J. C. ; VERGíLIO, S. R. ; CHAIM, M. L. ; JINO, M. . Critérios Potenciais Usos: Análise da Aplicação de um Benchmark. In: VI SBES - Simpósio Brasileiro de Engenharia de Software, 1992, Gramado. Anais do VI SBES - Simpósio Brasileiro de Engenharia de Software. Gramado - RS, 1992. p. 357-374.
179.   VERGíLIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Caminhos Não-Executáveis na Automação das Atividades de Teste. In: VI SBES - Simpósio Brasileiro de Engenharia de Software, 1992, Gramado. Anais do VI SBES - Simpósio Brasileiro de Engenharia de Software. Gramado - RS, 1992. p. 343-356.
180.   MALDONADO, J. C. ; CHAIM, M. L. ; JINO, M. . Briding the Gap in the Presence of Infeasible Paths: Potential Uses Testing Criteria. In: XII International Conference of the SCCC (Sociedad Chilena de la Ciencia de la Computación), 1992, Santiago. Proceedings of XII International Conference of the SCCC. Santiago - Chile, 1992. p. 323-340.
181.   MASIERO, P. C. ; BOAVENTURA, I. ; MALDONADO, J. C. . Dynamic Properties of Statecharts: A Reachability Tree and Analysis of Some Properties. In: XVIII Conferência Latinoamericana de Informática, 1992. DYNAMIC PROPERTIES OF STATECHARTS: A REACHABILITY TREE AND ANALYSIS OF SOME PROPERTIES. Espanha. p. 728-735.
182.   MALDONADO, J. C. ; CHAIM, M. L. ; VERGíLIO, S. R. ; JINO, M. . Critérios Potenciais Usos: Uma Contribuição para a Atividade de Garantia de Qualidade de Software. In: Workshop em Avaliação de Qualidade de Software, 1991, Rio de Janeiro. Anais do Workshop em Avaliação de Qualidade de Software. Rio de Janeiro - RJ, 1991. p. 48-52.
183.   CHAIM, M. L. ; MALDONADO, J. C. ; JINO, M. . Modelando a Determinação de Potenciais Du-Caminhos através da Análise de Fluxo de Dados. In: III SBES - Simpósio Brasileiro de Engenharia de Software, 1989, Recife. Anais do III SBES - Simpósio Brasileiro de Engenharia de Software. Recife - PE, 1989. p. 239-251.
184.   MALDONADO, J. C. ; CHAIM, M. L. ; JINO, M. . Arquitetura de uma Ferramenta de Teste de Software de Apoio aos Critérios Potenciais Usos. In: XXII Congresso Nacional de Informática - SUCESU, 1989, São Paulo. Anais do XXII Congresso Nacional de Informática - SUCESU. São Paulo - SP, 1989. p. 92-101.
185.   MALDONADO, J. C. ; CHAIM, M. L. ; JINO, M. . Seleção de Casos de Testes Baseada na Análise de Fluxo de Dados através dos Critérios Potenciais Usos. In: II SBES - Simpósio Brasileiro de Engenharia de Software, 1988, Canela. Anais do II SBES - Simpósio Brasileiro de Engenharia de Software. Canela - RS, 1988. p. 24-35.
186.   MALDONADO, J. C. . A Comparative Study Of Link Protocols for Typical Fault-Tolerance Multiprocessing Unit for On-Board Satellite Applications. In: I Simpósio em Sistemas de Computadores Tolerantes a Falhas, 1985, São José dos Campos. Anais do I Simpósio em Sistemas de Computadores Tolerantes a Falhas. São José dos Campos - SP, 1985. p. 63-77.
187.   MALDONADO, J. C. ; CEREDA, R. L. D. . S-Micro: Sistema Para Simulação de Unidade de Controle Microprogramada. In: 5o Congresso Brasileiro de Automática / I Congresso Latino-Americano de Automática, 1984, Campina Grande. Anais do 5o Congresso Brasileiro de Automática/ 1o Congresso Latino Americano de Automática. Campina Grande - PB, 1984. p. 103-107.
188.   MALDONADO, J. C. ; BERGAMINI, E. W. . Um Sistema de Controle e Supervisão de Bordo para Aplicações em (Multi) Missões Espaciais. In: I Simpósio Brasileiro de Telecomunicações, 1983, Rio de Janeiro. Anais do I Simpósio Brasileiro de Telecomunicações. Rio de Janeiro - RJ, 1983. p. 3.11-3.29.
189.   MALDONADO, J. C. ; MENDES, R. A. . Um Sistema de Supervisão de Bordo para Aplicações em Missões Espaciais. In: II Encontro Nacional de Automática, 1981, Salvador. Anais do II ENA. Salvador - BA, 1981. p. 92-102.

Resumos expandidos publicados em anais de congressos (12)

1.   NAKAGAWA, E. Y. ; MALDONADO, J. C. . Reference Architecture Knowledge Representation: An Experience. In: 3rd Workshop on SHAring and Reusing architectural Knowledge (SHARK 2008), 2008, Leipzig. Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008. p. 1-4.
2.   ANDERY, G. F. ; Sousa, Elaine P. M. ; NAKAGAWA, E. Y. ; MALDONADO, J. C. . de Dados de Acervos Históricos e Culturais no Sistema Memória Virtual de São Carlos. In: Sessão de Pôsteres, XXIII Simpósio Brasileira de Banco de Dados (SBBD 2008), 2008, Campinas, SP. Sessão de Pôsteres, XXIII Simpósio Brasileira de Banco de Dados (SBBD 2008), 2008. p. 1-4.
3.   NAKAGAWA, E. Y. ; MALDONADO, J. C. . Representing Aspect-Based Architecture of Software Engineering Environments. In: Workshop on Aspects in Architectural Description, 2007, Vancouver. Proceedings of Workshop on Aspects in Architectural Description, 2007. p. 1-4.
4.   FELIZARDO, K. R. ; FABBRI, S. C. F. P. ; DOMINGUES, A. L. S. ; Visconti, M. ; MALDONADO, J. C. . COTEST - Code Testing Experiment Supporting Tool. In: 5th ACM IEEE International Symposium On Empirical Software Engineering, 2006, Rio de Janeiro. Proceedings of 5th ACM IEEE International Symposium On Empirical Software Engineering, 2006. p. 1-3.
5.   CAGNIN, M. I. ; MALDONADO, J. C. ; PENTEADO, R. D. ; BRAGA, R. T. V. ; GERMANO, F. S. . GREN-WizardVersionControl: Uma Ferramenta de Apoio ao Controle de Versão das Aplicações Criadas pelo Framework GREN. In: XI Sessão de Ferramentas do XVIII Simpósio Brasileiro de Engenharia de Software, 2004, Brasília. Anais da XI Sessão de Ferramentas do XVIII Simpósio Brasileiro de Engenharia de Software, 2004. v. 1. p. 73-78.
6.   ROCHA, A. D. ; SIMãO, A. S. ; MALDONADO, J. C. ; MASIERO, P. C. . Teste Funcional: Uma abordagem Auxiliada por Aspectos. In: I Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos, 2004, Brasília. Anais do I Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos, 2004. v. 1. p. 1-8.
7.   YANO, T. ; SIMãO, A. S. ; MALDONADO, J. C. . Proteum/SML - uma ferramenta de apoio ao teste de mutação para a linguagem standard ML. In: Sessao de Ferramentas do XVII Simpósio Brasileiro de Engenharia de Engenharia de Software - SBES'2003, 2003, Manaus. Anais da Sessao de Ferramentas do XVII Simpósio Brasileiro de Engenharia de Engenharia de Software, 2003. v. 1. p. 67-72.
8.   SIMãO, A. S. ; MALDONADO, J. C. . Coloured petri nets: Safety analysis using mutation testing. In: First Latin American Symposium on Dependable Computing, 2003, São Paulo, SP. Proceedings of First Latin American Symposium on Dependable Computing, 2003. v. 1. p. 51-54.
9.   BARBOSA, E. F. ; LEBLANC, R. ; MALDONADO, J. C. ; GUZDIAL, M. . The Challenge of Teaching Software Testing Earlier into Design Courses. In: II Workshop on the Teaching of Software Testing, 2003, Melbourne. II Workshop on the Teaching of Software Testing, 2003. v. 1. p. 1-4.
10.   SIMãO, A. S. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . mudelgen: A Tool for Processing Mutant Operator Description. In: Simpósio Brasileiro de Engenharia de Software, 2002, Gramado/RS. Anais do Simpósio Brasileiro de Engenharia de Software/Caderno de Ferramentas. v. 1. p. 426-431.
11.   VINCENZI, A. M. R. ; DELAMARO, M. E. ; SIMãO, A. S. ; WONG, W. E. ; MALDONADO, J. C. . JaBá: A Java Bytecode Analyzer. In: Simpósio Brasileiro de Engenharia de Software, 2002, Gramado/RS. Anais do Simpósio Brasileiro de Engenharia de Software/Caderno de Ferramentas, 2002. v. 1. p. 414-419.
12.   DOMINGUES, A. L. S. ; SIMãO, A. S. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . EvalTool: Um Ambiente de Apoio À Avaliação e Seleção de Ferramentas de Teste para Programas Orientados a Objetos. In: Simpósio Brasileiro de Engenharia de Software, 2002, Gramado/RS. Anais do Simpósio Brasileiro de Engenharia de Software/Caderno de Ferramentas, 2002. v. 1. p. 384-389.

Resumos publicados em anais de congressos (35)

1.   NAKAGAWA, E. Y. ; BARBOSA, E. F. ; MALDONADO, J. C. . Exploring Ontologies to support the establishment of Reference Architecture: An example on Software Testing. In: 8th Working IEEE/IFIP Conference on Software Architecture (WICSA) / 3rd European Conference on Software Architecture (ECSA), 2009, Cambridge (UK). Proceedings of the 8th Working IEEE/IFIP Conference on Software Architecture (WICSA) / 3rd European Conference on Software Architecture (ECSA), 2009.
2.   ARROYO, B. A. ; MALDONADO, J. C. ; NAKAGAWA, E. Y. . Projeto de um Sistema de Help para Sistemas Web: Uma Perspectiva Transversal. In: XVI Simpósio Internacional de Iniciação Científica da Universidade de São Paulo (SIICUSP 2008), 2008, São Paulo, SP. Anais do XVI Simpósio Internacional de Iniciação Científica da Universidade de São Paulo (SIICUSP 2008), 2008. p. 1-1.
3.   ANDERY, G. F. ; NAKAGAWA, E. Y. ; MALDONADO, J. C. ; MACHADO, L. P. . Módulo de Busca por Imagens no Sistema Memória Virtual. In: XVI Simpósio Internacional de Iniciação Científica da Universidade de São Paulo (SIICUSP 2008), 2008, São Paulo, SP. Anais do XVI Simpósio Internacional de Iniciação Científica da Universidade de São Paulo (SIICUSP 2008), 2008. p. 1-1.
4.   SASAKI, M. M. F. ; MALDONADO, J. C. ; NAKAGAWA, E. Y. . Projeto de um Módulo de Documentação de Teste de Software. In: XVI Simpósio Internacional de Iniciação Científica da Universidade de São Paulo (SIICUSP 2008), 2008, São Paulo, SP. Anais do XVI Simpósio Internacional de Iniciação Científica da Universidade de São Paulo (SIICUSP 2008), 2008.
5.   TREVISAN, J. V. T. ; MALDONADO, J. C. ; NAKAGAWA, E. Y. . Projeto de um Sistema Orientado a Aspecto de Gerência de Configuração de Teste de Software. In: XVI Simpósio Internacional de Iniciação Científica da Universidade de São Paulo (SIICUSP 2008), 2008, São Paulo, SP. Anais do XVI Simpósio Internacional de Iniciação Científica da Universidade de São Paulo (SIICUSP 2008), 2008.
6.   DOMINGUES, A. L. S. ; BIANCHINI, Sandro Lopes ; COSTA, Marcella Letícia de Souza ; FERRARI, Fabiano Cutigi ; MALDONADO, J. C. . Web application development methods: a comparison. In: Workshop on Business Process Management, 2007, Gramado, RS. Anais do XIII Simpósio Brasileiro de Sistemas Multimídia e Web, 2007. p. 37-40.
7.   CORTE, C. K. D. ; BARBOSA, E. F. ; MALDONADO, J. C. . Integrated Teaching of Programming Foundations and Software Testing. In: IFIP International Conference on Education for the 21st Century, 2006, Santiago. IFIP International Conference on Education for the 21st Century. v. 1. p. 425-425.
8.   CAGNINI, M. I. ; PENTEADO, R. ; BRAGA, R. T. V. ; GERMANDO, F. S. R. ; MALDONADO, J. C. . Empirical studies progress on framework-based (re)-engineering. In: Experimental Software Engineering Latin American Workshop, 2006, Rio de Janeiro. Proceedings of Experimental Software Engineering Latin American Workshop, 2006. p. 47-48.
9.   CAGNIN, M. I. ; BRAGA, R. T. V. ; PENTEADO, R. D. ; MALDONADO, J. C. ; MASIERO, P. C. ; GERMANO, F. S. . Empirical Studies on Framework-Based (Re)-Engineering. In: First Experimental Software Engineering Latin American Workshop in conjuction with XVIII Simpósio Brasileiro de Engenharia de Software, 2004, Brasília. Proceedings of First Experimental Software Engineering Latin American Workshop, 2004. v. 1. p. 1-2.
10.   CHAN, Al. ; CAGNIN, M. I. ; MALDONADO, J. C. . Estudo e aplicação de um processo de reengenharia em sistemas legados . In: XXI Simpósio Internacional de Iniciação Científica da USP (SIICUSP), 2003, São Carlos, SP. Anais do XXI Simpósio Internacional de Iniciação Científica da USP, 2003. v. 1. p. ---.
11.   CONDOLO, M. A. P. ; SIMãO, A. S. ; MALDONADO, J. C. . Mgaset java: geração de sequências de teste para validação de especificações baseada em máquinas de estado finito. In: Simpósio Internacional de Iniciação Científica da USP, 2000, São Paulo/SP. Anais do Simpósio Internacional de Iniciação Científica da USP, 2000.
12.   SUGETA, T. ; MALDONADO, J. C. ; FABBRI, Sandra .C P. F. . Proteum-RS/ST - Uma Ferramenta para Apoiar a Validação de Especificações Statecharts Baseada no Critério Analise de Mutantes. In: XIII SBES - Simpósio Brasileiro de Engenharia de Software, 1999, Florianópolis. Caderno de Ferramentas do XIII Simpósio Brasileiro de Engenharia de Software, 1999. p. 41-44.
13.   SUGETA, T. ; MALDONADO, J. C. . Proteum-RS/ST: Uma Ferramenta para Apoiar a Validação de Especificações Statecharts Baseada na Análise de Mutantes. In: XIII Simpósio Brasileiro de Engenharia de Software, 1999, Florianópolis. Anais do IV Workshop de Teses em Engenharia de Software no XIII SBES, 1999. p. 01-06.
14.   MARTIMIANO, L. A. F. ; MALDONADO, J. C. . Estudo de Técnicas de Teste de Regressão baseado em Mutação Seletiva. In: XIII Simpósio Brasileiro de Engenharia de Software, 1999, Florianópolis. Anais do IV Workshop de Teses em Engenharia de Software no XIII SBES, 1999. p. 7-12.
15.   GLADCHAEFF, A. P. ; SILVA, D. M. ; MALDONADO, J. C. . Diretrizes para um Instrumento de Avaliação de Software de Ensino. In: XIII Simpósio Brasileiro de Engenharia de Software, 1999, Florianópolis. Anais do IV Worshop de Teses em Engenharia de Software do XIII SBES, 1999. p. 18-22.
16.   CARVALHO, R. A. ; FABBRI, Sandra .C P. F. ; MALDONADO, J. C. . Um Estudo para a Determinação de um Conjunto Essencial Preliminar de Operadores de Mutação para a Validação de Máquinas de Estados Finitos. In: 17o Simpósio Brasileiro de Redes de Computadores, 1999, Salvador. Anais do 17o. SBRC, 1999. p. 577-578.
17.   MALDONADO, J. C. ; NAKAGAWA, E. Y. . ITOOL - Uma Ferramenta para Injeção de Defeitos de Software. In: XIII SBES - Simpósio Brasileiro de Engenharia de Software, 1999, Florianópolis. Caderno de Ferramentas do XIII SBES - Simpósio Brasileiro de Engenharia de Software, 1999. p. 49-52.
18.   VILELA, P. R. ; MALDONADO, J. C. ; CRUZES, D. S. ; JINO, M. . Viewgraph: Visualizing Control Flow Graphs And Call Graphs. In: XII SBES - Simpósio Brasileiro de Engenharia de Software, 1998, Maringá. Caderno de Ferramentas do XII SBES - Simpósio Brasileiro de Engenharia de Software. Maringá - PR, 1998. p. 29-35.
19.   MALDONADO, J. C. ; FABBRI, Sandra .C P. F. ; MASIERO, P. C. . Validação de Especificações Formais Com A Aplicação do Critério Análise de Mutantes. In: I WMF - Workshop de Métodos Formais, 1998, Porto Alegre. Anais do I Workshop de Métodos Formais. Porto Alegre - RS, 1998. p. 129-134.
20.   CHAIM, M. L. ; JINO, M. ; MALDONADO, J. C. ; NAKAGAWA, E. Y. . Poketool: Estado Atual de Uma Ferramenta Par Teste Estrutural de Software Baseado Em Análise de Fluxo de Dados. In: XII Simpósio Brasileiro de Engenharia de Software, 1998, Maringá. Caderno de Ferramentas do XII SBES. Maringá - PR, 1998. p. 37-45.
21.   DELAMARO, M. E. ; MALDONADO, J. C. ; NAKAGAWA, E. Y. . PROTEUM/IM: Uma Ferramenta de Apoio ao Teste de Integração. In: XI SBES - Simpósio Brasileiro de Engenharia de Software, 1997, Fortaleza. Sessão de Ferramentas dos Anais do XI SBES, 1997. p. 487-490.
22.   FERRARI, S. ; GIMENES, I. M. S. ; MALDONADO, J. C. . Integração de uma Ferramenta de Teste em Ambientes de Engenharia de Software Baseados em PCTE. In: II Workshop de Teses em Engenharia de Software - XI SBES - Simpósio Brasileiro de Engenharia de Software, 1997, Fortaleza. Anais do II Workshop de Teses em Engenharia de Software - XI SBES, 1997. p. 26-27.
23.   BARBOSA, E. F. ; MALDONADO, J. C. . Uma Contribuição para a Determinação de um Conjunto de Operadores de Mutações Essenciais no Teste de Programas C. In: II Workshop de Teses em Engenharia de Software - XI SBES - Simpósio Brasileiro de Engenharia de Software, 1997, Fortaleza. Anais do II Workshop de Teses em Engenharia de Software - XI SBES, 1997. p. 90-92.
24.   VINCENZI, A. M. R. ; MALDONADO, J. C. . Subsídios para o Estabelecimento de Estratégias de Teste Utilizando a Técnica de Mutação. In: II Workshop de Teses em Engenharia de Software - XI SBES - Simpósio Brasileiro de Engenharia de Software, 1997, Fortaleza. Anais do II Workshop de Teses em Engenharia de Software - XI SBES, 1997. p. 93-95.
25.   NAKAGAWA, E. Y. ; MALDONADO, J. C. . Um Sistema de Injeção de Defeitos Baseado em Operadores de Mutação. In: II Workshop de Teses em Engenharia de Software - XI SBES - Simpósio Brasileiro de Engenharia de Software, 1997, Fortaleza. Anais do II Workshop de Teses em Engenharia de Software - XI SBES, 1997. p. 96-98.
26.   BORGES, K. N. ; RAMOS, F. S. ; MALDONADO, J. C. ; CHAIM, M. L. ; JINO, M. . Poke-Tool Versão Clipper - Uma Ferramenta para Suporte ao Teste Estrutural Baseado em Análise de Fluxo de Dados. In: IX SBES - Simpósio Brasileiro de Engenharia de Software, 1995, Recife. Caderno de Ferramentas do IX SBES - Simpósio Brasileiro de Engenharia de Software. Recife - PE, 1995. p. 483-486.
27.   FABBRI, Sandra .C P. F. ; MALDONADO, J. C. ; DELAMARO, M. E. ; MASIERO, P. C. . Proteum/FSM - Uma Ferramenta para Apoiar a Validação de Máquinas de Estado Finito pelo Critério Análise de Mutantes. In: IX SBES - Simpósio Brasileiro de Engenharia de Software, 1995, Recife. IX SBES - Simpósio Brasileiro de Engenharia de Software. Recife - PE, 1995. p. 475-478.
28.   NAKAZATO, K. K. ; ALEXANDRINO, M. ; MALDONADO, J. C. ; FABBRI, Sandra .C P. F. ; MASIERO, P. C. . MGASET - Módulo de Geração de Sequências de Teste. In: IX SBES - Simpósio Brasileiro de Engenharia de Software, 1995, Recife. Caderno de Ferramentas do IX SBES - Simpósio Brasileiro de Engenharia de Software. Recife - PE, 1995. p. 479-482.
29.   MALDONADO, J. C. ; FABBRI, Sandra .C P. F. ; DELAMARO, M. E. ; MASIERO, P. C. . Análise de Mutantes no Teste de Software e na Validação de Sistemas Reativos. In: Jornada da Computação, Sessão Regular da Academia Brasileira de Ciências, 1994, São Paulo. Jornada da Computação, Sessão Regular da Academia Brasileira de Ciências. São Paulo - SP, 1994. p. 506.
30.   DELAMARO, M. E. ; FABBRI, Sandra .C P. F. ; MALDONADO, J. C. . Teste Baseado em Mutação e Qualidade de Software. In: Workshop de Qualidade de Software - VIII SBES - Simpósio Brasileiro de Engenharia de Software, 1994, Curitiba. Anais do Workshop de Qualidade de Software - VIII SBES - Simpósio Brasileiro de Engenharia de Software, 1994. p. 28-30.
31.   DELAMARO, M. E. ; MALDONADO, J. C. ; JINO, M. ; CHAIM, M. L. . Proteum: Uma Ferramenta de Teste Baseada Na Análise de Mutantes. In: Simpósio Brasileiro de Engenharia de Software, 1993. Caderno de Ferramentas do VII SBES - Simpósio Brasileiro de Engenharia de Software. Rio de Janeiro - RJ. p. 31-33.
32.   S, L. J. P. ; MALDONADO, J. C. ; JINO, M. ; CHAIM, M. L. . Poke-Tool - Versão Cobol - Uma Ferramenta Para Suporte Ao Teste Estrutural de Programas Cobol Baseado Em Análise de Fluxo de Dados. In: VI SBES - Simpósio Brasileiro de Engenharia de Software, 1992. Caderno de Ferramentas do VI SBES - Simpósio Brasileiro de Engenharia de Software. Gramado - RS. p. 24-25.
33.   MALDONADO, J. C. . Poke-Tool:Uma Ferramenta Para Suporte Ao Teste Estrutural de Programas Baseado Em Análise de Fluxo de Dados. In: Caderno de Ferramentas do V SBES - Simpósio Brasileiro de Engenharia de Software, 1991, Ouro Preto. POKE-TOOL:UMA FERRAMENTA PARA SUPORTE AO TESTE ESTRUTURAL DE PROGRAMAS BASEADO EM ANáLISE DE FLUXO DE DADOS. Ouro Preto - MG, 1991. p. 10.
34.   VERGíLIO, S. ; MALDONADO, J. C. ; JINO, M. . Infeasible paths in the context of data flox based testing. Journal of the Brazilian Computer Society, v. 1, p. 5-5, 2006.
35.   LEMOS, O. A. L. ; VINCENZI, A. M. R. ; MASIERO, P. C. ; MALDONADO, J. C. . Control and data flow structural testing criteria for aspect-oriented programs. Journal of Systems and Software, v. 1, p. 1-2, 2006.

Apresentações de trabalho (27)

1.   MALDONADO, J. C. . Teste de Software. 2003. (Apresentação de Trabalho/Conferência ou palestra).
2.   MALDONADO, J. C. . Avaliação Empírica de Técnicas de VV&T no Contexto do Projeto Readers. 2002. (Apresentação de Trabalho/Conferência ou palestra).
3.   MALDONADO, J. C. . Considerações Sobre Formação de Recursos Humanos em Computação: Estado Atual e Perspectivas. 2001. (Apresentação de Trabalho/Seminário).
4.   MALDONADO, J. C. . Considerações sobre Formação de Recursos Humanos na área de Computação no Brasil. 2001. (Apresentação de Trabalho/Seminário).
5.   MALDONADO, J. C. . Aspectos de Teste e Validação na Produção de Software. 2000. (Apresentação de Trabalho/Seminário).
6.   MALDONADO, J. C. . Ações da SBC no Processo Educacional na área de Computação. 1999. (Apresentação de Trabalho/Seminário).
7.   MALDONADO, J. C. . SQUAD - Software Quality Across Different Regions. 1999. (Apresentação de Trabalho/Outra).
8.   MALDONADO, J. C. . SQUAD (Software Quality Across Different Regions) Project: An Overview. 1999. (Apresentação de Trabalho/Seminário).
9.   MALDONADO, J. C. . Teste de Software: Aspectos Teóricos e Empíricos. 1998. (Apresentação de Trabalho/Seminário).
10.   MALDONADO, J. C. . The Software Testing Research at ICMC-USP. 1998. (Apresentação de Trabalho/Outra).
11.   MALDONADO, J. C. . Palestra no XVII SBC - Congresso da Sociedade Brasileira de Computação. 1997. (Apresentação de Trabalho/Congresso).
12.   MALDONADO, J. C. . Testes de Software. 1997. (Apresentação de Trabalho/Seminário).
13.   MALDONADO, J. C. . Engenharia de Software: Aspectos de Teste e Validação. 1997. (Apresentação de Trabalho/Seminário).
14.   MALDONADO, J. C. . Atividade de Pesquisa em Teste de Software no ICMC-USP. 1997. (Apresentação de Trabalho/Seminário).
15.   MALDONADO, J. C. . Research Activities on software Testing and Validation at ICMC-USP. 1997. (Apresentação de Trabalho/Seminário).
16.   MALDONADO, J. C. . Mutation Testing Applied to Validate the Dinamic Aspect of Reactive Systems. 1995. (Apresentação de Trabalho/Seminário).
17.   MALDONADO, J. C. . Software Testing and Validation Research Activities at the University of São Paulo (USP) ICMC/São Carlos. 1994. (Apresentação de Trabalho/Seminário).
18.   MALDONADO, J. C. . Aspectos de Teste na Produção de Software. 1993. (Apresentação de Trabalho/Seminário).
19.   MALDONADO, J. C. . Verificação, Validação, Teste e Simulação. 1993. (Apresentação de Trabalho/Seminário).
20.   MALDONADO, J. C. . Ambientes de Teste para Sistemas Distribuídos. 1993. (Apresentação de Trabalho/Seminário).
21.   MALDONADO, J. C. . Especificação e Verificação de Protocolos. 1992. (Apresentação de Trabalho/Seminário).
22.   MALDONADO, J. C. . Atividades de Pesquisa em Teste de Software. 1992. (Apresentação de Trabalho/Seminário).
23.   MALDONADO, J. C. . Teste de Software baseado em Análise de Fluxo de Dados. 1991. (Apresentação de Trabalho/Outra).
24.   MALDONADO, J. C. . Pesquisa em Engenharia de Software. 1991. (Apresentação de Trabalho/Seminário).
25.   MALDONADO, J. C. . Data Flow based Structural Testing Criteria. 1990. (Apresentação de Trabalho/Seminário).
26.   MALDONADO, J. C. . Ferramentas e Ambientes de Teste. 1989. (Apresentação de Trabalho/Seminário).
27.   MALDONADO, J. C. . Ciências da Computação. 1986. (Apresentação de Trabalho/Seminário).

Demais tipos de produção bibliográfica (93)

1.   Malheiros, V. ; HÖHN, Erika Nina ; MALDONADO, J. C. . Qualipso project: Quality recommendations for FLOSS development process - A perspective based on trustworthy elements 2009 (Relatório Técnico).
2.   NAKAGAWA, E. Y. ; MALDONADO, J. C. . Uma Contribuição ao Projeto Arquitetural de Ambientes de Engenharia de Software. XI Simpósio de Teses e Dissertações do Programa de Pós-Graduação em Ciência de Computação e Matemat., 2008 (Publicação em Evento de Pós-Graduação).
3.   MORELLI, L. B. ; MALDONADO, J. C. ; NAKAGAWA, E. Y. . Subsistema de Acesso e Navegação para o Memória Virtual 2008 (Publicação em Evento de Iniciação Científica).
4.   FABBRI, Sandra .C P. F. ; MALDONADO, J. C. ; HÖHN, Erika Nina ; OLIVEIRA, M. C. F. ; MARTIMIANO, L. A. F. ; MENDONCA, M. ; SHULL, F. ; CARVER, J. ; BASILI, V. R. . Data analysis of the first two PBR replications in readers project 2004 (Relatório Técnico).
5.   SIMãO, A. S. ; VINCENZI, A. M. R. ; MALDONADO, J. C. ; SANTANA, A. C. L. . Software Product Instrumentation Description 2002 (Publicação sem Arbitragem).
6.   SIMãO, A. S. ; MALDONADO, J. C. . Proteum - RS/PN: Uma Ferramenta para a Validação de Redes de Petri Baseada na Análise de Mutantes. São Carlos: Gráfica do ICMC-USP, 2001 (Publicação em Evento de Pós-Graduação).
7.   VINCENZI, A. M. R. ; MALDONADO, J. C. . Orientação a Objeto: Definição e Análise de Recursos de Teste e Validação. São Carlos: Gráfica do ICMC-USP, 2001 (Publicação em Evento de Pós-Graduação).
8.   BARBOSA, E. F. ; MALDONADO, J. C. . Ensino, Aprendizado e Treinamento no Contexto de Teste e Validação de Software. São Carlos: Gráfica do ICMC-USP, 2001 (Publicação em Evento de Pós-Graduação).
9.   DOMINGUES, A. L. S. ; MALDONADO, J. C. . Avaliação de Técnicas, Critérios e Ferramentas de Teste para Programas OO. São Carlos: Gráfica do ICMC-USP, 2001 (Publicação em Evento de Pós-Graduação).
10.   SIMãO, V. F. ; MALDONADO, J. C. . Definição de Mecanismos para Avaliação de Qualidade de Produtos de Software. São Carlos: Gráfica do ICMC-USP, 2001 (Publicação em Evento de Pós-Graduação).
11.   MALDONADO, J. C. ; MARTIMIANO, L. A. F. ; DóRIA, E. S. ; FABBRI, S. C. F. P. ; MENDONçA NETO, M. G. . Readers Project: Replication do Experiments A Case Study using Requeriments Documents. Rio de Janeiro: IME, 2001 (Publicação sem Arbitragem).
12.   CASTRO, J. F. B. ; GIMENES, I. M. S. ; MALDONADO, J. C. . Uma Proposta de Plano Pedagógico para a Matéria Engenharia de Software 2000 (Publicação sem Arbitragem).
13.   OLIVEIRA, M. C. F. ; MALDONADO, J. C. ; et al. . Ponderações sobre o Mestrado Profissionalizante na área de Computação 2000 (Publicação sem Arbitragem).
14.   SANT'ANA, D. A. ; FABBRI, Sandra .C P. F. ; MALDONADO, J. C. . Teste e Validação de Sistemas Reativos 2000 (Publicação em Evento de Iniciação Científica).
15.   SIMãO, A. S. ; MALDONADO, J. C. . Proteum-RS/PN: Uma Ferramenta para a Validação de Redes de Petri Baseada na Análise de Mutantes 2000 (Publicação em Evento de Pós-Graduação).
16.   DOMINGUES, A. L. S. ; MALDONADO, J. C. . Avaliação de Técnicas, Critérios e Ferramentas de Teste para Programas 00 2000 (Publicação em Evento de Pós-Graduação).
17.   DORIA, E. S. ; MALDONADO, J. C. . Um Estudo de Técnicas de Revisão e Técnicas de Teste de Software 2000 (Publicação em Evento de Pós-Graduação).
18.   SIMãO, V. F. ; MALDONADO, J. C. . Definição de Mecanismos para Avaliação de Qualidade de Produtos de Software 2000 (Publicação em Evento de Pós-Graduação).
19.   ARROYO, C. S. ; MALDONADO, J. C. . Um Método para Avaliação da Qualidade de Pacotes de Software na área de Sistema de Informação 2000 (Publicação em Evento de Pós-Graduação).
20.   MARTIMIANO, L. A. F. ; MALDONADO, J. C. . Estudo de Técnicas de Teste de Regressão Baseado em Mutação Seletiva 2000 (Publicação em Evento de Pós-Graduação).
21.   SUGETA, T. ; MALDONADO, J. C. . Proteum-RS/ST: Uma Ferramenta para Apoiar a Validação de Especificações Statecharts Baseada na Análise de Mutantes 2000 (Publicação em Evento de Pós-Graduação).
22.   OLIVEIRA, M. C. F. ; MALDONADO, J. C. ; MONTEIRO, J. A. S. ; SOARES, L. F. G. ; MELNIKOFF, S. S. S. . Ponderações sobre o Mestrado Profissionalizante na área Computação 2000 (Artigo Convidado).
23.   TULLIO, R. R. ; MALDONADO, J. C. ; SOUZA, S. R. S. S. . Subsídios para Redução do Custo de Aplicação do Critério de Teste de Software Análise de Mutantes 1999 (Publicação em Evento de Iniciação Científica).
24.   SIMãO, A. S. ; MALDONADO, J. C. . Proteum-RS/PN: Uma Ferramenta para a Validação de Especificações Redes de Petri usando a Análise de Mutantes 1999 (Publicação em Evento de Pós-Graduação).
25.   DORIA, E. S. ; MALDONADO, J. C. . Um Estudo de Técnicas de Revisão e Técnicas de Teste de Software 1999 (Publicação em Evento de Pós-Graduação).
26.   MARTIMIANO, L. A. F. ; MALDONADO, J. C. . Estudo de Técnicas de Teste de Regressão baseado em Mutação Seletiva 1999 (Publicação em Evento de Pós-Graduação).
27.   SIMãO, V. F. ; MALDONADO, J. C. . Definição de Mecanismos para Avaliação de Qualidade de Produtos de Software 1999 (Publicação em Evento de Pós-Graduação).
28.   SUGETA, T. ; MALDONADO, J. C. . Proteum-RS/ST: Uma Ferramenta para Apoiar a Validação de Especificações Statecharts baseada na Análise de Mutantes 1999 (Publicação em Evento de Pós-Graduação).
29.   VINCENZI, A. M. R. ; MALDONADO, J. C. . Subsídio para o Estabelecimento de Estratégias de Teste Baseadas na Técnica de Mutação 1999 (Publicação em Evento de Pós-Graduação).
30.   NAKAGAWA, E. Y. ; MALDONADO, J. C. . Um Sistema de Injeção de Defeitos de Software Baseado em Operadores de Mutação 1999 (Publicação em Evento de Pós-Graduação).
31.   BARBOSA, E. F. ; MALDONADO, J. C. . Uma Contribuição para a Determinação de um Conjunto Essencial de Operadores de Mutação no Teste de Programas C 1999 (Publicação em Evento de Pós-Graduação).
32.   AZEVEDO, G. D. ; MALDONADO, J. C. . Projeto TAQS - Tecnologia para Avaliação da Qualidade do Software 1998 (Publicação sem Arbitragem).
33.   MASIERO, P. C. ; MALDONADO, J. C. ; FABBRI, Sandra .C P. F. ; FORTES, R. P. M. ; SANCHES, R. ; OLIVEIRA, M. C. F. . Pesquisas em Métodos e Ferramentas de Engenharia de Software com ênfase em Sistemas Reativos 1998 (Artigo Convidado).
34.   BARBOSA, E. F. ; MALDONADO, J. C. . Uma Contribuição para a Determinação de um Conjunto de Operadores de Mutações Essenciais no Teste de Programas C 1998 (Publicação em Evento de Pós-Graduação).
35.   VINCENZI, A. M. R. ; MALDONADO, J. C. . Subsídios para o Estabelecimento de Estratégias de Teste Utilizando a Técnica de Mutação 1998 (Publicação em Evento de Pós-Graduação).
36.   NAKAGAWA, E. Y. ; MALDONADO, J. C. . Um Sistema de Injeção de Defeitos Baseado em Operadores de Mutação 1998 (Publicação em Evento de Pós-Graduação).
37.   ALEXANDRINO, M. ; MALDONADO, J. C. . Análise de Mutantes no Teste de Programas C++: Especificação e Implementação de Uma Ferramenta 1998 (Publicação em Evento de Pós-Graduação).
38.   TULLIO, R. R. ; MALDONADO, J. C. . Estudos Empíricos de Critérios de Teste de Software com ênfase no Critério Análise de Mutantes 1998 (Publicação em Evento de Iniciação Científica).
39.   SANT'ANA, D. A. ; MALDONADO, J. C. ; FABBRI, Sandra .C P. F. . Teste e Validação de Sistemas Reativos 1998 (Publicação em Evento de Iniciação Científica).
40.   COSTA, R. M. ; SANCHES, R. ; IAVARONI, G. M. ; MALDONADO, J. C. ; MASIERO, P. C. . Engenharia Reversa no Apoio a Manutenibilidade de Software. Rio de Janeiro - RJ 1997 (Publicação sem Arbitragem).
41.   VILELA, P. R. ; MALDONADO, J. C. ; FABBRI, S. C. P. F. . Uma Visão Sobre o Teste Estrutural Baseado em Análise de Fluxo de Dados 1997 (Publicação sem Arbitragem).
42.   VINCENZI, A. M. R. ; BARBOSA, E. F. ; DELAMARO, M. E. ; SOUZA, S. R. S. ; MALDONADO, J. C. . Critério Análise de Mutantes: Estado Atual e Perspectivas 1997 (Publicação sem Arbitragem).
43.   CHAIM, M. L. ; MALDONADO, J. C. ; FABBRI, S. C. P. F. . Ferramentas para Teste Estrutural de Software Baseado em Análise de Fluxo de Dados: O Caso POKE-TOOL 1997 (Publicação sem Arbitragem).
44.   DELAMARO, M. E. ; MALDONADO, J. C. . Proteum: A Tool for the Assessment of Test Adequacy for C Programs 1997 (Publicação sem Arbitragem).
45.   VILELA, P. R. ; MALDONADO, J. C. . Program Graph Visualization 1997 (Publicação sem Arbitragem).
46.   NAKAGAWA, E. Y. ; DELAMARO, M. E. ; CHAIM, M. L. ; MALDONADO, J. C. . Aspectos de Projeto e Implementação de Interfaces Gráficas do Usuário para Ferramentas de Teste 1997 (Publicação sem Arbitragem).
47.   WONG, W. E. ; MALDONADO, J. C. ; FABBRI, S. C. P. F. . A Comparison on Selective Mutation Testing in C and Fortran 1997 (Publicação sem Arbitragem).
48.   SOUZA, S. R. S. ; MALDONADO, J. C. ; FABBRI, S. C. P. F. . Análise de Mutantes e Potenciais-Usos: Uma Avaliação Empírica 1997 (Publicação sem Arbitragem).
49.   SOUZA, S. R. S. ; MALDONADO, J. C. . Uma Estratégia de Minimização do Conjunto de Casos de Teste para o Critério Análise de Mutantes 1997 (Publicação sem Arbitragem).
50.   PAILO, L. F. ; VILLAS BOAS, A. ; MALDONADO, J. C. ; FABBRI, S. C. P. F. . Avaliação de Adequação do Conjunto de Teste Funcional Utilizando Critérios Estruturais com o Apoio de Ferramentas Comerciais 1997 (Publicação sem Arbitragem).
51.   PERES, L. M. ; VERGíLIO, S. R. ; JINO, M. ; MALDONADO, J. C. . Aspectos de Seleção de Caminhos para Cobertura de Critérios Estruturais de Teste 1997 (Publicação sem Arbitragem).
52.   VERGíLIO, S. R. ; MALDONADO, J. C. ; FABBRI, S. C. P. F. . Resultados de um Experimento de Aplicação de Diferentes Técnicas de Geração de Dados de Teste 1997 (Publicação sem Arbitragem).
53.   VILELA, P. R. ; MALDONADO, J. C. ; FABBRI, S. C. P. F. . Data Flow Based Testing of Programs with Pointers 1997 (Publicação sem Arbitragem).
54.   VERGíLIO, S. R. ; MALDONADO, J. C. ; FABBRI, S. C. P. F. . Aumentando a Eficácia dos Critérios Estruturais Através da Utilização de Critérios Restritos 1997 (Publicação sem Arbitragem).
55.   SPOTO, E. S. ; JINO, M. ; MALDONADO, J. C. . Teste Estrutural Baseado em Fluxo de Dados de Software Aplicativo de Banco de Dados Relacional 1997 (Publicação sem Arbitragem).
56.   DELAMARO, M. E. ; MALDONADO, J. C. . Interface Mutation: An Approach for Integration Testing 1997 (Publicação sem Arbitragem).
57.   VILELA, P. R. ; MALDONADO, J. C. ; FABBRI, S. C. P. F. . Data Flow Based Integration Testing 1997 (Publicação sem Arbitragem).
58.   BUENO, P. M. S. ; JINO, M. ; VERGíLIO, S. R. ; MALDONADO, J. C. . Uma Proposta de Extensão da Ferramenta POKE-TOOL para Apoiar o Tratamento de Não Executabilidade 1997 (Publicação sem Arbitragem).
59.   COSTA, R. M. ; SANCHES, R. ; MALDONADO, J. C. ; FABBRI, S. C. P. F. . Aplicação do Método de Engenharia Reversa FUSION-RE/I na Recuperação da Funcionalidade da Ferramenta de Teste Proteum 1997 (Publicação sem Arbitragem).
60.   CRESPO, A. N. ; PASQUINI, A. ; MALDONADO, J. C. . Cobertura dos Critérios Potenciais-Usos e a Confiabilidade do Software 1997 (Publicação sem Arbitragem).
61.   PERES, L. M. ; VERGíLIO, S. R. ; JINO, M. ; MALDONADO, J. C. . Critérios Potenciais Usos: Um Mecanismo para a Definição de Métricas de Complexidade de Software 1997 (Publicação sem Arbitragem).
62.   DELAMARO, M. E. ; MALDONADO, J. C. . Interface Mutation: A Case Study 1997 (Publicação sem Arbitragem).
63.   VILLAS BOAS, A. ; MALDONADO, J. C. ; et al. . Gestão de Configuração na Atividade de Teste 1997 (Publicação sem Arbitragem).
64.   MORANDINI, M. ; MALDONADO, J. C. . Subsídios para o Teste de Software Orientado a Objetos: Definição e Mapeamento de Programas C++ para a LI++ 1997 (Publicação em Evento de Pós-Graduação).
65.   TOMAZELA, M. G. J. M. ; MALDONADO, J. C. . Avaliação do Custo de Aplicação dos Critérios Potenciais Usos no Teste de Programas COBOL 1997 (Publicação em Evento de Pós-Graduação).
66.   SOUZA, S. R. S. S. ; MALDONADO, J. C. . Avaliação do Custo e Eficácia do Critério Análise de Mutantes na Atividade de Teste de Programas 1997 (Publicação em Evento de Pós-Graduação).
67.   ARROYO, C. S. ; MALDONADO, J. C. . Um Método para Avaliação/Seleção da Qualidade de Pacotes de Software na área de sistemas de Informação 1997 (Publicação em Evento de Pós-Graduação).
68.   VILHANUEVA, M. S. ; DELAMARO, M. E. ; MALDONADO, J. C. . Desenvolvimento e Utilização de um ambiente para Aplicação de análise de Mutantes para Programas de Médio Porte 1997 (Publicação em Evento de Iniciação Científica).
69.   YOITI, F. T. ; SILVA, F. L. V. ; MALDONADO, J. C. . O Critério Análise de Mutantes na Validação de Sistemas Reativos 1996 (Publicação em Evento de Iniciação Científica).
70.   HAYASHI, R. H. ; MALDONADO, J. C. ; FORTES, R. P. M. . Uma Ferramenta de Auxílio À Análise de Propriedades de Hiperdocumentos 1996 (Publicação em Evento de Iniciação Científica).
71.   FABBRI, Sandra .C P. F. ; MALDONADO, J. C. . Uma Estratégia de Teste para Especificações de Sistemas Reativos 1995 (Publicação em Evento de Pós-Graduação).
72.   MORANDINI, M. ; MALDONADO, J. C. . Apoio ao Teste de Software Dentro do Paradigma de Orientação a Objetos 1995 (Publicação em Evento de Pós-Graduação).
73.   TOMAZELA, M. G. J. M. ; MALDONADO, J. C. . Avaliação do Custo de Aplicação dos Critérios Potenciais Usos no Teste de Programa COBOL 1995 (Publicação em Evento de Pós-Graduação).
74.   SOUZA, S. R. S. S. ; MALDONADO, J. C. . Avaliação do Custo e Eficácia do Critério Analise de Mutantes na Atividade de Teste de Programas 1995 (Publicação em Evento de Pós-Graduação).
75.   NAKAZATO, K. K. ; MALDONADO, J. C. . Módulo de Geração de Sequências de Teste Baseadas em Máquinas de Estado Finito 1995 (Publicação em Evento de Pós-Graduação).
76.   PAILO, L. F. ; MALDONADO, J. C. . Estudo Empírico de Critérios de Teste com ênfase no Critério Análise de Mutantes 1995 (Publicação em Evento de Iniciação Científica).
77.   CóFFANI, J. ; MALDONADO, J. C. . Estudo Empírico Comparativo entre Técnicas de Teste Funcional e Estrutural 1995 (Publicação em Evento de Iniciação Científica).
78.   BORGES, K. N. ; RAMOS, F. S. ; MALDONADO, J. C. . Poke-Tool Versão Clipper - Uma Ferramenta para Suporte ao Teste Estrutural de Programas Clipper Baseada em Análise de Fluxo de Dados 1995 (Publicação em Evento de Iniciação Científica).
79.   SOUZA, O. R. ; MALDONADO, J. C. . Configuração de uma Ferramenta de Teste que Apóia o Critério Baseado em LCSAJ 1995 (Publicação em Evento de Iniciação Científica).
80.   TOKURA, F. Y. ; DOLFINI, F. ; MALDONADO, J. C. . Estudo e Implementação de Operadores de Mutação para a Ferramenta Proteum/FSM 1995 (Publicação em Evento de Iniciação Científica).
81.   LIMA, C. M. ; MALDONADO, J. C. . Uma Ferramenta de Software para Auxílio ao Desenvolvimento de Hiperdocumentos 1995 (Publicação em Evento de Iniciação Científica).
82.   ALEXANDRINO, M. ; MALDONADO, J. C. . Módulo de Geração de Seqüências de Teste para Máquinas de Estados Finitos 1995 (Publicação em Evento de Iniciação Científica).
83.   DELAMARO, M. E. ; MALDONADO, J. C. . Aplicação da Análise de Mutantes no Teste de Integração de Software 1994 (Publicação em Evento de Pós-Graduação).
84.   FABBRI, Sandra .C P. F. ; MALDONADO, J. C. . Uma Estratégia de Teste para Especificações de Sistemas Reativos 1994 (Publicação em Evento de Pós-Graduação).
85.   RAMOS, F. S. ; MALDONADO, J. C. . Configuração da Ferramenta Poke-Tool para Clipper 1994 (Publicação em Evento de Iniciação Científica).
86.   CAMPOS, A. R. ; MALDONADO, J. C. . Implementação e Aplicação do Critério de McCabe 1994 (Publicação em Evento de Iniciação Científica).
87.   ROSSI, A. C. ; MALDONADO, J. C. . Avaliação Empírica de Critérios de Teste Funcionais em Relação aos Critérios Potenciais Usos 1993 (Publicação em Evento de Iniciação Científica).
88.   GREGóRIO, G. H. P. ; MALDONADO, J. C. . Estudo e Implementação de Métricas de Software no Ambiente POKE-TOOL 1993 (Publicação em Evento de Iniciação Científica).
89.   GREGóRIO, G. H. P. ; MALDONADO, J. C. . Estudo e Implementação de Métricas de Software no Ambiente POKE-TOOL 1993 (Publicação em Evento de Iniciação Científica).
90.   RAMOS, F. S. ; MALDONADO, J. C. . Uma Ferramenta para Obtenção do Grafo de Programa Clipper 1993 (Publicação em Evento de Iniciação Científica).
91.   KUROKI, L. A. ; MALDONADO, J. C. . Avaliação dos Critérios Baseados em Análise de Fluxo de Dados para Programas de Cálculo Numérico 1993 (Publicação em Evento de Iniciação Científica).
92.   GREGóRIO, G. H. P. ; MALDONADO, J. C. . Métricas de Software: Aspectos de Implementação no Ambiente POKE-TOOL 1993 (Publicação em Evento de Iniciação Científica).
93.   APPROBATO, F. L. ; MALDONADO, J. C. . Imposto de Renda em dBase II 1986 (Publicação em Evento de Iniciação Científica).

Softwares sem registro de patente (188)

1.   DOMINGUES, A. L. S. ; MALDONADO, J. C. . EvalTool: Um Ambiente de Apoio À Avaliação e Seleção de Ferramentas de Teste para Programas Orientado a Objetos. 2002.
2.   SIMãO, A. S. ; MALDONADO, J. C. . Proteum-RS/PN - Um ferramenta para validação de redes de petri baseada na Análise de Mutantes. 2000.
3.   SUGETA, T. ; MALDONADO, J. C. . Proteum-RS/ST: Uma Ferramenta para Apoiar a Validação de Especificações Statecharts baseada na Análise de Mutantes. 1999.
4.   DELAMARO, M. E. ; MALDONADO, J. C. . Proteum/IM- Uma ferramenta de teste baseada no Mutação de Interface. 1997.
5.   VILELA, P. R. ; MALDONADO, J. C. ; JINO, M. . Viewgraph: Visualizing Program Graph. 1996.
6.   NAKAZATO, K. K. ; MALDONADO, J. C. ; FABBRI, Sandra .C P. F. ; MASIERO, P. C. . Mgaset - Módulo de Geração de Seqüências de Teste. 1995.
7.   BORGES, K. N. ; RAMOS, F. S. ; MALDONADO, J. C. ; JINO, M. ; CHAIM, M. L. . Poketool Versão Clipper - Uma Ferramenta Para Suporte Ao Teste Estrutural Baseado Em Análise de Fluxo de Dados. 1995.
8.   FABBRI, Sandra .C P. F. ; MALDONADO, J. C. . Proteum/Fsm: Uma Ferramenta Para Apoiar A Validação de Máquinas de Estado Finito Pelo Critério Análise de Mutantes. 1995.
9.   DELAMARO, M. E. ; MALDONADO, J. C. . Proteum: Uma Ferramenta de Teste Baseada Na Analise de Mutantes. 1993.
10.   S, L. J. P. ; MALDONADO, J. C. ; JINO, M. ; CHAIM, M. L. . Poke-Tool - Versao Cobol - Uma Ferramenta Para Suporte Ao Teste Estrutural de Programas Cobol Baseado Em Analise de Fluxo de Dados. 1992.
11.   MALDONADO, J. C. . Poketool: Uma Ferramenta Para Suporte Ao Teste Estrutural de Programas Baseado Em Análise de Fluxo de Dados. 1991.
12.   CEREDA, R. L. D. ; MALDONADO, J. C. . S-Micro: Sistema Para Simulação de Unidade de Controle Microprogramada. 1984.
13.   MALDONADO, J. C. ; BERGAMINI, E. W. . Um Sistema de Controle e Supervisão de Bordo Para Aplicações Em (Multi) Missões Espaciais. 1983.
14.   DUTRA, L. S. V. ; MALDONADO, J. C. . O Sistema Mt Inpe. 1983.
15.   MALDONADO, J. C. ; MENDES, R. A. . Um Sistema de Supervisão de Bordo Para Aplicações Em Missões Espaciais. 1981.
16.   MALDONADO, J. C. . Membro da Comissão de Especialistas para julgar a proposta de Tese de Doutorado - área de Ciências de Computação e Matemática Computacional - do aluno Ernesto Massaropi Junior. 2001.
17.   MALDONADO, J. C. . Membro Suplente da Comissão de Pesquisa - CPq, do ICMC-USP. 2001.
18.   DELAMARO, M. E. ; PEZZé, M. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Mutation Testing to Multi-Threaded JAVA Programs. 2001.
19.   MALDONADO, J. C. . Membro sub-Comitê de Software, CB-21/SC-10. 2000.
20.   MALDONADO, J. C. . Grupo de Trabalho responsável da SBC - Sociedade Brasileira de Computação. 2000.
21.   MALDONADO, J. C. . Membro do Conselho - ICMC-Junior. 2000.
22.   MALDONADO, J. C. . Coordenador da Comissão Especial de Engenharia de Software da SBC. 2000.
23.   MALDONADO, J. C. . Coordenador do Forum de Coordenadores da SBC. 2000.
24.   MALDONADO, J. C. . Chefe do Departamento de Ciências de Computação e Estatística do ICMC-USP/São Carlos. 2000.
25.   MALDONADO, J. C. . Membro do Grupo de Trabalho de P&D do Programa SocInfo/MCT. 2000.
26.   MALDONADO, J. C. . Suplente do Coordenador do Programa de Pós-Graduação da área Ciências de Computação e Matemática Computacional. 2000.
27.   MALDONADO, J. C. . Membro do Conselho Editorial da SBC. 2000.
28.   MALDONADO, J. C. . Coordenador do Projeto CNPq, Teste de Mutação: Análise e definição de Estratégias de Teste e Validação de Software. 2000.
29.   MALDONADO, J. C. . Membro do Projeto CNPq, Pesquisa em Métodos e Ferramentas de Engenharia de Software. 2000.
30.   MALDONADO, J. C. . Consultor ad hoc da Universidade Estadual de Maringá. 2000.
31.   MALDONADO, J. C. . Consultor da Pró-Reitoria de Pós-Graduação da USP. 2000.
32.   MALDONADO, J. C. . Avaliador de Trabalhos do XI CITS:QS - Conferência Internacional de Tecnologia de Software: Qualidade de Software. 2000.
33.   MALDONADO, J. C. . Avaliador de Trabalhos do VIII WEI - Workshop sobre Educação na Informática do XIX SBC - Congresso Nacional da Sociedade Brasileira de Computação. 2000.
34.   MALDONADO, J. C. . Avaliador de Trabalhos do VI ISSAT - International Conference on Reliability and Quality in Design. 2000.
35.   MALDONADO, J. C. . Avaliador de Trabalhos do WQS'2000 - Workshop de Qualidade de Software. 2000.
36.   MALDONADO, J. C. . Avaliador de Trabalhos do Mutation 2000 Symposium. 2000.
37.   MALDONADO, J. C. . Coordenador da Comissão para avaliar a criação do Curso de Sistemas de Informação, a ser ministrado em Maringá - PR, pela Faculdades Maringá. Portaria no. 1.528/00 - SESu/MEC - Secretaria da Educação Superior/Ministério da Educação, 14.06.2000.. 2000.
38.   MALDONADO, J. C. . Membro da Comissão para avaliar a criação do Curso de Sistemas de Informação, a ser ministrado em Duque de Caxias - RJ, pela Faculdade de Filosofia, Ciências e Letras de Duque de Caxias. Portaria no. 2.349/00, SESu/MEC - Secretaria da Educação Superior/Ministério da Educação, de 03.09.2000.. 2000.
39.   MALDONADO, J. C. . Membro da Comissão para avaliar a criação do Curso de Tecnologia em Processamento de Dados, a ser ministrado em Juiz de Fora - MG, pelo Centro de Ensino Superior de Juiz de Fora, Juiz de Fora - MG. Portaria no. 2.936.00, SESu/MEC - Secretaria da Educação Superior/Ministério da Educação, de 16.10.2000.. 2000.
40.   MALDONADO, J. C. . Membro da Comissão Encarregada de organizar homenagem póstuma ao Prof. Nelson Onuchic, do ICMC-USP. 2000.
41.   MALDONADO, J. C. . Membro da Comissão para elaborar proposta de ocupação temporária dos blocos 1, 2, 3 e 4, do ICMC-USP. 2000.
42.   MALDONADO, J. C. . Membro da Comissão Responsável pela Trilha Graduação-Mestrado do ICMC - Instituto de Ciências Matemáticas e de Computação - USP. 2000.
43.   MALDONADO, J. C. . Membro Titular na Congregação do ICMC-USP - Chefe do Departamento de Ciências Matemáticas e de Computação. 2000.
44.   MALDONADO, J. C. . Membro Titular no CTA - Conselho Técnico Administrativo do ICMC-USP - Chefe do Departamento de Ciências Matemáticas e de Computação. 2000.
45.   MALDONADO, J. C. . Membro Titular na Comissão de Informática do ICMC-USP - Chefe do Departamento de Ciências Matemáticas e de Computação. 2000.
46.   MALDONADO, J. C. . Avaliador de Trabalhos do XXVI SEMISH - Seminário Intergrado de Software e Hardware. 1999.
47.   MALDONADO, J. C. . Avaliador de Trabalhos do X CITS - Conferência Internacional de Tecnologia de Software: Qualidade de Software. 1999.
48.   MALDONADO, J. C. . Avaliador de Trabalhos do VII WEI - Workshop sobre Educação na Informática do XVIII SBC - Congresso Nacional da Sociedade Brasileira de Computação. 1999.
49.   MALDONADO, J. C. . Avaliador de Trabalhos do V ISSAT - International Conference on Reliability and Quality in Design. 1999.
50.   MALDONADO, J. C. . Avaliador de Trabalhos do 10th ISSRE - International Symposium on Software Reliability Engineering. 1999.
51.   MALDONADO, J. C. . Avaliador de Trabalhos do XIX SCCC - International Conference of the Chilean Computer Science Society. 1999.
52.   MALDONADO, J. C. . Avaliador do II Concurso de Monografias em Qualidade e Produtividade de Software. 1999.
53.   MALDONADO, J. C. . Avaliador de Trabalhos do X Simpósio Brasileiro de Informática na Educação. 1999.
54.   MALDONADO, J. C. . Coordenador da Comissão para avaliar a transformação do Curso de Tecnologia em Processamento de Dados em Bacharelado em Informática, ministrado em Curitiba, PR, pelo Instituto de Ciências do Paraná. Portaria nº082/99, SESu/MEC- Secretaria da Educação Superior/Ministério da Educação. 1999.
55.   MALDONADO, J. C. . Coordenador da Comissão para avaliar a criação do Curso de Engenharia da Computação a ser ministradoi em Brasília, DF, pela Faculdade Planalto de Ciência da Computação. Portaria nº 510/99, SESu/MEC- Secretaria da Educação Superior/Ministério da Educação. 1999.
56.   MALDONADO, J. C. . Membro do Conselho da SBC - Sociedade Brasileira de Computação. 1999.
57.   MALDONADO, J. C. . Membro do Comitê Organizador da Olímpiada Brasileira de Informática da SBC - Sociedade Brasileira de Computação. 1999.
58.   MALDONADO, J. C. . Coordenador Local do Projeto - NSF-CNPq Readers Project: A Collaborative Research to Develop, Validate and Package Reading Techniques for Software Defect Detection . 1999.
59.   MALDONADO, J. C. . Coordenador do Projeto CNPq - Teste de Mutação: Análise e Definição de Estratégias de Teste e Validação de Software. 1999.
60.   MALDONADO, J. C. . Membro Suplente da Comissão Julgadora do Processo Seletivo para Contratação de Docente junto ao Departamento de Ciências da Computação e Estatística do ICMC-USP. 1999.
61.   MALDONADO, J. C. . Presidente da Mesa Eleitoral para Representação Discente da Pós-graduação junto ao Conselho Universitário e Conselhos Centrais da USP. 1999.
62.   MALDONADO, J. C. . Membro da Comissão encarregada de organizar homenagem póstuma aos ex-Diretores do ICMC-USP. 1999.
63.   MALDONADO, J. C. . Suplente do Delegado da categoria de Associado do ICMC para constituir o Colégio Eleitoral para eleger os representantes da referida categoria no Conselho Universitário. 1999.
64.   MALDONADO, J. C. . Coordenador da Comissão para avaliar a transformação do Curso Superior de Tecnologia em Processamento de Dados para Bacharelado em Sistemas de Informação, ministrado em Juiz de Fora, MG, pelo Centro de Ensino Superior de Juiz de Fora. Portaria no. 1.042/99 - SESu/MEC - Secretaria da Educação Superior/Ministério da Educação, de 19.07.99.. 1999.
65.   MALDONADO, J. C. . Membro da Comissão de Educação da SBC . 1999.
66.   MALDONADO, J. C. . Consultor-SABE - Sistema de Acompanhamento e Avaliação do Programa de Bolsas no Exterior, CNPq Ref. Processo 200258/98-2. 1998.
67.   MALDONADO, J. C. . Avaliador de Trabalhos do XII SBES - Simpósio Brasileiro de Engenharia de Software. 1998.
68.   MALDONADO, J. C. . Avaliador de Trabalhos do IX CITS - Conferência Internacional de Tecnologia de Software: Qualidade de Software. 1998.
69.   MALDONADO, J. C. . Avaliador de Trabalhos do VI WEI - Workshop sobre Educação na Informática do XVIII SBC - Congresso Nacional da Sociedade Brasileira de Computação. 1998.
70.   MALDONADO, J. C. . Avaliador de Trabalhos do 11th IWTCs - International Workshop on Testing of Communicating Systems. 1998.
71.   MALDONADO, J. C. . Avaliador de Trabalhos do WQS'98 - Workshop de Qualidade de Software . 1998.
72.   MALDONADO, J. C. . Coordenador da Comissão para avaliar a criação do Curso de Ciência da Computação a ser ministrado em Caraguatatuba, SP, pelas Faculdades Módulos. Portaria nº 1946/99, SESu/MEC- Secretaria da Educação Superior/Ministério da Educação. 1998.
73.   MALDONADO, J. C. . Membro do Comitê da SBC- Sociedade Brasileira de Computação, para seleção de jovens para a IFIP - International Federation for Information Precessing, para o I Encontro Mundial de Jovens. 1998.
74.   MALDONADO, J. C. . Membro do Projeto Integrado CNPq - Pesquisas em Métodos e Ferramentas de Engenharia de Software com ênfase em Sistemas Reativos. 1998.
75.   MALDONADO, J. C. . Coordenador Local do Projeto SQUAD - Software Quality Across Different Regions, Comunidade Européia INCO-DC. 1998.
76.   MALDONADO, J. C. . Coordenador Local do Projeto FAPESP - Sapiens. 1998.
77.   MALDONADO, J. C. . Suplente de Coordenador da Pós-Graduação da área de Ciências da Computação e Matemática Computacional do ICMC-USP. 1998.
78.   MALDONADO, J. C. . Coordenador da Pós-Graduação da área de Ciências da Computação e Matemática Computacional do ICMC-USP. 1998.
79.   MALDONADO, J. C. . Suplente do Chefe do Departamento de Ciências da Computação e Estatística do ICMC-USP. 1998.
80.   MALDONADO, J. C. . Membro da Comissão de instauração de Processo Administrativo Disciplinar, ICMC-USP. 1998.
81.   MALDONADO, J. C. . Membro da Comissão encarregada de organizar a participação do ICMC na Oktobertech'98 - ICMC-USP. 1998.
82.   MALDONADO, J. C. . Membro da Comissão encarregada de apresentar proposta de Implantação do Curso Noturno no ICMC-USP. 1998.
83.   MALDONADO, J. C. . Presidente da Comissão Interna de Gestão da Qualidade e Produtividade do ICMC-USP. 1998.
84.   MALDONADO, J. C. . Membro titular junto À Comissão de Pós-graduação do ICMC-USP. 1998.
85.   MALDONADO, J. C. . Membro titular da categoria de Professor Associado junto ao Conselho do Departamento de Ciências da Computação e Estatística do ICMC-USP. 1998.
86.   MALDONADO, J. C. . Membro titular na Congregação do ICMC-USP - Representante do Professores Associados do ICMC. 1998.
87.   MALDONADO, J. C. . Ouvidor (ombudsperson) do ICMC-USP. 1998.
88.   MALDONADO, J. C. . Membro Suplente da Comissão de Pesquisa - CPq, do ICMC-USP. 1998.
89.   MALDONADO, J. C. ; VINCENZI, A. M. R. ; BARBOSA, E. F. ; SOUZA, S. R. S. S. ; DELAMARO, M. E. . Aspectos Teóricos e Empíricos de Teste de Cobertura de Software. 1998.
90.   MALDONADO, J. C. . Consultor da Sociedade Brasileira para Promoção da Exportação de Software SOFTEX, Avaliação de Planos de Negócio, CNS'97/SOFTEX (Parecer Técnico). 1997.
91.   MALDONADO, J. C. . Coordenação de Avaliação de Produtos de Software, I CNS - Chamada Nacional de Software, SOFTEX (Parecer Técnico). 1997.
92.   MALDONADO, J. C. . Avaliador de Trabalhos do XXIV SEMISH - Seminário Intergrado de Software e Hardware. 1997.
93.   MALDONADO, J. C. . Revisor no processo de seleção de artigos científicos para o 8º Simpósio Brasileiro de Informática na Educação. 1997.
94.   MALDONADO, J. C. . Avaliador de Trabalhos do VIII CITS - Conferência Internacional de Tecnologia de Software. 1997.
95.   MALDONADO, J. C. . Avaliador de Trabalhos do SBRC - Simpósio Brasileiro de Redes de Computadores. 1997.
96.   MALDONADO, J. C. . Avaliador de Trabalhos do 8th ISSRE - International Symposium on Software Reliability Engineering. 1997.
97.   MALDONADO, J. C. . Coordenador da Comissão para avaliar a criação do Curso de Ciências da Computação a ser ministrado em Aracruz, ES, pela Faculdade de Ciências Humanas de Aracruz. Portaria nº 395/99, SESu/MEC- Secretaria da Educação Superior/Ministério da Educação. 1997.
98.   MALDONADO, J. C. . Coordenador da Comissão para avaliar a criação do Curso de Análise de Sistemas a ser ministrado em Leme, SP, pelas Faculdades Integradas Anhaguera. Portaria nº 911/99, SESu/MEC- Secretaria da Educação Superior/Ministério da Educação. 1997.
99.   MALDONADO, J. C. . Diretor de Educação da SBC - Sociedade Brasileira de Computação. 1997.
100.   MALDONADO, J. C. . Responsável pelo Exame Classificatório de alunos da Pós-graduação para obtenção de bolsas para o ano de 1997. 1997.
101.   MALDONADO, J. C. . Membro Titular da Comissão Coordenadora do Seminários em Computação. 1997.
102.   MALDONADO, J. C. . Membro da Comissão Interna de Gestão de Qualidade e Produtividade, ICMSC-USP. 1997.
103.   MALDONADO, J. C. . Membro Titular da Comissão para Ocupação do Bloco de Pesquisa, ICMSC-USP. 1997.
104.   MALDONADO, J. C. . Membro da Comissão para Preenchimento de vaga de Técnico Contábil, ICMSC-USP. 1997.
105.   MALDONADO, J. C. . Membro titular junto À Comissão de Pós-graduação - CPG do ICMC-USP. 1997.
106.   MALDONADO, J. C. . Consultor do SESu/MEC - Secretaria da Educação Superior/Ministério da Educação, da Comissão de Especialistas de Ensino. 1996.
107.   MALDONADO, J. C. . Membro do Conselho Editorial da Revista Multiciência, ASSER-Associação de Escolas Reunidas. 1996.
108.   MALDONADO, J. C. . Membro do Corpo Editorial da Revista Acta Scientiarum (Ex-revista UNIMAR) . 1996.
109.   MALDONADO, J. C. . Membro do Quadro de Assessoria Científica da Pró-Reitoria de Pesquisa e Pós-Graduação da Universidade Estadual de Maringá. 1996.
110.   MALDONADO, J. C. . Avaliador de Trabalhos do VII CITS - Conferência Internacional de Tecnologia de Software: Qualidade de Software. 1996.
111.   MALDONADO, J. C. . Coordenador da Comissão Especial de Engenharia de Software da SBC - Sociedade Brasileira de Computação. 1996.
112.   MALDONADO, J. C. . Coordenador do Projeto Integrado CNPq - Pequisas em Engenharia de Software com ênfase em Métodos e Ferramentas de Especificação, Testes e Manutenção. 1996.
113.   MALDONADO, J. C. . Membro do Projeto FAPESP - Métodos e Ferramentas para Apoio ao Desenvolvimento de Software. 1996.
114.   MALDONADO, J. C. . Avaliador de Trabalhos do IX SBES - Simpósio Brasileiro de Engenharia de Software. 1995.
115.   MALDONADO, J. C. . Avaliador de Trabalhos do XXII SEMISH - Seminário Intergrado de Software e Hardware. 1995.
116.   MALDONADO, J. C. . Revisor do Caderno de Ferramentas, IX SBES - Simpósio Brasileiro de Engenharia de Software. 1995.
117.   MALDONADO, J. C. . Avaliador de Trabalhos do Workshop de Qualidade de Software. 1995.
118.   MALDONADO, J. C. . Coordenador da Comissão Especial da SBC - Engenharia de Software. 1995.
119.   MALDONADO, J. C. . Orientador Acadêmico do Programa de Mestrado no ICMC-USP, na área de Computação. 1995.
120.   MALDONADO, J. C. . Assessor ad hoc da FAPESP. 1994.
121.   MALDONADO, J. C. . Consultor ad hoc da CCInt - Comissão de Cooperação Internacional. 1994.
122.   MALDONADO, J. C. . Consultor do CTI. 1994.
123.   MALDONADO, J. C. . Consultor ad hoc do PROTEM-CC/CNPq. 1994.
124.   MALDONADO, J. C. . Avaliador de Trabalhos do VIII SBES - Simpósio Brasileiro de Engenharia de Software. 1994.
125.   MALDONADO, J. C. . Avaliador de Trabalhos do XXI SEMISH - Seminário Intergrado de Software e Hardware. 1994.
126.   MALDONADO, J. C. . Revisor de proposta na fase de preparação da VII EBAi - Escola Brasileira-Argentina de Informática. 1994.
127.   MALDONADO, J. C. . Revisor de livro para a Makron Books do Brasil Editora Ltda. 1994.
128.   MALDONADO, J. C. . Membro do Projeto RHAE - CNPq- Plano de Viabilização de um Grupo de Pequisa em CIM (Manufatura Integrada por Computador) . 1994.
129.   MALDONADO, J. C. . Coordenador do Projeto CNPq - Estudo e Implementação de Ferramentas de Teste para a Aplicação da Análise de Mutantes na Produção de Software. 1994.
130.   MALDONADO, J. C. . Coordenador do Projeto Integrado CNPq - Projeto TAQS - Tecnologias para Avaliação de Qualidade de Software. 1994.
131.   MALDONADO, J. C. . Coordenador do PNUD BRA/92/019 - articulação/TELEBRáS/UNICAMP/USP. Projeto Validação e Teste de Sistemas de Operação (PVTSO). 1994.
132.   MALDONADO, J. C. . Coordenador da Pós-Graduação da área de Ciências da Computação e Matemática Computacional do ICMSC-USP. 1994.
133.   MALDONADO, J. C. . Suplente de Coordenador da Pós-Graduação da área de Ciências da Computação e Matemática Computacional do ICMSC-USP. 1994.
134.   MALDONADO, J. C. . Coordenador local do Projeto PROTEM/CNPq, Projeto TAQS - Tecnologias para Avaliação de Qualidade de Software. 1994.
135.   MALDONADO, J. C. . Avaliador de Trabalhos do VII SBES - Simpósio Brasileiro de Engenharia de Software. 1993.
136.   MALDONADO, J. C. . Vice-Coordenador do Convênio USP/Folha de São Paulo. 1993.
137.   MALDONADO, J. C. . Diretor do Laboratório de Engenharia de Software - ICMC/USP. 1993.
138.   MALDONADO, J. C. . Representante suplente da categoria de Professor Doutor junto ao Conselho do Departamento de Ciências da Computação e Estatística do ICMSC-USP. 1993.
139.   MALDONADO, J. C. . Membro titular junto À Comissão de Graduação do Instituto de Física e Química de São Carlos - USP. 1993.
140.   MALDONADO, J. C. . Membro titular da Comissão de Graduação do ICMSC-USP. 1993.
141.   MALDONADO, J. C. . Membro titular junto À Comissão de Pós-graduação do ICMSC-USP. 1993.
142.   MALDONADO, J. C. . Membro do Conselho Editorial da Revista do Instituto de Informática da PUC-Campinas. 1992.
143.   MALDONADO, J. C. . Avaliador de Trabalhos do VI SBES - Simpósio Brasileiro de Engenharia de Software. 1992.
144.   MALDONADO, J. C. . Avaliador de Trabalhos do XIX SEMISH - Seminário Intergrado de Software e Hardware. 1992.
145.   MALDONADO, J. C. . Membro da Comissão da Secretaria Nacional de Educação Superior do Ministério da Educação para reconhecimento de Curso de Ciências de Computação. 1992.
146.   MALDONADO, J. C. . Coordenador do Projeto Integrado CNPq - Estudo Teórcio e Aplicado de Critérios de Teste Baseados em Análise de Fluxo de Dados na Produção de Software. 1992.
147.   MALDONADO, J. C. . Coordenador do Convêncio USP/Folha de São Paulo. 1992.
148.   MALDONADO, J. C. . Membro da Comissão Examinadora do Exame de Proficiência em língua estrangeira(Inglês) do programa de mestrado do ICMSC-USP. 1992.
149.   MALDONADO, J. C. . Membro titular junto À Comissão de Cultura e Extensão Universitária do ICMSC-USP. 1992.
150.   MALDONADO, J. C. ; et al. . Programa de Qualidade e Produtividade em Software do Centro Tecnológico para Informática - PQPS/CTI. 1992.
151.   MALDONADO, J. C. . Orientador Acadêmico do Programa de Mestrado no ICMC-USP, na área de Computação. 1992.
152.   MALDONADO, J. C. . Revisor da IEEE - Transaction on Software Engineering. 1991.
153.   MALDONADO, J. C. . Avaliador de Trabalhos do V SBES - Simpósio Brasileiro de Engenharia de Software. 1991.
154.   MALDONADO, J. C. . Membro do Projeto Protem/CC. 1991.
155.   MALDONADO, J. C. . Representante da categoria de Professor Doutor junto À Comissão de Graduação da Escola de Engenharia de São Carlos como membro suplente. 1991.
156.   MALDONADO, J. C. . Membro titular da Comissão de Graduação do ICMSC-USP. 1991.
157.   MALDONADO, J. C. . Avaliador de Trabalhos do IV SBES - Simpósio Brasileiro de Engenharia de Software . 1990.
158.   MALDONADO, J. C. . Avaliador de Trabalhos do XVII SEMISH - Seminário Intergrado de Software e Hardware. 1990.
159.   MALDONADO, J. C. . Membro responsável pela aplicação de prova de habilitação aos candidatos À transferência ao Curso de Bacharelado em Ciências da Computação, ICMSC-USP. 1990.
160.   MALDONADO, J. C. . Membro do IEEE Standard for Software Quality Assurance Plans. 1989.
161.   MALDONADO, J. C. . Representante da categoria de Professor Assistente junto À Congregação do ICMSC-USP como membro titular . 1989.
162.   MALDONADO, J. C. . Representante da categoria de Professor Assistente junto À Congregação do ICMSC-USP como membro suplente. 1989.
163.   MALDONADO, J. C. . Membro da comissão responsável pela seleção dos candidatos À ênfase em Computação Eletrônica oferecida pelo SCE-ICMSC/USP. 1988.
164.   MALDONADO, J. C. . Membro da comissão encarregada da abertura do Convite de Preços referente À aquisição de materiais e equipamentos para o Laboratório de Sistemas Digitais - SCE-ICMSC/USP. 1988.
165.   MALDONADO, J. C. . Representante da categoria de Professor Assistente junto ao Conselho do Departamento de Ciências da Computação e Estatística como membro titular. 1988.
166.   MALDONADO, J. C. . Representante dos Professores do ICMSC-USP junto ao Conselho do Campus de São Carlos. 1988.
167.   MALDONADO, J. C. . Membro da comissão responsável pela seleção dos candidatos À ênfase em Computação Eletrônica oferecida pelo SCE-ICMC/USP. 1987.
168.   MALDONADO, J. C. . Membro da comissão responsável pela seleção dos candidatos ao Curso de Especialização em Computação, ICMC-USP. 1987.
169.   MALDONADO, J. C. . Membro da comissão encarregada da abertura do Convite de Preços referente À aquisição de materiais e equipamentos para o Laboratóriode Sistemas Digitais do SCE-ICMC. 1987.
170.   MALDONADO, J. C. . Membro da comissão encarregada da abertura do Convite de Preços referente À aquisição de materiais e equipamentos para o laboratório do SCE-ICMSC. 1987.
171.   MALDONADO, J. C. . Membro da comissão responsável pela seleção dos candidatos ao Curso de Extensão Universitária - área de Computação, ICMSC-USP. 1987.
172.   MALDONADO, J. C. . Representante da categoria de Professor Assistente junto À Congregação do ICMSC como membro suplente. 1987.
173.   MALDONADO, J. C. . Membro da Comissão de Avaliação da Carreira de Técnico Especializado de Apoio ao Ensina À distância, ICMC-USP. 1986.
174.   MALDONADO, J. C. . Membro da comissão encarregada da abertura do Convite de Preços, referente À aquisição de materiais e equipamentos para o laboratório do SCE-ICMSC/USP. 1986.
175.   MALDONADO, J. C. . Membro Suplente da Comissão Assessora para o funcionamento da Laboratório de Computação. 1986.
176.   MALDONADO, J. C. . Membro da comissão de distribuição de carga didática do SCE-ICMSC/USP. 1986.
177.   MALDONADO, J. C. . Representante da categoria de Professor Assistente junto ao Conselho do Departamento de Ciências da Computação e Estatística como membro suplente. 1986.
178.   MALDONADO, J. C. . Membro da Comissão responsável pela seleção dos candidatos À ênfase em Computação Eletrônica oferecida pelo SCE-ICMSC. 1985.
179.   MALDONADO, J. C. . Membro da Comissão responsável pela seleção dos candidatos ao Curso de Especialização em Computação, SCE-ICMSC. 1985.
180.   MALDONADO, J. C. . Membro da Comissão responsável pela atualização do programa de ênfase em Computação Eletrônica e do Curso de Especialização em Computação do SCE-ICMSC. 1985.
181.   MALDONADO, J. C. . Membro do grupo de Interface do Segmento Espacial da MECB/SS - Coleta de Dados - INPE. 1984.
182.   MALDONADO, J. C. . Chefe do Departamento de Engenharia de Computação em Aplicações Espaciais - INPE. 1984.
183.   MALDONADO, J. C. . Responsável interino pelo Projeto 'Supervisão de Bordo (SUBORD)'no segmento Espacial do INPE. 1984.
184.   MALDONADO, J. C. . Membro da Comissão encarregada de elaborar testes para candidatos a técnicos em eletrônica. 1983.
185.   MALDONADO, J. C. . Membro do grupo de Interface do Segmento Espacial da MECB/SS - Coleta de Dados - INPE. 1983.
186.   MALDONADO, J. C. . Membro representante do Corpo Discente junto À Comissão encarregada de exercer as funções de Conselho do Departamento de Engenharia de Sistemas, EESC-USP. 1977.
187.   MALDONADO, J. C. . Membro da Comissão encarregada do estudo do planejamento orçamentário da EESC-USP, filosofia dos cursos, construção de laboratórios, salas de aula, criação ou extinção de cursos, propostas para a Comissão de Reforma do Estatuto e Regimento Geral da USP e do levantamento da carga horária dos professores. 1976.
188.   MALDONADO, J. C. . Representante do Corpo Discente junto À Congregação da Escola de Engenharia de São Carlos. 1976.

Trabalhos técnicos (42)

1.   MALDONADO, J. C. . Membro do comitê de programa do XXIII Simpósio Brasileiro de Engenharia de Software (SBES). 2009.
2.   MALDONADO, J. C. . Member of program committee of the Twenty-First International Conference on Software Engineering and Knowledge Engineering (SEKE). 2009.
3.   MALDONADO, J. C. . Publicity Chair of IEEE International Conference on Software Testing, Verification and Validation (ICST). 2009.
4.   MALDONADO, J. C. . Membro do comite de programa do VIII Simpósio Brasileiro de Qualidade de Software (SBQS). 2009.
5.   MALDONADO, J. C. . Member of program committee of the 3rd International Symposium on Empirical Software Engineering and Measurement (ESEM). 2009.
6.   MALDONADO, J. C. . Member of program committee of the 9th International Conference on Quality Software (QSIC). 2009.
7.   MALDONADO, J. C. . Member of program committee of the 21st IFIP Int. Conference on Testing of Communicating Systems (TestCom/FATES' 09). 2009.
8.   MALDONADO, J. C. . Membro do Comitê de programa XII Conferencia Iberoamericana de Ingenería de Requisitos y Ambientes de Software (IDEAS). 2009.
9.   MALDONADO, J. C. . Member of Technical Program Committee of the IEEE International Conference on Software Testing, Verification and Validation (ICST). 2009.
10.   MALDONADO, J. C. . Membro do comitê de programa do 3rd Brazilian Workshop on Systematic and Automated Software Testing (SAST). 2009.
11.   MALDONADO, J. C. . Member of program committee of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009). 2009.
12.   MALDONADO, J. C. . South America Liasion of SEKE2009 - Twenty-First International Conference on Software Engineering and Knowledge Engineering. 2009.
13.   MALDONADO, J. C. . Member of program committee of the SBES 2009 Tools Session. 2009.
14.   MALDONADO, J. C. . Member of the Technical Program Committee for SBES 2009 Tutorials. 2009.
15.   MALDONADO, J. C. . Member of the technical program committee of the 4th Latin-american Symposium on Dependable Computing (LADC). 2009.
16.   MALDONADO, J. C. . Member of the Technical Program Committee for SBCARS 2009. 2009.
17.   MALDONADO, J. C. . Member of program committee of the Workshops to the 2009 SBBD and SBES Symposia. 2009.
18.   MALDONADO, J. C. . Coordenador do Comitê do Programa XXXV Conferencia Latino-americana de Informática (XXXV CLEI). 2009.
19.   MALDONADO, J. C. . Member of the Program Committee of the CISIS 2010 track on Software Engineering for Distributed Systems . 2009.
20.   MALDONADO, J. C. . Member of Technical Program Committee of the Technical Program Committee of the 33rd Annual IEEE Software Engineering Workshop. 2009.
21.   MALDONADO, J. C. . Member of the program committee for the 3rd Latin-American Workshop on Aspect-Oriented Software Development (LA-WASP.09). 2009.
22.   MALDONADO, J. C. . Member of program committee of the Software Engineering (SE) Track - 23rd Annual ACM Symposium on Applied Computing (SAC). 2008.
23.   MALDONADO, J. C. . Member of program committee of the Eighth International Conference on Quality Software (QSIC). 2008.
24.   MALDONADO, J. C. . Member of program committee of the International Symposium on Empirical Software Engineering and Measurement (ESEM). 2008.
25.   MALDONADO, J. C. . Member of the Program Committee of the 20th International Conference on Software Engineering and Knowledge Engineering (SEKE). 2008.
26.   MALDONADO, J. C. . Member of program committee of the 20th IFIP Int. Conference on Testing Communication Systems (TestCom). 2008.
27.   MALDONADO, J. C. . Member of program committee of the 8th Int. Workshop on Formal Approaches to Testing of Software (FATES). 2008.
28.   MALDONADO, J. C. . Member of program committee of the 28th IFIP WG 6.1 conference on Formal Techniques for Networked and Distributed Systems (FORTE). 2008.
29.   MALDONADO, J. C. . Member of program committee of the XI Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes de Software (IDEAS). 2008.
30.   MALDONADO, J. C. . Member of program committee of the First IEEE International Conference on Software Testing, Verification and Validation (ICST). 2008.
31.   MALDONADO, J. C. . Membro do comitê de programa do XXXIV Conferencia Latinoamericana de Informática - CLEI. 2008.
32.   MALDONADO, J. C. . Comitê Gestor do Congresso XXVIII Congresso da Sociedade Brasileira de Computação (CSBC). 2008.
33.   MALDONADO, J. C. . Consultour ad hoc da Universidade Estadual de Maringá. 2002.
34.   MALDONADO, J. C. . Membro da Comissão Organizadora da XI Oktobertech. 2002.
35.   MALDONADO, J. C. . Membro da Comissão Organizadora da Fealtec. 2002.
36.   MALDONADO, J. C. . Revisor da IEEE - Transaction on Software Engineering. 2002.
37.   MALDONADO, J. C. . Membro da Comissão Julgadora do Processo Seletivo para Contratação de Docentes, junto ao Departamento de Ciências de Computação e Estatística do ICMC-USP. 2002.
38.   MALDONADO, J. C. . Membro da Comissão Avaliadora do livro Softwae Engineering for Large-Scale Multi-Agent Systems. 2002.
39.   SIMãO, A. S. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Software product instrumentation description. 2002.
40.   MALDONADO, J. C. . Orientador Acadêmico do Programa de Mestrado no ICMC-USP, na área de Computação. 2001.
41.   MALDONADO, J. C. . Responsável pela colaboração do LABES com o Center for Empirically based Software Engeneering, CeBASE, patrocinado pela NSF - National Science Foundations.. 2001.
42.   MALDONADO, J. C. . Membro do Projeto FAPESP, Métodos em Engenharia de Software, em Soluções Numéricas em Mecânica dos Fluidos, e em Singularidades e Sistemas Dinâmicos. 2001.

Demais tipos de produção técnica (87)

1.   MALDONADO, J. C. . Membro da Comissão Julgadora da CTIC 2001 - Concurso de Trabalhos de Iniciação Científica. 2001.
2.   MALDONADO, J. C. . Membro da Comissão Julgadora da CTD/SBC 2001 - Concurso de Teses e Dissertações. 2001.
3.   MALDONADO, J. C. . Membro do Comissão de Educação da SBC - Sociedade Brasileira de Computação. 2001.
4.   MALDONADO, J. C. ; SUGETA, T. . Coleta de Dados sobre os Programas de Pós-Graduação na área de Ciência de Computação no Brasil - 2000. Compilação de Dados realizada no Departamento de Ciências de computação e Estatística. 2001.
5.   MALDONADO, J. C. . Membro do Corpo Editorial da Revista de Eletrônica de Iniciação Científica, do Departamento de Ciências da Computação da Universidade de Lavras. 2001.
6.   MALDONADO, J. C. . Membro do Comitê Assessor Especial Kit-RD/PROTEM do CNPq. 2001.
7.   MALDONADO, J. C. . Avaliador ad hoc do Programa de Bolsas de Iniciação Científica do CNPq - PIBIC. 2001.
8.   MALDONADO, J. C. . Avaliador de Trabalhos do SCTF2001 - IX Brazilian Symposium on Fault-Tolerant Computing. 2001.
9.   MALDONADO, J. C. . Avaliador de Trabalhos da FORTE-2001 International Conference on Formal Techniques for Networked and Distributed Systems. 2001.
10.   MALDONADO, J. C. . Membro da Comissão para avaliar a transformação do Curso de Tecnologia em Processamento de Dados, bacharelado, em Curso de Sistemas de Informação, bacharelado, a ser ministrado em Vitória - ES, pela Faculdade Vitoriana de Tecnologia. Portaria no. 080/01 - SESu/MEC - Secretaria da Educação Superior/Ministério da Educação, 03.01.2001. 2001.
11.   MALDONADO, J. C. . Membro da Comissão para avaliar a criação do Curso de Sistemas de Informação, a ser ministrado em Duque de Caxias - RJ, pela Faculdade de Filosofia, Ciências e Letras de Duque de Caxias. Portaria no. 146/01, SESu/MEC - Secretaria da Educação Superior/Ministério da Educação, de 15.01.2001.. 2001.
12.   MALDONADO, J. C. . Coordenador do Seminários de Computação. 2001.
13.   MALDONADO, J. C. . Membro da Comissão encarregada de estudar e propor modificações ao curso de Bacharelado em Informática, SCE-ICMC-USP. 2001.
14.   MALDONADO, J. C. . Membro Suplente da Comissão Julgadora do Processo Seletivo para Contratação de dois Docentes, junto ao Departamento de Ciências de Computação e Estatística do ICMC-USP. 2001.
15.   MALDONADO, J. C. . Membro da Comissão encarregada de apresentar sugestões de medidas que adequarão o consumo de energia elétrica do ICMC-USP frente ao racionamento estabelecido pelo governo Federal a partir de 01/06/2001 . 2001.
16.   MALDONADO, J. C. . Membro da Comissão encarregada de discutir e propor encaminhamentos para os trabalhos a serem desenvolvidos no II Congresso do Departamento . 2001.
17.   MALDONADO, J. C. . Membro da Comissão encarregada de preparar o Plano Diretor de Obras do ICMC/USP. 2001.
18.   VINCENZI, A. M. R. ; DELAMARO, M. E. ; HÖHN, Erika Nina ; MALDONADO, J. C. . Control and Data Flow, and Mutation Testing: Theory and Practice. 2007. (Curso de curta duração ministrado/Outra).
19.   WONG, E. ; MALDONADO, J. C. . Tutorial: Testing and Maintaining Your Software in a More Cost-Effective Way - 8th ASSE. 2007. (Curso de curta duração ministrado/Outra).
20.   MASIERO, P. C. ; LEMOS, O. A. L. ; FERRARI, Fabiano Cutigi ; MALDONADO, J. C. . Teste de Software Orientado a Objetos e a Aspectos: Teoria e Prática. 2006. (Curso de curta duração ministrado/Outra).
21.   MALDONADO, J. C. ; BARBOSA, E. F. ; SIMãO, A. S. ; MASIERO, P. C. ; LEMOS, O. A. L. ; FABBRI, S. C. F. P. . Mini-tutorial Data-Flow and Mutation Based Testing. 2005. (Curso de curta duração ministrado/Outra).
22.   BARBOSA, E. F. ; VINCENZI, A. M. R. ; DELAMARO, M. E. ; MALDONADO, J. C. . Teste Estrutural e de Mutação no Contexto de Programas OO. 2005. (Curso de curta duração ministrado/Outra).
23.   MALDONADO, J. C. ; BARBOSA, E. F. ; VINCENZI, A. M. R. ; DELAMARO, M. E. ; SOUZA, S. R. S. S. ; JINO, M. . Introdução ao Teste de Software. 2004. (Desenvolvimento de material didático ou instrucional - Nota Didática).
24.   MALDONADO, J. C. ; BARBOSA, E. F. ; VINCENZI, A. M. R. ; DELAMARO, M. E. ; SOUZA, S. R. S. S. ; JINO, M. . Teste de Software: Teoria e Prática. 2003. (Desenvolvimento de material didático ou instrucional - Nota Didática).
25.   MALDONADO, J. C. ; MASIERO, P. C. ; GERMANO, F. S. R. . Engenharia de Software. 2002. (Revisão Técnica de Livros).
26.   DELAMARO, M. E. ; PEZZé, M. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Applying Mutation Testing to Multi-Threaded Java Programs. 2001. (Desenvolvimento de material didático ou instrucional - Relatório Técnico).
27.   BARBOSA, E. F. ; MALDONADO, J. C. ; et al. . Introdução ao Teste de software. 2000. (Curso de curta duração ministrado/Extensão).
28.   BARBOSA, E. F. ; MALDONADO, J. C. ; VINCENZI, A. M. R. ; DELAMARO, M. E. ; SOUZA, S. R. S. S. ; JINO, M. . Introdução ao Teste de Software. 2000. (Desenvolvimento de material didático ou instrucional - Nota Didática).
29.   MALDONADO, J. C. . Aspectos Teóricos e Empíricos de Teste de Cobertura de Software. 1999. (Curso de curta duração ministrado/Extensão).
30.   MALDONADO, J. C. . Data Flow and Mutation based Testing: An Overview. 1999. (Curso de curta duração ministrado/Extensão).
31.   SUGETA, T. ; MALDONADO, J. C. ; FABBRI, Sandra .C P. F. . Proteum-RS/ST: Manual do Usuário. 1999. (Desenvolvimento de material didático ou instrucional - Manual de Usuário).
32.   COLANZI, T. E. ; MASIERO, P. C. ; MALDONADO, J. C. . Especificação do SAPES com o ProDeS/UML. 1999. (Desenvolvimento de material didático ou instrucional - Relatório Técnico).
33.   CARVALHO, R. A. ; FABBRI, Sandra .C P. F. ; MALDONADO, J. C. ; NASSIF, P. N. . Determinação de um Conjunto Essencial de Operadores de Mutação para Máquinas de Estados Finitos. 1999. (Desenvolvimento de material didático ou instrucional - Relatório Técnico).
34.   SUGETA, T. ; MALDONADO, J. C. ; FABBRI, Sandra .C P. F. ; MASIERO, P. C. . Introdução a Statecharts: Conceitos Básicos, Teste e Validação, Extensões e Ferramentas de apoio. 1999. (Desenvolvimento de material didático ou instrucional - Nota Didática).
35.   MALDONADO, J. C. . Aspectos Técnicos e Empíricos de Teste de Cobertura de Software. 1998. (Curso de curta duração ministrado/Extensão).
36.   MALDONADO, J. C. . Teste de Software Orientado a Objetos. 1998. (Curso de curta duração ministrado/Extensão).
37.   MALDONADO, J. C. ; VINCENZI, A. M. R. ; BARBOSA, E. F. ; SOUZA, S. R. S. ; DELAMARO, M. E. . Aspectos Teóricos e Empíricos de Teste de Cobertura de Software. 1998. (Desenvolvimento de material didático ou instrucional - Nota Didática).
38.   DELAMARO, M. E. ; MALDONADO, J. C. ; PASQUINI, A. ; MATHUR, A. P. . Interface Mutation test Adequacy Criterion: an Empirical Evaluation. 1998. (Desenvolvimento de material didático ou instrucional - Relatório Técnico).
39.   MALDONADO, J. C. ; MASIERO, P. C. . Special Issue on Software Engineering Journal of the Brazilian Computer Society . 1998. (Editoração/Outra).
40.   MALDONADO, J. C. . Teste de Confiabilidade de Software . 1997. (Curso de curta duração ministrado/Extensão).
41.   MALDONADO, J. C. . Software Testing and Reliability. 1997. (Curso de curta duração ministrado/Extensão).
42.   MALDONADO, J. C. ; NAKAGAWA, E. Y. . Anais do WPVTSO - Workshop do Projeto Validação e Teste de Sistemas de Operação. 1997. (Editoração/Anais).
43.   MALDONADO, J. C. ; DIPPOLITO, E. . Anais do VIII CTIS - Conferência Internacional de Tecnologia de Software - Qualidade de Software. 1997. (Editoração/Anais).
44.   DELAMARO, M. E. ; MALDONADO, J. C. . PROTEUM - A Tool for the Assesment of the Adequacy for C Programs: User's Guide. 1996. (Desenvolvimento de material didático ou instrucional - Manual de Usuário).
45.   VILELA, P. R. ; MALDONADO, J. C. ; JINO, M. . Program Graph Visualization an Approach Without Replacement. 1996. (Desenvolvimento de material didático ou instrucional - Relatório Técnico).
46.   DELAMARO, M. E. ; MALDONADO, J. C. ; MATHUR, A. P. . Integration Testing Using Interface Mutations. 1996. (Desenvolvimento de material didático ou instrucional - Relatório Técnico).
47.   MALDONADO, J. C. ; MASIERO, P. C. . Anais do X SBES - Simpósio Brasileiro de Engenharia de Software. 1996. (Editoração/Anais).
48.   DELAMARO, M. E. ; MALDONADO, J. C. . A Mutation Testing Tool For C Programs. 1996. (Relatório de pesquisa).
49.   MALDONADO, J. C. ; MATHUR, A. P. . Software Testing Reliability. 1995. (Curso de curta duração ministrado/Extensão).
50.   TURINE, M. A. S. ; MALDONADO, J. C. ; SANCHES, R. . Descobrindo o Ambiente do Fortran (Versão 5.1). 1995. (Desenvolvimento de material didático ou instrucional - Nota Didática).
51.   TURINE, M. A. S. ; MALDONADO, J. C. ; SANCHES, R. . Descobrindo o Ambiente do Turbo Pascal (Versão 7.0). 1995. (Desenvolvimento de material didático ou instrucional - Nota Didática).
52.   MALDONADO, J. C. . Caderno de Ferramentas do IX SBES - Simpósio Brasileiro de Engenharia de Software. 1995. (Editoração/Anais).
53.   MALDONADO, J. C. ; MASIERO, P. C. ; SANCHES, R. . Engenharia de Software. 1995. (Revisão Técnica de Livros).
54.   MALDONADO, J. C. . Teste de Software . 1994. (Curso de curta duração ministrado/Extensão).
55.   DELAMARO, M. E. ; MALDONADO, J. C. . Proteum - Manual do Usuário Versão 1.1-C. 1994. (Desenvolvimento de material didático ou instrucional - Manual de Usuário).
56.   NAKAZATO, K. K. ; MALDONADO, J. C. ; FABBRI, S. C. P. F. ; MASIERO, P. C. . Aspectos Teóricos e de Implementação de Critérios de Geração de Seqüências de Teste Baseados em Máquinas de Estado Finito. 1994. (Desenvolvimento de material didático ou instrucional - Relatório Técnico).
57.   NAKAZATO, K. K. ; MALDONADO, J. C. ; FABBRI, Sandra .C P. F. ; MASIERO, P. C. . Propriedades de Máquinas de Estado Finito Relevantes Para Critérios de Geração de Seqüências de Teste. 1994. (Desenvolvimento de material didático ou instrucional - Relatório Técnico).
58.   NAKAZATO, K. K. ; MALDONADO, J. C. ; FABBRI, Sandra .C P. F. ; MASIERO, P. C. . Seqüências Básicas de Máquinas de Estado Finito: Aspectos Teóricos e de Implementação. 1994. (Desenvolvimento de material didático ou instrucional - Relatório Técnico).
59.   MALDONADO, J. C. ; CHAIM, M. L. ; JINO, M. ; ROPER, M. ; HUNTER, M. ; WOOD, R. M. . A Brief View of Potential Uses Criteria and Poke-Tool Testing Tool. 1994. (Relatório de pesquisa).
60.   MALDONADO, J. C. . Técnicas de Teste de Software. 1993. (Curso de curta duração ministrado/Extensão).
61.   MALDONADO, J. C. . Conselho Acadêmico do Programa CATS - Programa de Capacitação Avançada em Tecnologia de Software. 1993. (Curso de curta duração ministrado/Outra).
62.   DELAMARO, M. E. ; MALDONADO, J. C. . Uma Visão sobre a Aplicação da Análise de Mutantes. 1993. (Desenvolvimento de material didático ou instrucional - Nota Didática).
63.   MALDONADO, J. C. . Caderno de Ferramentas do VII SBES- Simpósio Brasileiro de Engenharia de Software. 1993. (Editoração/Anais).
64.   MALDONADO, J. C. . Teste de Software. 1991. (Curso de curta duração ministrado/Extensão).
65.   MALDONADO, J. C. . Engenharia de Requisitos e Teste de Software. 1991. (Curso de curta duração ministrado/Outra).
66.   MALDONADO, J. C. . Teste de Software. 1991. (Curso de curta duração ministrado/Outra).
67.   MALDONADO, J. C. . Atividades de Teste e Validação na Produção de Software. 1989. (Curso de curta duração ministrado/Extensão).
68.   MALDONADO, J. C. ; CHAIM, M. L. ; JINO, M. . Feasible Potential Uses Criteria Analysis. 1989. (Relatório de pesquisa).
69.   MALDONADO, J. C. ; CHAIM, M. L. ; JINO, M. . Resultados do Estudo de Uma Família de Critérios de Seleção de Casos de Testes Baseada Em Fluxo de Dados. 1988. (Relatório de pesquisa).
70.   MALDONADO, J. C. . Curso de Especialização em Computação. 1987. (Curso de curta duração ministrado/Especialização).
71.   MALDONADO, J. C. . Curso de Especialização em Computação. 1986. (Curso de curta duração ministrado/Especialização).
72.   BIANCHI NETO, ; MALDONADO, J. C. ; MISSAWA, M. ; MENDES, R. A. . Documenção Técnica do Hardware da Plataforma de Coleta de Dados PPCD/ERI. 1986. (Relatório de pesquisa).
73.   MALDONADO, J. C. ; SANTANA, M. J. ; SANTANA, R. H. C. ; PENTEADO, R. A. D. . Introdução À Programação Estruturada com Basic e Fortran. 1985. (Desenvolvimento de material didático ou instrucional - Publicação Interna).
74.   MALDONADO, J. C. ; MISSAWA, M. ; MENDES, R. A. . Aspectos Relevantes do Hardware que Visam a Elaboboração do Software da Plataforma de Coleta de Dados PPCD/ERI-Nov/85. 1985. (Relatório de pesquisa).
75.   MALDONADO, J. C. ; CEREDA, R. L. D. . INTE - Interface de Testes Estáticos. 1985. (Relatório de pesquisa).
76.   MALDONADO, J. C. ; CEREDA, R. L. D. . Aspectos da Integração do Monitor de Testes para Sistemas de Supervisão de Bordo - MTSB em um Banco de Testes. 1985. (Relatório de pesquisa).
77.   MALDONADO, J. C. ; et al. . BPISB - Padronização de um Barramento para Microcomputadores. 1984. (Relatório de pesquisa).
78.   MALDONADO, J. C. . A Comparative Study of Link Protocols for the Spar on Board Modular Microcomputer. 1984. (Relatório de pesquisa).
79.   PAULA, A. R. ; MALDONADO, J. C. ; et al. . Síntese do Padrão INPE de Supervisão de Bordo (PISB) Aplicada À MECB1:Estado Geral do Projeto em Setembro de 1983. 1984. (Relatório de pesquisa).
80.   BERGAMINI, E. W. ; MALDONADO, J. C. ; et al. . Relatório de Atividades do Programa Sistemas Digitais e Analógicos PSDA (DCA/INPE), Período 07/81-12/82. 1984. (Relatório de pesquisa).
81.   CEREDA, R. L. D. ; MALDONADO, J. C. . S-Micro - Sistema para Simulação de Unidade de Controle Microprogramada. 1984. (Relatório de pesquisa).
82.   RIOS, A. N. ; MALDONADO, J. C. ; et al. . Análise de Problemas de Interface e Descrição Atualizada do Segmento Espacial da MECB/Coleta de Dados. 1983. (Relatório de pesquisa).
83.   DUTRA, L. S. V. ; MALDONADO, J. C. . O Sistema MT INPE. 1983. (Relatório de pesquisa).
84.   MALDONADO, J. C. ; BERGAMINI, E. W. . Um Sistema de Controle e Supervisão de Bordo para Aplicações em (Multi) Missões Espaciais. 1983. (Relatório de pesquisa).
85.   MENDES, R. A. ; MALDONADO, J. C. ; et al. . Missão Peroba I. 1982. (Relatório de pesquisa).
86.   MALDONADO, J. C. ; MENDES, R. A. . Manual de Operação do Programa Operacional Integrado (Poi) Para Comunicação entre Computadores Utilizados na Supervisão de Bordo da Missão Peroba I. 1981. (Desenvolvimento de material didático ou instrucional - DESENVOLVIMENTO OU GERACAO DE PRODUTO COM OU SEM PATENTE OBTIDA).
87.   MALDONADO, J. C. ; MENDES, R. A. . Um Sistema de Supervisão de Bordo para Aplicações em Missões Espaciais. 1981. (Relatório de pesquisa).

Tese de doutorado (8)

1.   Katia Romero Felizardo. Engenharia de Software Experimental: Processo de Revisão Sistemática com base em Mineração Visual de Texto e Ontologias. Início: 2008. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Orientador: Jose Carlos Maldonado.
2.   Marco Aurélio Graciotto Silva. Investigação sobre o processo de desenvolvimento de objetos de aprendizagem para plataformas multimídias e interativas. Início: 2008. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, União Européia - Information Society Technologies.
Orientador: Jose Carlos Maldonado.
3.   Edson Alves de Oliveira Junior. Um bancada experimental para linha de produto de software. Início: 2006. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
Orientador: Jose Carlos Maldonado.
4.   Viviane Malheiros de Pinho. Gestão de Conhecimento para Definição e Melhoria de Processos de Teste. Início: 2006. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
Orientador: Jose Carlos Maldonado.
5.   Ricardo José Martins Ribeiro. Processo de Desenvolvimento/Reegenharia de Aplicações em Mobilidade. Início: 2005. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
Orientador: Jose Carlos Maldonado.
6.   Erika Nina Höhn. Um framework de estudos experimentais em técnicas de verificação, validação e teste no contexto de orientação a objeto e a aspecto. Início: 2005. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
Orientador: Jose Carlos Maldonado.
7.   André Luís dos Santos Domingues. Aplicações Web: Definição e Análise de Recursos de Teste e Validação. Início: 2004. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
Orientador: Jose Carlos Maldonado.
8.   Fabiano Cutigi Ferrari. Apoio ao Teste Estrutural e de Mutao de Software Orientado a Objetos e a Aspectos . Início: 2004. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Fundação de Amparo À Pesquisa do Estado de São Paulo.
Orientador: Jose Carlos Maldonado.

Dissertação de mestrado (3)

1.   Diogo Nascimento Campanha. Investigação da Efetividade do Teste de Mutação no contexto de Programas de Estruturas de Dados Procedimentais e Orientado a Objetos. Início: 2008. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
Orientador: Jose Carlos Maldonado.
2.   Rafael Messias Martins. Evolução da Ferramenta PEx para Apoio À Revisão Sistemática. Início: 2008. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
Orientador: Jose Carlos Maldonado.
3.   Flávio Dusse. Avaliação de Custo e Eficácia de Critérios de Testes de Máquinas de Estados Finitos. Início: 2007. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
Orientador: Jose Carlos Maldonado.

Tese de doutorado (15)

1.   Elisa Yumi Nakagawa. Software livre: processo e produto livres no desenvolvimento de aplicações Web. 2006. 0 f. Tese (Doutorado em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, .
Orientador: Jose Carlos Maldonado.
2.   Rogério Eduardo Garcia. VIDAese: processo de visualização exploratória para apoio a estudos empíricos em verificação, validação e teste de software. 2006. 0 f. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, .
Co-Orientador: Jose Carlos Maldonado.
3.   Tatiana Sugeta. Uma contribuição para o teste de especificação SDL : aspectos teóricos e empíricos. 2005. 0 f. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, .
Orientador: Jose Carlos Maldonado.
4.   Maria Istela Cagnin. PARFAIT: uma contribuição para a reengenharia de software baseada em linguagens de padrões e frameworks. 2005. 0 f. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, .
Orientador: Jose Carlos Maldonado.
5.   Ellen Francine Barbosa. Uma contribuição ao processo de desenvolvimento e modelagem de módulos educacionais. 2004. 270 f. Tese (Doutorado em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, .
Orientador: Jose Carlos Maldonado.
6.   Auri Marcelo Rizzo Vincenzi. Orientação a objeto: definição, implementação e análise de recursos de teste e validação. 2004. 218 f. Tese (Doutorado em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, .
Orientador: Jose Carlos Maldonado.
7.   Adenilso da Silva Simão. Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas. 2004. 0 f. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, .
Orientador: Jose Carlos Maldonado.
8.   Marcos Lordello Chaim. Depuração de Programas Baseada em Informação de Teste Estrutural. 2001. 0 f. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior.
Co-Orientador: Jose Carlos Maldonado.
9.   Simone R S Souza. Validação de Especificações de Sistemas Reativos: Definição e Análise de Critérios de Teste. 2000. 0 f. Tese (Doutorado em Física Computacional) - Universidade de São Paulo, .
Orientador: Jose Carlos Maldonado.
10.   Edmundo S Spoto. Teste Estrutural de Programas de Aplicação de Banco de dados Relacional. 2000. 0 f. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas, .
Co-Orientador: Jose Carlos Maldonado.
11.   Plínio R S Vilela. Critérios Potenciais Usos de Integração: Definição e Análise. 1998. 0 f. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas, .
Co-Orientador: Jose Carlos Maldonado.
12.   A.N. CRESPO. Modelos de Confiabilidade de Software Baseados em Cobertura de Critérios Estruturais de Teste. 1997. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas, .
Co-Orientador: Jose Carlos Maldonado.
13.   M.E. DELAMARO. Mutação de Interface: Um Critério de Adequação Interprocedimental para o Teste de Integração. 1997. 0 f. Tese (Doutorado em Física Computacional) - Universidade de São Paulo, .
Orientador: Jose Carlos Maldonado.
14.   Siliva R Vergílio. Critérios Restritos: Uma Contribuição para aprimorar a Eficácia da Atividade de Teste de Software. 1997. 0 f. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas, .
Orientador: Jose Carlos Maldonado.
15.   Sandra C P F Fabbri. A Análise de Mutantes no Contexto de Sistemas Reativos: Uma Contribuição para o Estabelecimento de Estratégias de Teste e Validação. 1996. 0 f. Tese (Doutorado em Física Computacional) - Universidade de São Paulo, .
Orientador: Jose Carlos Maldonado.

Dissertação de mestrado (29)

1.   Marcella Letícia de Souza Costa. Portal de conhecimento sobre critérios, estratégias, técnicas e ferramentas de teste de aplicações web. 2008. 0 f. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, .
Orientador: Jose Carlos Maldonado.
2.   Sandro Lopes Bianchini. Avaliação de métodos de desenvolvimento de aplicações web. 2008. 0 f. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Fundação de Amparo À Pesquisa do Estado de São Paulo.
Orientador: Jose Carlos Maldonado.
3.   Ubirajara Pacheco Maltez Jr. ExpVVT: Uma ferramenta de apoio À condução de experimentos baseados em documentos de requisitos. 2006. 0 f. Dissertação (Mestrado em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Fundação de Amparo À Pesquisa do Estado de São Paulo.
Orientador: Jose Carlos Maldonado.
4.   Camila Kozlowski Della Corte. Ensino integrado de teste de software e de fundamentos de programação. 2006. 0 f. Dissertação (Mestrado em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Fundação de Amparo À Pesquisa do Estado de São Paulo.
Orientador: Jose Carlos Maldonado.
5.   Thaise Yano. Estudo do teste de mutação em programas funcionais SML. 2004. 0 f. Dissertação (Mestrado em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, .
Orientador: Jose Carlos Maldonado.
6.   Erika Nina Höhn. Técnicas de leitura de especificação de requisitos de software: estudos empíricos e gerência de conhecimento em ambientes acadêmico e industrial. 2003. 0 f. Dissertação (Mestrado em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, .
Orientador: Jose Carlos Maldonado.
7.   André Luiz de Castro Villas Boas. Gestão de Configuração para Teste de Software. 2003. 0 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas, .
Orientador: Jose Carlos Maldonado.
8.   André Luis dos Santos Domingues. Avaliação de Critérios e Ferramentas de Teste para Programas OO. 2002. 78 f. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Orientador: Jose Carlos Maldonado.
9.   Percy Antonio Pari Salas. Estratégias de Teste e Validação no Contexto de Decompilação. 2002. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, .
Orientador: Jose Carlos Maldonado.
10.   Vangrei Fonseca Simão. Definição de Mecanismos para Avaliação da Qualidade de Produtos de Software. 2001. 0 f. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Orientador: Jose Carlos Maldonado.
11.   Emerson Silas Dória. Replicação de Estudos Empíricos em Engenharia de Software. 2001. 154 f. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, .
Orientador: Jose Carlos Maldonado.
12.   Adenilso S Simão. PROTEUM-RS/PN: Uma Ferramenta para a Validação de Redes de Petri baseada na Análise de Mutantes. 2000. 0 f. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Fundação de Amparo À Pesquisa do Estado de São Paulo.
Orientador: Jose Carlos Maldonado.
13.   Tatiana Sugeta. Proteum-RS/ST: Uma Ferramenta para Apoiar a Validação de Especificações Statecharts baseada na Análise de Mutantes. 1999. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Fundação de Amparo À Pesquisa do Estado de São Paulo.
Orientador: Jose Carlos Maldonado.
14.   Cristiane Sonia Arroyo. Um Método para Avaliação/Seleção da Qualidade de Pacotes de Software na área de Sistemas de Informação. 1999. 0 f. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, .
Orientador: Jose Carlos Maldonado.
15.   Luciana A F Martimiano. Estudos de Técnicas de Teste de Regressão Baseado em Mutação Seletiva. 1999. 0 f. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Fundação de Amparo À Pesquisa do Estado de São Paulo.
Orientador: Jose Carlos Maldonado.
16.   Sandra Ferrari. Integração da Ferramenta de Teste de Software POKE-TOOL em Ambientes de Engenharia de Software. 1998. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas, .
Orientador: Jose Carlos Maldonado.
17.   E.F. BARBOSA. Uma Contribuição para Determinacao de um Conjunto Essencial de Operadores de Mutacao no Teste de Programas C. 1998. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Orientador: Jose Carlos Maldonado.
18.   Auri Marcelo Rizzo Vincenzi. Subsídios para o Estabelecimento de Estratégias de Teste Baseadas na Técnica de Mutação. 1998. 0 f. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Orientador: Jose Carlos Maldonado.
19.   Elisa Y Nakagawa. Um Sistema de Injeção de Defeitos de Software Baseado em Operadores de Mutação. 1998. 0 f. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, .
Orientador: Jose Carlos Maldonado.
20.   Marcelo Morandini. Subsídios para o Teste de Software Orientados a Objetos: Definição e Mapeamento de Programas C++ para a Li++. 1996. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, .
Orientador: Jose Carlos Maldonado.
21.   Simone do Rocio Senger de Souza. Avaliação do Custo e Eficácia do Critério Análise de Mutantes na Atividade de Teste Programas. 1996. 0 f. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, .
Orientador: Jose Carlos Maldonado.
22.   K.K. NAKAZATO. Módulo de Geração de Sequências de Teste Baseada em Máquinas de Estado Finito. 1995. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, .
Orientador: Jose Carlos Maldonado.
23.   Jose Craveiro da Costa Neto. Teste Estrutural Baseado em Fluxo de Dados de Programas Concorrentes. 1995. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, .
Orientador: Jose Carlos Maldonado.
24.   Maria das Gracas Junqueira Machado Tomazella. Avaliação do Custo de Aplicação dos Critérios Potenciais Usos no Teste de Programas Cobol. 1995. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, .
Orientador: Jose Carlos Maldonado.
25.   Plínio R S Vilela. Uma Ferramenta para Auxílio Visual ao Teste e Depuração de Programas. 1994. 0 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas, .
Co-Orientador: Jose Carlos Maldonado.
26.   Rubens Pontes da Fonseca. Suporte ao Teste de Programas Fortram no Ambiente Poke-Tool. 1993. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas, .
Orientador: Jose Carlos Maldonado.
27.   M.E. DELAMARO. PROTEUM: Um Ambiente de Teste Baseado na Análise de Mutantes. 1993. 0 f. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, .
Orientador: Jose Carlos Maldonado.
28.   Plinio de Sa Leitao Junior. Suporte ao Teste de Programas Cobol no Ambiente Poke-Tool. 1992. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas, .
Co-Orientador: Jose Carlos Maldonado.
29.   Silvia R Vergílio. Caminhos Não-Executáveis: Caracterização, Previsão e Determinação para Suporte ao Teste de Programas. 1992. 0 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas, .
Co-Orientador: Jose Carlos Maldonado.

Trabalho de conclusão de curso de graduação (4)

1.   Daniel Alves Sant'ana. Geração de Sequências de Teste Baseadas no Teste de Mutação no contexto de Sistema Reativos. 1999. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciências de Computação) - Universidade de São Paulo.
Orientador: Jose Carlos Maldonado.
2.   Luciana F Pailo. Validação e Teste de Sistemas de Operação do CPqD/Telebrás. 1995. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciências de Computação) - Universidade de São Paulo.
Orientador: Jose Carlos Maldonado.
3.   Elisa Y Nakagawa. Projeto e Implementação de um Sistema de Help para a Ferramenta PROTEUM. 1994. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciências de Computação) - Universidade de São Paulo.
Orientador: Jose Carlos Maldonado.
4.   Ana Cláudia Rossi. TCS minimum - Ferramenta de Minimização de Massa de Teste. 1993. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciências de Computação) - Universidade de São Paulo.
Orientador: Jose Carlos Maldonado.

Iniciação científica (26)

1.   Thiago Bianchi. Apoio ao Projeto e Implementao de um Sistema Web para Gesto de Acervos Histricos. 2005. 0 f. Iniciação Científica. (Graduando em Ciências de Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Orientador: Jose Carlos Maldonado.
2.   Sandro Lopes Bianchini. Disponibilização de ferramentas de teste de software via Web. 2004. 0 f. Iniciação Científica. (Graduando em Ciências de Computação) - Universidade de São Paulo, Fundação de Amparo À Pesquisa do Estado de São Paulo.
Orientador: Jose Carlos Maldonado.
3.   Fabiano Cutigi Ferrari. Desenvolvimento de um ambiente Web livre para suporte ao processo de software. 2004. 0 f. Iniciação Científica. (Graduando em Ciências de Computação) - Universidade de São Paulo.
Orientador: Jose Carlos Maldonado.
4.   Alessandra Chan. Estudo e aplicação de um processo de reengenharia em sistemas legados. 2004. 0 f. Iniciação Científica. (Graduando em Ciências de Computação) - Universidade de São Paulo.
Orientador: Jose Carlos Maldonado.
5.   Daniel Alves Sant'ana. Teste e Validação de Sistemas Reativos. 1996. 0 f. Iniciação Científica. (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Orientador: Jose Carlos Maldonado.
6.   Marcelo Soares Vilhanueva. Teste e Validação de Sistemas Reativos. 1996. 0 f. Iniciação Científica. (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo.
Orientador: Jose Carlos Maldonado.
7.   Rosana Hiromi Hayashi. Uma Ferramenta de Software para Auxílio ao Desenvolvimento de Hiperdocumentos. 1996. 0 f. Iniciação Científica. (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Orientador: Jose Carlos Maldonado.
8.   Christian Marcus de Lima. Uma Ferramenta de Software para Auxílio ao Desenvolvimento de Hiperdocumentos. 1995. 0 f. Iniciação Científica. (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Orientador: Jose Carlos Maldonado.
9.   Pábio Yoki Tokura. Estudo e Implementação de Ferramentas de Teste para a Aplicação da Análise de Mutantes na Produção de Software. 1995. 0 f. Iniciação Científica. (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Orientador: Jose Carlos Maldonado.
10.   Janaína Cóffani. Estudo e Implementação de Ferramentas de Teste para a Aplicação da Análise de Mutantes na Produção de Software. 1995. 0 f. Iniciação Científica. (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Orientador: Jose Carlos Maldonado.
11.   Karina Nogueira Borges. Estudos Empíricos de Critérios de Teste, com ênfase nos Critérios Potenciais Usos Utilizando a POKE-TOOL versão Clipper. 1995. 0 f. Iniciação Científica. (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Orientador: Jose Carlos Maldonado.
12.   Luciana F Pailo. Estudos Empíricos de Critérios de Teste, com ênfase no Critério Análise de Mutantes, na área de Análise Numérica. 1995. 0 f. Iniciação Científica. (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Orientador: Jose Carlos Maldonado.
13.   Osnete Ribeiro de Souza. Estudos Empíricos de Critérios de Teste, com ênfase no Critério de McCabe. 1995. 0 f. Iniciação Científica. (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Orientador: Jose Carlos Maldonado.
14.   Christian Marcus de Lima. Uma Ferramenta de Software para Auxílio ao Desenvolvimento de Hiperdocumentos. 1995. 0 f. Iniciação Científica. (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Orientador: Jose Carlos Maldonado.
15.   André Ricardo Campos. Estudo Teórico e Aplicado de Critérios de Teste na Produção de Software. 1994. 0 f. Iniciação Científica. (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Orientador: Jose Carlos Maldonado.
16.   Cássio Minoru Yrozuya. Estudo Teórico e Aplicado de Critérios de Teste Baseados em Análise de Fluxo de Dados na Produção de Software. 1994. 0 f. Iniciação Científica. (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Orientador: Jose Carlos Maldonado.
17.   Luciana F Pailo. Estudo Teórico e Aplicado de Critérios de Teste Baseados em Análise de Fluxo de Dados na Produção de Software. 1994. 0 f. Iniciação Científica. (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Orientador: Jose Carlos Maldonado.
18.   Osnete Ribeiro de Souza. Estudo Teórico e Aplicado de Critérios de Teste Baseados em Análise de Fluxo de Dados na Produção de Software. 1994. 0 f. Iniciação Científica. (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Orientador: Jose Carlos Maldonado.
19.   Karina Nogueira Borges. Estudo Teórico e Aplicado de Critérios de Teste Baseados em Análise de Fluxo de Dados na Produção de Software. 1994. 0 f. Iniciação Científica. (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Orientador: Jose Carlos Maldonado.
20.   Márcio Alexandrino. Visualização de Mutantes de Máquinas de Estado Finito Baseada no Ambiente Statsim. 1994. 0 f. Iniciação Científica. (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Fundação de Amparo À Pesquisa do Estado de São Paulo.
Orientador: Jose Carlos Maldonado.
21.   Gilsa Helena Pereira Gregório. Estudo e Implementação de Métricas de Software no Ambiente POKE-TOOL. 1993. 0 f. Iniciação Científica. (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Orientador: Jose Carlos Maldonado.
22.   Ana Cláudia Rossi. Estudo Teórico e Aplicado de Critérios de Teste Baseados em Análise de Fluxo de Dados na Produção de Software. 1993. 0 f. Iniciação Científica. (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo.
Orientador: Jose Carlos Maldonado.
23.   Lurdes Akie Kuroki. Estudo Teórico e Aplicado de Critérios de Teste Baseados em Análise de Fluxo de Dados na Produção de Software. 1993. 0 f. Iniciação Científica. (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Orientador: Jose Carlos Maldonado.
24.   Fernando Santos Ramos. Configuração da Ferramenta de Teste POKE-TOOL para Clipper. 1993. 0 f. Iniciação Científica. (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Fundação de Amparo À Pesquisa do Estado de São Paulo.
Orientador: Jose Carlos Maldonado.
25.   Ana Cláudia Rossi. Aplicação e Estudos Comparativos de Critérios Baseados em Análise de Fluxo de Dados. 1992. 0 f. Iniciação Científica. (Graduando em Ciências de Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Orientador: Jose Carlos Maldonado.
26.   Fernando Santos Ramos. Estudo Teórico e Aplicado de Critérios de Teste Baseados em Análise de Fluxo de Dados na Produção de Software. 1992. 0 f. Iniciação Científica. (Graduando em Ciência da Computação Icmc São Carlos) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Orientador: Jose Carlos Maldonado.

Data de processamento: Terça, 04/05/2010 16:24:53