Rede de Colaboração
Diretório de grupos de pesquisa
SciELO - artigos em texto completo

Adenilso da Silva Simão
Bolsista de Produtividade em Pesquisa do CNPq - Nível 2

Possui graduação em Bacharelado em Ciência da Computação pela Universidade Estadual de Maringá (1997), mestrado em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo (2000) e doutorado em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo (2004). Atualmente é professor doutor da Universidade de São Paulo. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: teste de software, métodos formais e linguagens de programação.
(Texto informado pelo autor)

Última atualização do currículo em 01/02/2012
Endereço para acessar este CV:
http://lattes.cnpq.br/9836776931160228
Dados pessoais
NomeAdenilso da Silva Simão
Nome em citações bibliográficasSIMÃO, A. S.;Simão, A. S.;SIMAO, A;Simao, A.;Simao, Adenilso
SexoMasculino
Endereço profissionalUniversidade 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

Formação acadêmica/Titulação
2011Livre-docência.
Universidade de São Paulo, USP, Brasil.
Título: Contribuições para o Teste de Software, Ano de obtenção: 2011.
2008 - 2010Pós-Doutorado .
Centre de Recherche Informatique de Montreal.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil .
2000 - 2004Doutorado em Ciências da Computação e Matemática Computacional .
Universidade de São Paulo, USP, Brasil.
Título: Aplicação da Análise de Mutantes no Contexto do Teste e Validação de Redes de Petri Coloridas, Ano de Obtenção: 2004.
Orientador: José Carlos Maldonado.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo ,FAPESP ,Brasil .
Palavras-chave: Redes de Petri Coloridas; Análise de Mutantes; Teste de Software; Engenharia de Software.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
Setores de atividade: Desenvolvimento de Programas (Software).
1998 - 2000Mestrado em Ciências da Computação e Matemática Computacional .
Universidade de São Paulo, USP, Brasil.
Título: Proteum-RS/PN: Uma ferramenta para a validaçaão de Redes de Petri baseada na Análise de Mutantes, Ano de Obtenção: 2000.
Orientador: José Carlos Maldonado.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo ,FAPESP ,Brasil .
Palavras-chave: Redes de Petri; Análise de Mutantes; Teste de Software; Engenharia de Software; Ferramentas de Teste.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
Setores de atividade: Desenvolvimento de Programas (Software).
1994 - 1997Graduação em Bacharel Em Ciência da Computação .
Universidade Estadual de Maringá, UEM, Brasil.
Título: AniMAL: Um protótipo de um animador para Lógica Modal de Ações.
Orientador: Itana Maria de Souza Gimenes.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil .

Atuação profissional
Universidade de São Paulo, USP, Brasil.
Vínculo institucional
2004 - Atual Vínculo: Servidor Público, Enquadramento Funcional: Professor Doutor, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
9/2005 - AtualAtividades de Participação em Projeto, .
Projetos de pesquisa
Gesar
4/2004 - AtualAtividades de Participação em Projeto, .
Projetos de pesquisa
Plavis - Plataforma para Validação e Integração de Software em Sistemas Espaciais
03/2004 - AtualEnsino, Bacharela Em Ciencias da Computacao, Nível: Graduação.
Disciplinas ministradas
SCE 500 - Introdução a Ciência da Computação
SCE 103 - Introduçao a Ciencia da Computaçao
SCE 503 - Algoritmos e Estruturas de Dados
SCE 603 - Algoritmos e Estruturas de Dados
SCE 213 - Programaçao Orientada a Objetos
SCE 611 - Engenharia de Software
2004 - AtualAtividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, .
Projetos de pesquisa
Qualipso
2010 - 2012Atividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, Departamento de Sistemas de Computação.
Projetos de pesquisa
Máquinas de Estados Finitos: Subsídios para a Geração de Testes Completos
2008 - 2012Atividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, .
Projetos de pesquisa
PROCAD/CAPES -- Integrando e aprimorando atividades de pesquisa, ensina/treinamento transferência tecnológica em teste e validação de software
2009 - 2011Atividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, .
Projetos de pesquisa
INCT-SEC -- Instituto Nacional de Ciência e Tecnologia, Sistemas Embarcados Críticos
Investigação de Teste Baseado em Máquinas de Estados Finitos Aplicado a Serviços Web

Projetos de Pesquisa
2010 - 2012Máquinas de Estados Finitos: Subsídios para a Geração de Testes Completos
Situação: Em andamento; Natureza: Pesquisa.
Integrantes: Adenilso da Silva Simão - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..
2009 - 2011INCT-SEC -- Instituto Nacional de Ciência e Tecnologia, Sistemas Embarcados Críticos
Descrição: A criação de um Instituto de Sistemas Embarcados Críticos é proposta neste projeto. O objetivo geral desse instituto é elevar o nível de conhecimento, competência e qualidade no país sobre o desenvolvimento desse tipo de sistema, considerando que se trata de tecnologia importante para apoiar o desenvolvimento de áreas estratégicas do país, como a do meio ambiente, a de segurança e defesa e a de agricultura. O projeto é abrangente e envolve grupos de pesquisadores de nove universidades brasileiras e sete empresas. Os principais objetivos mais específicos são o desenvolvimento de pesquisas para a construção de sistemas embarcados críticos com ênfase para veículos autônomos móveis e a construção de pelo menos dois protótipos de veículo, um aéreo e um terrestre, com o objetivo de serem transferidos para as empresas associadas, visando a possível fabricação e comercialização. Outros objetivos relevantes são a produção de uma metodologia que documente esse conhecimento e possa ser usada para o treinamento de pessoal formado na área; a produção de mestres e doutores e produção intelectual na forma de artigos científicos apresentados e publicados em conferências e periódicos de boa qualidade, bem como de patentes..
Situação: Em andamento; Natureza: Pesquisa.
Integrantes: José Carlos Maldonado - Coordenador / Adenilso da Silva Simão - Integrante.
.
2009 - 2011Investigação de Teste Baseado em Máquinas de Estados Finitos Aplicado a Serviços Web
Descrição: A arquitetura orientada a serviço é um modelo para estruturar sistemas de software de modo que exista um baixo grau de acoplamento entre as aplicações e essas possam ser facilmente integradas de forma dinâmica. Atualmente, a tecnologia mais utilizada para a implementação de arquiteturas orientadas a serviço são os serviços web. Serviços web são aplicações que fornecem um conjunto de funcionalidades acessadas por meio da web usando protocolos padronizados e abertos. A incorporação de serviços web em sistemas que modelam processos de negócios grandes e complexos contribui para o aumento da necessidade de testes mais formais e sistemáticos. Além disso, características próprias dessa nova classe de software fazem com que técnicas de teste tradicionais não possam ser diretamente aplicadas. Uma delas é a natureza dinâmica de arquiteturas orientadas a serviço que requer que testes sejam executados de forma automatizada. Considerando a área de teste de software, o teste baseado em modelos apresenta-se como uma estratégia promissora para a resolução desses problemas. É importante também que o modelo adotado seja simples e expressivo o suficiente para que facilite modificações e permita que testes significativos sejam gerados. Além de possuir essas características, as máquinas de estados finitos e suas extensões apresentam um arcabouço de teoria de teste bem fundamentada. Dessa forma, este projeto de pesquisa propõe a investigação de teste baseado em máquinas de estados finitos aplicado no contexto de arquiteturas orientadas a serviço, mais especificamente em serviços web..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Doutorado ( 1) .
Integrantes: Andre Endo - Integrante / Adenilso da Silva Simão - Coordenador.
Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa..
2008 - 2012PROCAD/CAPES -- Integrando e aprimorando atividades de pesquisa, ensina/treinamento transferência tecnológica em teste e validação de software
Descrição: A grande temática deste projeto refere-se à atividade de teste de software, com perspectivas de linhas de produto e componentes envolvendo teste para linguagens procedimentais, OO (orientadas a objetos), AO (orientadas a aspectos), incluindo o teste de sistemas distribuídos e de modelos. Também serão investigados temas envolvendo engenharia de software experimental e metodologias de apoio ao desenvolvimento de módulos educacionais para ensino e aprendizagem presencial e à distância...
Situação: Em andamento; Natureza: Pesquisa.
Integrantes: José Carlos Maldonado - Coordenador / Adenilso da Silva Simão - Integrante.
Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro..
2007 - 2010Qualipso
Descrição: O projeto Qualipso (Quality Platform for Open Source Software) tem como objetivo incentivar a inovação e a competitividade de empresas e órgãos do governo no cenário mundial de hoje e do futuro, através de softwares abertos confiáveis, flexíveis e de baixo custo para o desenvolvimento de sistemas de informação inovadores e seguros. Para isso o projeto QualiPSo definirá e implementará tecnologias, processos e políticas que facilitarão o desenvolvimento e utilização de componentes de software aberto com o mesmo grau de confiabilidade dos softwares proprietários..
Situação: Em andamento; Natureza: Pesquisa.
Integrantes: José Carlos Maldonado - Coordenador / Adenilso da Silva Simão - Integrante.
.
2005 - 2007Gesar
Descrição: O objetivo principal do núcleo LEN no projeto é o desenvolvimento de um "software" de qualidade comercial que permita a utilização amigável dos critérios e modelos desenvolvidos para o tratamento de casos reais em compartimentos de reservatórios. Este software será constituído pela implementação, em linguagem de alto nível, dos métodos numéricos utilizados na solução das equações do modelo matemático de simulação. .
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Norberto Mangiavacchi - Coordenador / Adenilso da Silva Simão - Integrante.
Financiador(es): Centrais Elétricas - Sede - Auxílio financeiro..
2004 - 2006Plavis - Plataforma para Validação e Integração de Software em Sistemas Espaciais
Descrição: O objetivo global do projeto PLAVIS é o estudo e o desenvolvimento de métodos, técnicas e ferramentas nas áreas de Testes de Protocolos: geração, seleção, execução e análise automatizada de testes bem como modelagem e análise de desempenho. Além disso, será também enfocada a qualidade dos testes, tanto do ponto de vista da cobertura (seja do código, seja da especificação), quanto do ponto de vista da eficácia para encontrar falhas. Ao final, ter-se-á uma plataforma aberta, servindo para ensino e pesquisa e também para o uso pelos desenvolvedores de sistemas no Instituto Nacional de Pesquisas Espaciais (INPE). Em longo prazo, planeja-se que outras empresas e instituições acadêmicas utilizem a plataforma. A meta deste projeto é disponibilizar o conjunto dos protótipos dessas ferramentas em uma mesma plataforma de Verificação, Validação e Testes (VV&T) no INPE para ser utilizada por futuros projetos de software de aplicações espaciais desenvolvidos pelo instituto ou mesmo terceirizados pela indústria aeroespacial....
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Jose Carlos Maldonado - Coordenador / Adenilso da Silva Simão - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..

Revisor de periódico
2009 - Atual Periódico: Journal of the Brazilian Computer Society (Impresso)
2009 - Atual Periódico: IEEE Transactions on Software Engineering
2009 - Atual Periódico: Software Testing, Verification and Reliability
2010 - Atual Periódico: Empirical Software Engineering
2009 - Atual Periódico: Science of Computer Programming (Print)
2008 - Atual Periódico: Revista de Informática Teórica e Aplicada
2011 - Atual Periódico: The Journal of Systems and Software

Áreas de atuação
1. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.

Idiomas
Inglês Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Alemão Compreende Razoavelmente, Fala Pouco, Lê Bem, Escreve Pouco.
Espanhol Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Francês Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.

Prêmios e títulos
2012Paraninfo dos Formandos em Bacharelado em Informática de 2012, ICMC/USP.
2008Patrono dos Formandos do ICMC/USP de 2008, ICMC/USP.
2002Primeiro Lugar na Sessão de Ferramentas do XVI Simpósio Brasileiro de Engenharia de Software, Sociedade Brasileira de Computação.
2001Segundo Lugar na Sessão de Ferramentas do XV Simpósio Brasileiro de Engenharia de Software, Sociedade Brasileira de Computação.
2001Terceiro Melhor Artigo do XV Simpósio Brasileiro de Engenharia de Software, Sociedade Brasileira de Computação.
2000Primeiro Lugar na Sessão de Ferramentas do XIV Simpósio Brasileiro de Engenharia de Software, Sociedade Brasileira de Computação.


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1. SIMAO, A ; PETRENKO, A. . Generating asynchronous test cases from test purposes. Information and Software Technology, v. 53, p. 1252-1262, 2011.
2. SIMAO, A ; Petrenko, Alexandre ; Yevtushenko, Nina . On reducing test length for FSMs with extra states. Software Testing, Verification & Reliability, v. n/a, p. n/a-n/a, 2011.
3.   Simao, A. ; PETRENKO, A. . Checking Completeness of Tests for Finite State Machines. I.E.E.E. Transactions on Computers (Print), v. 59, p. 1023-1032, 2010.
4.   Simao, A. ; PETRENKO, A. . Fault Coverage-Driven Incremental Test Generation. Computer Journal (Print), v. 53, p. 1508-1522, 2010.
5.   Simao, A. ; PETRENKO, A. ; MALDONADO, J. C. . Comparing finite state machine test coverage criteria. IET Software (Print), v. 3, p. 91-105, 2009.
6.   Simao, A. ; MALDONADO, J. C. ; BIGONHA, R. S. . A transformational language for mutant description. Computer Languages, Systems & Structures, v. 35, p. 322-339, 2009.
7. 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.
8.   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.
9. 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 (Print), v. 1, p. 370-385, 2008.
10. 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 (Impresso), v. 12, p. 49-61, 2006.
11. 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.
12. 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.
13. 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.
Livros publicados/organizados ou edições
1. DAVIES, J (Org.) ; SILVA, L (Org.) ; SIMAO, A (Org.) . Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods. , 2011.
2. Simao, A. (Org.) ; Morgan, C (Org.) . Formal Methods: Foundations and Applications. 1. ed. Berlin: Springer, 2011. v. 1. 204 p.
3. PETRENKO, A. (Org.) ; SIMAO, A (Org.) ; MALDONADO, J. C. (Org.) . 22nd IFIP WG 6.1 International Conference on Testing Software and Systems. Berlin: Springer, 2010.
Capítulos de livros publicados
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
1. ENDO, A. T. ; SIMAO, A . Model-Based Testing of Service-Oriented Applications via State Models. In: 8th IEEE International Conference on Services Computing, 2011, Washington, DC. Proceedings of the 8th IEEE International Conference on Services Computing, 2011. v. 1. p. 432-439.
2. SOUZA, S. R. S. ; SOUZA, P. S. L. ; Machado, M ; Camillo, M ; SIMAO, A ; ZALUSKA, E. . Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality. In: 23rd International Conference on Software Engineering and Knowledge Engineering, 2011, Miami, FL. Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering, 2011. v. 1. p. 207-212.
3. Belli, F ; ENDO, A. T. ; LINDSHULTE, M. ; SIMAO, A . Model-based testing of web service compositions. In: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6139107&tag=1, 2011, Irvine, CA, EUA. IEEE 6th International Symposium on Service Oriented System Engineering (SOSE), 2011. v. 1. p. 181-192.
4. SIMAO, A ; PETRENKO, A. . From Test Purposes to Asynchronous Test Cases. In: 6th Workshop on Advances in Model Based Testing (A-MOST), 2010, Paris. Workshops of the Third International Conference on Software Testing, Verification, and Validation Workshops, 2010. p. 1-10.
5. CUTIGI, Jorge Francisco ; RIBEIRO, Paulo Henrique ; Simão, A. S. ; SOUZA, S. R. S. . Redução do Número de Seqüências no Teste de Conformidade de Protocolos. In: XI Workshop de Testes e Tolerância a Falhas, 2010, Gramado, RS. XI Workshop de Testes e Tolerância a Falhas, 2010. v. 1. p. 105-117.
6. ENDO, A. T. ; LINDSHULTE, M. ; Simao, A. ; SOUZA, S. R. S. . Event- and Coverage-Based Testing of Web Services. In: 2nd Workshop on Model-Based Verification & Validation From Research to Practice (MVV) - in conjunction with the Fourth IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI), 2010, Cingapura. 2nd Workshop on Model-Based Verification & Validation From Research to Practice (MVV), 2010. v. 1. p. 1-8.
7. 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.
8. ALBERTO, A. ; Simao, A. . Minimization of Incompletely Specified Finite State Machines Based on Distinction Graphs. In: IEEE Latin-American Test Workshop, 2009, Buzios, RJ. 10th IEEE Latin-American Test Workshop, 2009. v. 1. p. 1-6.
9. Simao, A. ; PETRENKO, A. ; Yevtushenko, N. . Generating Reduced Tests for FSMs with Extra States. In: TestCom, 2009, Eidenhoven, Holanda. 21st IFIP Int. Conference on Testing of Communicating Systems. Berlin : Springer, 2009. v. 1. p. 129-147.
10. 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.
11. 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.
12. 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.
13. 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.
14. 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.
15. 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.
16. 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.
17. 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.
18. 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.
19. 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.
20. 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.
21. 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.
22. 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.
23. 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.
24. 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.
25. 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.
26. 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.
27. 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.
28. 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.
29. 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.
30. 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.
31. 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.
32. 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.
33. 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.
34. 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.
35. 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.
36. 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.
37. 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.
38. 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.
39. 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.
40. 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.
41. 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.
42. 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.
43. 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.
44. 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.
45. 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.
46. 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.
47. 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.
48. 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.
49. 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
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. . 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.
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
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
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).
Produção técnica
Softwares sem registro de patente
1. SIMÃO, A. S. . Proteum-RS/PN. 1999.
Trabalhos técnicos
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.
23. SIMÃO, A. S. . Revista Eletrônica de Iniciação Científica. 2001.
Demais tipos de produção técnica
1.
SIMÃO, A. S. . HTML e PHP. 2002. (Curso de curta duração ministrado/Extensão).
2.
SIMÃO, A. S. . Introducción al Test de Software. 2002. (Curso de curta duração ministrado/Extensão).
3.
SIMÃO, A. S. . Introdução ao LaTeX. 2000. (Curso de curta duração ministrado/Extensão).

Bancas
Participação em bancas examinadoras
Dissertações
1. SOUZA, P. S. L.; Simao, A.; CHAIM, M. L.. Participação em banca de Mario Cesar da Cunha Machado. Estudo e Definição de Mecanismos para Redução do Custo de Aplicação do Teste de Programas Concorrentes. 2011. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
2. MARTINS, E.; SIMÃO, A. S.; RUBIRA, C.M.F.. Participação em banca de Ivan Rodolfo Duran Cruz Perez. Geração Automática de Cenários de Teste a Partir de Modelos de Especificação de Sistemas. 2008. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.
3. MASIERO, Paulo Cesar; SIMÃO, A. S.; GIMENES, I. M. S.. Participação em banca de Marcelo Medeiros Eler. Um método para o desenvolvimento de software baseado em componentes e aspectos. 2006. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
4. SIMÃO, A. S.; FIGUEIREDO, Jorge Cesar Abrantes de; GUERRERO, Dalton Dario Serey. Participação em banca de Elthon Allex da Silva Oliveira. Uma Técnica para Modelagem e Verificação de Programas Java Concorrentes Auxiliada por Anotações de Código. 2006. Dissertação (Mestrado em Ciência da Informação) - Universidade Federal da Paraíba.
5. MASIERO, Paulo Cesar; SIMÃO, A. S.; FLACH, Christina Von. Participação em banca de Antonielly Garcia Rodrigues. Desenvolvimento de Software Orientado a Temas. 2006. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
Trabalhos de Conclusão de Curso de graduação
1. SIMÃO, A. S.; SOUZA, S. R. S.. Participação em banca de Ivan Filipe de Abrantes Stefani. Sistemas Web Integrados para o Apoio ao Desenvolvimento de Produtos. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Informática) - Universidade de São Paulo.
2. SIMÃO, A. S.; MALDONADO, Jose Carlos. Participação em banca de Henrique Martins Pedro. Uma Investigacao des Visoes Arquiteturais e das Tecnicas para Descricao Arquitetural. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Informática) - Universidade de São Paulo.
3. SIMÃO, A. S.; BRAGA, R. T. V.. Participação em banca de Marcus Vinicius de Carvalho Secato. Desenvolvimento de aplicações na plataforma .NET. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharela Em Ciencias da Computacao) - Universidade de São Paulo.
4. SIMÃO, A. S.; BRAGA, R. T. V.. Participação em banca de Mamadú Bubacar da Silva Balde. Desenvolvimento de componente gráfico para criação das Interfaces Gráficas de Software de Inspeção 3D. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Informática) - Universidade de São Paulo.
5. SIMÃO, A. S.; BRAGA, R. T. V.. Participação em banca de Rodrigo Mithuhiro Oshiro. Monitoramento de Projeto e Perfil de Usuários. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Informática) - Universidade de São Paulo.
6. SIMÃO, A. S.; BRAGA, R. T. V.. Participação em banca de Norberto Fukuta da Cruz. Gerência de Requisitos no Desenvolvimento de um Sistema Web Livre. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Informática) - Universidade de São Paulo.
7. SIMÃO, A. S.. Participação em banca de Mauricio Antonio Buffon Junior. Apresentaçao do Projeto ATIS em Ambiente Mainframe: Descriçao dos Ambientes de Teste. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharela Em Ciencias da Computacao) - Universidade de São Paulo.
8. SIMÃO, A. S.. Participação em banca de Luis Gustavo Machado. Geracao de Malha em Casca Utilizando Algoritmos de Thinning. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharela Em Ciencias da Computacao) - Universidade de São Paulo.
9. SIMÃO, A. S.. Participação em banca de Julio Cesar Magalhaes Donati. Desenvolvimento e Teste de Software para a Area de Pesquisa de Midia. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharela Em Ciencias da Computacao) - Universidade de São Paulo.
10. SIMÃO, A. S.. Participação em banca de Diego Roiuk. Manutencao Corretiva e Evolutiva de Modulos Nao-Kernel do Sistema de Billing BSCS. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharela Em Ciencias da Computacao) - Universidade de São Paulo.
Participação em bancas de comissões julgadoras
Concurso público
1. GIMENES, I. M. S.; SIMÃO, A. S.; BRUZAROSCO, D. C.. Contratação para Docente não-titular. 2006. Universidade Estadual de Maringá.
2. SIMÃO, A. S.. Contratacao para Docente Nao-Titular. 2006. Universidade Federal de São Carlos.

Eventos
Organização de eventos
1. PETRENKO, A. ; MALDONADO, J. C. ; SIMAO, A . 22nd IFIP International Conference on Testing Software and Systems. 2010. (Concerto).
2. MACHADO, P. ; SIMÃO, A. S. . Brazilian Workshop on Systematic and Automated Software Testing. 2007. (Congresso).

Orientações
Orientações em andamento
Dissertação de mestrado
1. Faimison Rodrigues. Geração de Sequências de Verificação para MEFs. Início: 2012. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).
2. Pedro Vitor Pinheiro. Teste Baseado em Máquinas de Estados para Serviços Restful. Início: 2011. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).
3. Arineiza Cristina Pinheiro. Subsídios para a Aplicação de Métodos de Geração de Casos de Testes Baseados em Máquinas de Estados. Início: 2010. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. (Orientador).
Tese de doutorado
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, Fundação de Amparo à Pesquisa do Estado de São Paulo. (Orientador).
Iniciação científica
1. Vanessa Queiroz Marinho. Definição e Condução de Estudos de Caso sobre Métodos de Teste Baseado em modelos Aplicados a Arquiteturas Orientadas a Serviços. Início: 2012. Iniciação científica (Graduando em Bacharelado em Ciências da Computação) - Instituto de Ciências Matemáticas e de Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).
Supervisões e orientações concluídas
Dissertação de mestrado
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. Jorge Francisco Cutigi. Investigacao de Melhorias em Metodos de Geracao de Casos de Teste a partir de Modelos. 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.
3. Paulo Henrique Ribeiro. Investigacao de Heuristicas para a Geracao de Sequeencias de Veri. 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.
4. 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.
5. 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
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
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.
Página gerada pelo Sistema Currículo Lattes em 11/02/2012 às 18:03:16