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

Membro: Adenilso da Silva Simão

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. Saocarlense, 400 Centro 13560-970 - Sao Carlos, SP - Brasil - Caixa-Postal: 668
Telefone: (16) 2739375

Artigos completos publicados em periódicos (11)

1.	Simao, A. ; PETRENKO, A. . Checking Completeness of Tests for Finite State Machines. I.E.E.E. Transactions on Computers (Print), v. 1, p. 1, 2010.
2.	Simao, A. ; PETRENKO, A. ; MALDONADO, J. C. . Comparing finite state machine test coverage criteria. IET Software (Print), v. 3, p. 91-105, 2009.
3.	Simao, A. ; MALDONADO, J. C. ; BIGONHA, R. S. . A transformational language for mutant description. Computer Languages, Systems & Structures, v. 35, p. 322-339, 2009.
4.	Simao, A. ; PETRENKO, A. . Fault Coverage-Driven Incremental Test Generation. Computer Journal, p. 1-15, 2009.
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.	SOUZA, S. R. S. ; VERGILIO, S. R. ; SOUZA, P. S. L. ; Simao, A. ; HAUSEN, A. C. . Structural testing criteria for message-passing parallel programs. Concurrency and Computation. Practice & Experience, v. 20, p. 1893-1916, 2008.
7.	Simao, A. ; MELLO, R. F. ; SENGER, L. J. ; Yang, Laurence T. . Improving regression testing performance using the Adaptive Resonance Theory-2A self-organising neural network architecture. International Journal of Autonomous and Adaptive Communications Systems, v. 1, p. 370-385, 2008.
8.	VINCENZI, A. M. R. ; DELAMARO, M. E. ; Simao, A. ; MALDONADO, J. C. . Muta-Pro: Towards the Definition of a Mutation Testing Process. Journal of the Brazilian Computer Society (Impresso), v. 12, p. 47-61, 2006.
9.	Simao, A. ; MALDONADO, J. C. ; VINCENZI, A. M. R. ; SANTANA, A. C. L. . A Language for the Description of Program Instrumentation and Automatic Generation of Instrumenters. CLEI Electronic Journal, Chile, v. 6, n. 1, p. 1, 2003.
10.	Simao, A. ; SUGETA, T. ; MALDONADO, J. C. ; MONARD, M. C. . Prolog & TXL: A Case Study for Prototyping Structural Testing Supporting Tools. Clei Eletronic Journal, v. 5, n. 1, p. 1-10, 2002.
11.	Simao, A. ; MALDONADO, J. C. . MuDeL: a Language and a System for Describing and Generating Mutants. Journal of the Brazilian Computer Society (Impresso), v. 8, n. 1, p. 73-86, 2002.

Capítulos de livros publicados (1)

1.	Simao, A. . Teste Baseado em Modelos. In: Marcio Eduardo Delamaro; José Carlos Maldonado; Mario Jino. (Org.). Introdução ao Teste de Software. Rio de Janeiro: Elsivier, 2007, v. , p. 27-46.

Trabalhos completos publicados em anais de congressos (43)

1.	Simao, A. ; PETRENKO, A. . Checking Sequence Generation Using State Distinguishing Subsequences. In: 5th Workshop on Advances in Model Based Testing, 2009, Denver, CO. 5th Workshop on Advances in Model Based Testing, 2009. v. 1. p. 1-10.
2.	ALBERTO, A. ; Simao, A. . Minimization of Incompletely Specified Finite State Machines Based on Distinction Graphs. In: Latin-American Test Workshop, 2009, Buzios, RJ. Proceedings of the 10th Latin-American Test Workshop. v. 1. p. 1-6.
3.	Simao, A. ; PETRENKO, A. ; Yevtushenko, N. . Generating Reduced Tests for FSMs with Extra States. In: TestCom/Fates, 2009, Eidenhoven, Holanda. 21st IFIP Int. Conference on Testing of Communicating Systems and the 9th Int. Workshop on Formal Approaches to Testing of Software. Berlin : Springer, 2009. v. 1. p. 129-147.
4.	Dusse, F. ; Simao, A. ; MALDONADO, J. C. . Análise de Mutantes Aplicada a Critérios de Cobertura de Teste a partir de MEFs. In: SBMF/SAST, 2009, Gramado, RS. III Workshop Brasileiro de Teste de Software Sistemático e Automatizado. Porto Alegre, RS : Sociedade Brasileira de Computação, 2009. v. 1. p. 41-50.
5.	RIBEIRO, Paulo Henrique ; CUTIGI, Jorge Francisco ; Simao, A. . Geração de Seqüências de Verificação baseada em Algoritmos Genéticos. In: SBMF/SAST, 2009, Gramado, RS. III Workshop Brasileiro de Teste de Software Sistemático e Automatizado. Porto Alegre, RS : Sociedade Brasileira de Computação, 2009. v. 1. p. 61-70.
6.	MELLO NETO, Lucio Felipe de ; Simao, A. . Test Suite Minimization Based on FSM Completeness Sufficient Conditions. In: 9th IEEE Latin-American Test Workshop, 2008, Puebla, Mexico. Proceedings of 9th IEEE Latin-American Test Workshop, 2008. v. 1. p. 93-98.
7.	SOUZA, P. S. L. ; SAWABE, E. T. ; Simao, A. ; SOUZA, S. R. S. ; VERGILIO, S. R. . ValiPVM - A Graphical Tool for Structural Testing of PVM Programs. In: Euro PVM/MPI 2008, 2008, Dublin. Proceedings of Euro PVM/MPI 2008, 2008. v. 1. p. 257-264.
8.	ENDO, A. T. ; Simao, A. ; SOUZA, S. R. S. ; SOUZA, P. S. L. . Web Services Composition Testing: A Strategy Based on Structural Testing of Parallel Programs. In: TaicPart: Testing Academic & Industrial Conference - Practice and Research Techniques, 2008, Windsor, UK. TaicPart: Testing Academic & Industrial Conference - Practice and Research Techniques, 2008. v. 1. p. 3-12.
9.	SARMANHO, F. S. ; SOUZA, P. S. L. ; SOUZA, S. R. S. ; Simao, A. . Structural Testing for Semaphore-Based Multithread Programs. In: International Conference on Computer Science, 2008, 2008, Kraków, POLAND. Proceedings of International Conference on Computer Science. Berlin : Springer, 2008. v. 1. p. 337-346.
10.	Simao, A. ; PETRENKO, A. . Generating Checking Sequences for Partial Reduced Finite State Machines. In: 20th IFIP Int. Conference on Testing of Communicating Systems (TESTCOM), 2008, Tokyo, Japão. Proceedings of 20th IFIP Int. Conference on Testing of Communicating Systems (TESTCOM). Berlin : Springer, 2008. v. 1. p. 153-168.
11.	BONIFACIO, A. L. ; MOURA, A. ; Simao, A. . A Generalized Model-based Test Generation Method. In: 6th IEEE International Conferences on SOFTWARE ENGINEERING AND FORMAL METHODS, 2008, Cape Town, Africa do Sul. Proceedings of 6th IEEE International Conferences on SOFTWARE ENGINEERING AND FORMAL METHODS, 2008. v. 1. p. 139-148.
12.	HAUSEN, A. C. ; VERGILIO, S. R. ; SOUZA, S. R. S. ; SOUZA, P. S. L. ; Simao, A. . A Tool for Structural Testing of MPI Programs. In: LAtin-American Test Workshop - LATW, 2007, 2007, Cuzco, Peru. 8th IEEE LAtin-American Test Workshop, 2007. p. 1-1.
13.	NAKAGAWA, E. Y. ; Simao, A. ; MALDONADO, J. C. . Addressing Separation of Concerns in Software Engineering Environments. In: The IASTED International Conference on Software Engineering, 2007, 2007, Innsbruck, Austria. Proc. of The IASTED International Conference on Software Engineering, 2007. v. 1. p. 1-6.
14.	NAKAGAWA, E. Y. ; Simao, A. ; FERRARI, Fabiano Cutigi ; MALDONADO, Jose Carlos . Towards a Reference Architecture for Software Testing Tools. In: The Nineteenth International Conference on Software Engineering and Knowledge Engineering, 2007, Boston, USA. Proc. of The Nineteenth International Conference on Software Engineering and Knowledge Engineering, 2007. v. 1. p. 1-6.
15.	Simao, A. ; PETRENKO, A. ; MALDONADO, J. C. . Experimental Evaluation of Coverage Criteria for FSM-based Testing. In: Simposio Brasileiro de Engenharia de Software, 2007, João Pessoa, PB. Anais do Simpósio Brasileiro de Engenharia de Software, 2007. p. 359-376.
16.	ENDO, A. T. ; Simao, A. ; SOUZA, S. R. S. ; SOUZA, P. S. L. . Aplicação de Teste Estrutural para Composição de Web Services. In: Brazilian Workshop on Systematic and Automated Software Testing, 2007, João Pessoa, PB. Brazilian Workshop on Systematic and Automated Software Testing, 2007. p. 13-20.
17.	MELLO NETO, Lucio Felipe de ; Simao, A. . Minimização de Conjuntos de Casos de Teste por meio de Condições de Suficiência. In: Brazilian Workshop on Systematic and Automated Software Testing, 2007, João Pessoa, PB. Brazilian Workshop on Systematic and Automated Software Testing, 2007. p. 55-62.
18.	SARMANHO, F. S. ; SOUZA, P. S. L. ; SOUZA, S. R. S. ; Simao, A. . Aplicação de Teste Estrutural para Programas Multithreads Baseados em Semáforos. In: 19th International Symposium on Computer Architecture and High Performance Computing - 1st Workshop on Languages and Tools for Parallel and Distributed Programing (LTPD2007), 2007, Granado, RS. 19th International Symposium on Computer Architecture and High Performance Computing - 1st Workshop on Languages and Tools for Parallel and Distributed Programing (LTPD2007), 2007. v. 1. p. 18-21.
19.	BONIFACIO, A. L. ; Simao, A. ; 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, RN. Simpósio Brasileiro de Métodos Formais. v. 1. p. 43-58.
20.	Simao, A. ; SOUZA, E. P. ; MONACO, F. J. ; MARTIMIANO, L. A. F. . Multidisciplinaridade com o uso de Jogos Eletrônicos. In: XIV Workshop sobre Educação em Computação, 2006, Campo Grande, MS. XIV Workshop sobre Educação em Computação. v. 1. p. 196-205.
21.	Simao, A. ; MELLO, R. F. ; SENGER, L. J. . A Technique to Reduce the Test Case Suites for Regression Testing Based on a Self-Organizing Neural Network Architecture. In: 30th Annual International Computer Software and Applications Conference, 2006, Chicago, USA. 30th Annual International Computer Software and Applications Conference. v. 1. p. 1-4.
22.	HAUSEN, A. C. ; VERGILIO, S. R. ; SOUZA, S. R. S. ; SOUZA, P. S. L. ; Simao, A. . ValiMPI: Uma Ferramenta para o Teste de Programas Paralelos. In: Simpósio Brasileiro de Engenharia de Software, 2006, Florianópolis, SC. Sessão de Ferramentas - Simpósio Brasileiro de Engenharia de Software, 2006. v. 1. p. 1-6.
23.	VINCENZI, A. M. R. ; DELAMARO, M. E. ; Simao, A. ; MALDONADO, J. C. . Muta-Pro: Towards the Definition of a Mutation Testing Process. In: 6th Latin-american test workshop (LATW'05), 2005, Salvador, BA. 6th Latin-american test workshop (LATW'05), 2005. v. 1. p. 149-154.
24.	SOUZA, S. R. S. ; VERGILIO, S. R. ; SOUZA, P. S. L. ; Simao, A. ; GONCALVES, T. B. ; LIMA, A. M. ; HAUSEN, A. C. . ValiPar: A Testing Tool for Message-Passing Parallel Programs. In: International Conference on Software Engineering and Knowledge Engineering, 2005, Taipen, Taiwan. Proceedings of the XVII International Conference on Software Engineering and Knowledge Engineering, 2005. v. 1. p. 386-392.
25.	ROCHA, A. D. ; Simao, A. ; MALDONADO, J. C. ; MASIERO, Paulo Cesar . Uma ferramenta baseada em aspectos para o teste funcional de programas Java. In: Simposio Brasileiro de Engenharia de Software, 2005, Uberlandia, MG. Anais do 19o Simposio Brasileiro de Engenharia de Software, 2005. v. 1. p. 263-278.
26.	Simao, A. ; AMBROSIO, A. M. ; FABBRI, S. C. P. F. ; AMARAL, A. S. ; MARTINS, E. ; MALDONADO, J. C. . Plavis/FSM: an Environment to IntegrateFSM-based Testing Tools. In: Sessão de Ferramentas do Simpósio Brasileiro de Engenharia de Software, 2005, Uberlândia, MG. Sessão de Ferramentas do Simpósio Brasileiro de Engenharia de Software, 2005. v. 1. p. 1-6.
27.	Simao, A. ; MALDONADO, J. C. . Sim/CPN: A Web-Based Simulator for Coloured Petri Nets. In: Sessão de Ferramentas do Simpósio Brasileiro de Engenharia de Software, 2005, Uberlândia. Sessão de Ferramentas do Simpósio Brasileiro de Engenharia de Software, 2005. v. 1. p. 1-6.
28.	MANGIAVACCHI, Norberto ; SANTIAGO, F. S. P. ; SOARES, C. B. P. ; Simao, A. . Object Oriented Methodology for the Numerical Modeling of Terrain Data for the Hydrodinamic Applications. In: VIII Encontro de Modelagem Computacional, 2005, Nova Friburgo, RJ. VIII Encontro de Modelagem Computacional, 2005. v. 1. p. 1-8.
29.	MONACO, F. J. ; Simao, A. ; SOUZA, E. P. ; MARTIMIANO, L. A. F. ; MONACO, F. . Desenvolvimento de Jogos Eletrônicos no Ensino de Computação: um caso de sucesso. In: Workshop de Jogos Digitais na Educação, XVI Simpósio Brasileiro de Informática na Educação, 2005, Juiz de Fora, MG. de Jogos Digitais na Educação, 2005. v. 1. p. 1-3.
30.	YANO, T. ; Simao, A. ; MALDONADO, J. C. . Estudo do Teste de Mutação para a Linguagem Standard ML. In: 30 TH CONFERENCIA LATINOAMERICANA DE INFORMáTICA, 2004, Arequipa/Peru. 30 TH CONFERENCIA LATINOAMERICANA DE INFORMáTICA, 2004. v. 1. p. 734-744.
31.	ROCHA, A. D. ; Simao, A. ; MALDONADO, J. C. ; MASIERO, Paulo Cesar . Teste Funcional: Uma abordagem Auxiliada por Aspectos. In: I Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos, 2004, Brasilia/DF. I Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos, 2004. v. 1. p. 1-12.
32.	Simao, A. ; SOUZA, S. R. S. ; MALDONADO, J. C. . A Family of Coverage Testing Criteria for Coloured Petri Nets. In: Simpósio Brasileiro de Engenharia de Software, 2003, Manaus. Anais do Simpósio Brasileiro de Engenharia de Software, 2003. v. 1. p. 209-224.
33.	YANO, T. ; Simao, A. ; MALDONADO, J. C. . Proteum/SML: Uma Ferramenta de Apoio ao Teste de Mutação para a Linguagem Standard ML. In: Simpósio Brasileiro de Engenharia de Software, 2003, Manaus. Anais do Simpósio Brasileiro de Engenharia de Software, 2003. v. 1. p. 1-6.
34.	Simao, A. ; 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, 2002. v. 1. p. 426-431.
35.	VINCENZI, A. M. R. ; DELAMARO, M. E. ; Simao, A. ; WONG, 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, 2002. v. 1. p. 414-419.
36.	DOMINGUES, A. L. S. ; Simao, A. ; 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, 2002. v. 1. p. 384-389.
37.	Simao, A. ; 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, 2002. v. 1. p. 4-19.
38.	Simao, A. ; 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. 1-12.
39.	Simao, A. ; MALDONADO, J. C. . MuDeL: A Language and a System for Describing and Generating Mutants. In: XV Simpósio Brasileiro de Engenharia de Software, 2001, Rio de Janeiro. Anais do XV Simpósio Brasileiro de Engenharia de Software, 2001. v. 1. p. 240-255.
40.	Simao, A. ; 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 Ingeniería del Software e Ingeniería del Conocimiento, 2001, Buenos Aires. Proceedings da 1a Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento, 2001. v. 1. p. 15-22.
41.	CANDOLO, M. A. P. ; Simao, A. ; MALDONADO, J. C. . MGASet - Uma ferramenta para Apoiar o Teste e Validação de Especificações Baseadas em Máquinas de Estado Finito. In: Caderno de Ferramentas do XV Simpósio Brasileiro de Engenharia de Software, 2001, Rio de Janeiro. Anais do XV Simpósio Brasileiro de Engenharia de Software, 2001. v. 1. p. 386-391.
42.	Simao, A. ; MALDONADO, J. C. . Proteum-RS/PN: Uma Ferramenta para Apoiar a Edição, Simulação e Validação de Redes de Petri Baseada no Teste de Mutação. In: XIV Simpósio Brasileiro de Engenharia de Software, 2000, João Pessoa. Caderno de Ferramentas do XIV Simpósio Brasileiro de Engenharia de Software, 2000. v. 1. p. 376-379.
43.	Simao, A. ; MALDONADO, J. C. . Mutation Based Test Sequence Generation for Petri Nets. In: III Workshop of Métodos Formais, 2000, João Pessoa. Anais do III Workshop of Métodos Formais, 2000. v. 1. p. 68-79.

Resumos expandidos publicados em anais de congressos (3)

1.	Simao, A. ; MALDONADO, J. C. . Coloured Petri Nets: Safety Analysis Using Mutation Testing. In: Latin American Symposium on Dependable Computing, 2003, São Paulo. Proceedings of the First Latin American Symposium on Dependable Computing, 2003. v. 1. p. 1-4.
2.	Simao, A. ; MALDONADO, J. C. ; FABBRI, S. C. P. F. . Proteum-RS/PN: A Tool to Support Edition, Simulation and Validation of Petri Nets based on Mutation Testing. In: XIV Simpósio Brasileiro de Engenharia de Software, 2000, João Pessoa. Anais do XIV Simpósio Brasileiro de Engenharia de Software, 2000. v. 1. p. 227-242.
3.	MALDONADO, J. C. ; DELAMARO, M. E. ; Simao, A. ; FABBRI, S. C. P. F. ; SUGETA, T. ; VINCENZI, A. M. R. ; MASIERO, Paulo Cesar . 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. v. 1. p. 146-149.

Resumos publicados em anais de congressos (2)

1.	CANDOLO, M. A. P. ; Simao, A. ; 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 Carlos. Anais Simpósio Internacional de Iniciação Científica da USP, 2000. v. 1. p. 8-8.
2.	Simao, A. ; GIMENES, I. M. S. . Refinamento de Especificações Formais de Sistemas em Lógica Modal de Ações. In: VI Encontro Anual de Iniciação Científica, 1997, Ponta Grossa. Anais do VI Encontro Anual de Iniciação Científica, 1997. v. 1. p. 24-24.

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

1.	Simao, A. ; VINCENZI, A. M. R. ; MALDONADO, J. C. ; SANTANA, A. C. L. . IDeL: A Language for Program Instrumentation 2002 (Cadernos de Computação do ICMC).
2.	Simao, A. ; MALDONADO, J. C. . Mutation-Based Test Sequence Generation for Petri Nets 2001 (Cadernos de Computação do ICMC).

Softwares sem registro de patente (1)

1.	SIMãO, A. S. . Proteum-RS/PN. 1999.

Trabalhos técnicos (22)

1.	SIMãO, A. S. . Revista de Informática Teórica e Aplicada. 2009.
2.	SIMãO, A. S. . Journal of Universal Computer Science. 2009.
3.	SIMãO, A. S. . Journal of Brazilian Computer Science. 2009.
4.	SIMãO, A. S. . IEEE Transactions on Software Engineering. 2009.
5.	SIMãO, A. S. . Software Testing, Verification and Reliability. 2009.
6.	SIMãO, A. S. . Science of Computer Programming. 2009.
7.	SIMãO, A. S. . Journal of Service Science and Management. 2009.
8.	SIMãO, A. S. . Journal of Brasilian Computer Society. 2003.
9.	SIMãO, A. S. . 2nd International Workshop on Software Engineering for Large-Scale Multi-Agent Systems. 2003.
10.	SIMãO, A. S. ; VINCENZI, A. M. R. ; MALDONADO, J. C. ; SANTANA, A. C. L. . Software Product Instrumentation Description. 2002.
11.	SIMãO, A. S. . Simpósio Brasileiro de Engenharia de Software 2002 (Seção de Ferramentas). 2002.
12.	SIMãO, A. S. . Simpósio Brasileiro de Engenharia de Software 2002. 2002.
13.	SIMãO, A. S. . Workshop de Desenvolvimento Baseado em Componentes. 2002.
14.	SIMãO, A. S. . Seminário Integrado de Software e Hardware. 2002.
15.	SIMãO, A. S. . Workshop de Desenvolvimento Baseado em Componentes. 2002.
16.	SIMãO, A. S. . Edição Especial do Lecture Notes on Computer Science. 2002.
17.	SIMãO, A. S. . ACM Symposium on Document Engineering. 2002.
18.	SIMãO, A. S. . International Symposium on Autonomous Decentralized Systems. 2002.
19.	SIMãO, A. S. . Simpósio Brasileiro de Engenharia de Software 2001 (Seção de Ferramentas). 2001.
20.	SIMãO, A. S. . International Symposium on Software Reliability Engineering 2001. 2001.
21.	SIMãO, A. S. . 1st International Workshop on Software Engineering for Large-Scale Multi-Agent Systems. 2001.
22.	SIMãO, A. S. . IEEE Transaction on Software Engineering. 2001.

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

1.	SIMãO, A. S. . Revista Eletrônica de Iniciação Científica. 2001.
2.	SIMãO, A. S. . HTML e PHP. 2002. (Curso de curta duração ministrado/Extensão).
3.	SIMãO, A. S. . Introducción al Test de Software. 2002. (Curso de curta duração ministrado/Extensão).
4.	SIMãO, A. S. . Introdução ao LaTeX. 2000. (Curso de curta duração ministrado/Extensão).

Tese de doutorado (1)

1.	Andre Takeshi Endo. Investigação de Teste Baseado em Máquinas de Estados Finitos Aplicado a Serviços Web. Início: 2009. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo. Orientador: Adenilso da Silva Simão.

Dissertação de mestrado (2)

1.	Jorge Francisco Cutigi. Investigacao de Melhorias em Metodos de Geracao de Casos de Teste a partir de Modelos. Início: 2008. 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: Adenilso da Silva Simão.
2.	Paulo Henrique Ribeiro. Investigacao de Heuristicas para a Geracao de Sequeencias de Veri cacao para Maquina de Estados Finitos. Início: 2008. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Adenilso da Silva Simão.

Dissertação de mestrado (3)

1.	Andre Endo. Teste de Composição de Web Services: Uma Estratégia Baseada em um Modelo de Teste de Programas Paralelos. 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: Adenilso da Silva Simão.
2.	Alex Alberto. Métodos de Geração de Casos de Teste a partir de Conjuntos Confimados. 2007. Dissertação (Mestrado em Mestrado em Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação, . Orientador: Adenilso da Silva Simão.
3.	Lucio Felipe de Mello Neto. Estrategia para a Reducao do Custo do Teste Baseado em Maquinas de Estados Finito. 2006. 0 f. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Adenilso da Silva Simão.

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

1.	Guilherme Botelho Diniz Junqueira. Determinação da Seqüência de Separação Mínima a partir de Casos de Teste Definidos. 2007. Trabalho de Conclusão de Curso. (Graduação em Bacharela Em Ciencias da Computacao) - Universidade de São Paulo. Orientador: Adenilso da Silva Simão.
2.	Fabiano Cutigi Ferrari. Uma Ferramenta para Extracao e Conversao de Informacoes de Curriculos Lattes. 2005. 0 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Informática) - Universidade de São Paulo. Orientador: Adenilso da Silva Simão.

Iniciação científica (6)

1.	José Augusto Stuchi. Investigação de um Algoritmo para a Determinação de Seqüências de Separação. 2007. Iniciação Científica. (Graduando em Engenharia de Computaçao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Adenilso da Silva Simão.
2.	Eduardo Roder Moreira. Teste de Regressao com o Apoio de Redes Neurais. 2006. 0 f. Iniciação Científica. (Graduando em Engenharia de Computaçao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Adenilso da Silva Simão.
3.	Jorge Francisco Cutigi. Investigaçao de Mecanismos para a Geraçao de Casos de Teste a Partir de Maquinas de Estados Finitos Parciais. 2005. 0 f. Iniciação Científica. (Graduando em Bacharelado em Informática) - Universidade de São Paulo, Fundação de Amparo À Pesquisa do Estado de São Paulo. Orientador: Adenilso da Silva Simão.
4.	Mario Sandos Camillo. Estudo e Definiçao de Mecanismos de Instrumentaçao para a Execuçao Controlada de Testes em Programas Paralelos. 2005. 0 f. Iniciação Científica. (Graduando em Engenharia de Computaçao) - Universidade de São Paulo, Fundação de Amparo À Pesquisa do Estado de São Paulo. Orientador: Adenilso da Silva Simão.
5.	Paulo Henrique Ribeiro. Desenvolvimento de um Parser para a Linguagem de Script do Simulador do Projeto Gesar. 2005. 0 f. Iniciação Científica. (Graduando em Bacharelado em Informática) - Universidade de São Paulo. Orientador: Adenilso da Silva Simão.
6.	Leonardo Filonones Teixeira. Implementacao de um Modulo para a Selecao de Casos de Teste para a Ferramenta Plavis/FSM. 2005. 0 f. Iniciação Científica. (Graduando em Engenharia de Computaçao) - Universidade de São Paulo, Fundação de Amparo À Pesquisa do Estado de São Paulo. Orientador: Adenilso da Silva Simão.

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