Adenilso da Silva Simão

Bolsista de Produtividade em Pesquisa do CNPq - Nível 2

  • Endereço para acessar este CV: http://lattes.cnpq.br/9836776931160228
  • Última atualização do currículo em 06/11/2018


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). Realizou estágio de pós-doutoramento no Centre de Recherche Informatique de Montreal (2008-2010). Desde 2004 é Professor Titular 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)


Identificação


Nome
Adenilso da Silva Simão
Nome em citações bibliográficas
SIMÃO, A. S.;Simão, A. S.;SIMAO, A;Simao, A.;Simao, Adenilso;SIMÃO, ADENILSO;SIMAO, A. S.;SIMAO, ADENILSO DA SILVA

Endereço


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
13560970 - São Carlos, SP - Brasil - Caixa-postal: 668
Telefone: (16) 2739375


Formação acadêmica/titulação


2000 - 2004
Doutorado 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
Setores de atividade: Desenvolvimento de Programas (Software).
1998 - 2000
Mestrado 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
Setores de atividade: Desenvolvimento de Programas (Software).
1994 - 1997
Graduaçã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.


Pós-doutorado e Livre-docência


2011
Livre-docência.
Universidade de São Paulo, USP, Brasil.
Título: Contribuições para o Teste de Software, Ano de obtenção: 2011.
2008 - 2010
Pós-Doutorado.
Centre de Recherche Informatique de Montreal, CRIM, Canadá.
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

2017 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2011 - 2017
Vínculo: , Enquadramento Funcional: Professor Associado 2, Regime: Dedicação exclusiva.

Vínculo institucional

2004 - 2011
Vínculo: , Enquadramento Funcional: Professor Doutor, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

03/2004 - Atual
Ensino, 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

Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.
Vínculo institucional

2017 - Atual
Vínculo: Membro da Comissão de Educação, Enquadramento Funcional: Membro

Vínculo institucional

2017 - Atual
Vínculo: Coordenador do Fórum PGCC, Enquadramento Funcional: Coordenador do Fórum de Coordeandor PGCC



Projetos de pesquisa


2015 - Atual
Testing techniques for CIRCUS specification languages based on fault models
Descrição: The objective of this project is to extend the theoretical foundations of testing based on fault models to the domain of model-based testing in the context of state-rich process algebra for refinement. We will address in a unified framework complex system models that cater for with concurrency, state, and interactions involving complex data structures. More precisely, we will develop, formalise, and evaluate by practical experimentation testing techniques based on models written in Circus, an industrial-strength refinement language combining Z and CSP. The planned results are the definitions of sound practical testing strategies for Circus models with refinement as a conformance relation, supported by some prototype tools; these results will be validated on significant case studies..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Adenilso da Silva Simão - Coordenador / Ana Cavalcanti - Integrante.Financiador(es): Royal Society - Cooperação.
2012 - 2014
Sistemas de Transição de Entrada/Saída: Apoio para a Geracão de Casos de Teste
Descrição: O Teste Baseado em Modelos é uma estratégia promissora para automatizar a geração e execução de teste. Os casos de teste são derivados de um modelo representando o software a ser testado. Diversos métodos de geração de testes a partir de Máquinas de Estados Finitos (MEFs) podem ser encontrados na literatura. Contudo, tais modelos podem ser inadequados para representar algumas classes de software e, portanto, outros modelos devem ser adotados. Os Sistemas de Transição de Entrada/Saída (do inglês, Input/Output Transition System, IOTS) são exemplos desses modelos. Apesar de amplamente investigados, a teoria na qual se baseia o IOTS ainda não oferece o mesmo nível de apoio à Geração de Casos de Teste que existe para MEFs. O objetivo desse trabalho é investigar como resultados recentes obtidos no teste baseado em MEFs podem ser aplicados no contexto do teste baseado em IOTS..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (1) .
Integrantes: Adenilso da Silva Simão - Coordenador / Petrenko, Alexandre - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
2012 - Atual
Desenvolvimentos Computacionais Aplicados a Processos de Refino - Escoamentos Multifásicos
Descrição: O objetivo deste projeto é o desenvolvimento de técnicas e métodos numéricos e uma implementação de um software para a simulação computacional de escoamentos multifásicos de fluidos utilizando plataformas multiprocessadas aplicadas ao refino de petróleo.. Situação: Em andamento; Natureza: Pesquisa..
Situação: Em andamento; Natureza: Pesquisa.
2010 - 2012
Máquinas de Estados Finitos: Subsídios para a Geração de Testes Completos
Situação: Concluído; Natureza: Pesquisa.
2009 - 2011
INCT-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.
2009 - 2011
Investigaçã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: Adenilso da Silva Simão - Coordenador / Andre Endo - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.
2008 - 2012
PROCAD/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.
2007 - 2010
Qualipso
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.
2005 - 2007
Gesar
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 profissional: (0) / Doutorado: (0) .
Integrantes: Adenilso da Silva Simão - Integrante / Norberto Mangiavacchi - Coordenador.Financiador(es): Centrais Elétricas - Sede - Auxílio financeiro.
2004 - 2006
Plavis - 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 profissional: (0) / Doutorado: (0) .
Integrantes: Adenilso da Silva Simão - Integrante / Jose Carlos Maldonado - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.


Outros Projetos


2013 - Atual
Projeto de Cooperação Acadêmica na Área de Computação entre a Leuphana Universität Lüneburg (Alemanha) e o Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo (Brasil)
Descrição: O projeto tem como objetivo possibilitar que estudantes dos cursos de computação do ICMC-USP (Bacharelado em Ciências da Computação, Bacharelado em Engenharia da Computação, Bacharelado em Sistemas de Informação), bem como estudantes de Sistemas de Informação da Leuphana Universität Lüneburg (Leuphana) cursem uma parte de sua graduação na instituição parceira. A área de cooperação entre as instituições é a Computação, com ênfase na subárea de Sistemas de Informação, também conhecida como Informática para Negócios (Wirtschaftsinformatik). Essa área foi escolhida por estar no foco de interesse e competência de ambas as instituições, além de ser de grande relevância social e econômica tanto para o Brasil como para a Alemanha..
Situação: Em andamento; Natureza: Outra.
Alunos envolvidos: Graduação: (30) .
Integrantes: Adenilso da Silva Simão - Coordenador / Simone do Rocio Senger de Souza - Integrante / Rosana Teresinha Vaccare Braga - Integrante / Joao Porto de Albuquerque - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Cooperação.


Membro de corpo editorial


2016 - Atual
Periódico: JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT


Membro de comitê de assessoramento


2018 - Atual
Agência de fomento: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
2014 - Atual
Agência de fomento: Fundação de Amparo à Pesquisa do Estado de São Paulo
2013 - 2013
Agência de fomento: Conselho Nacional de Desenvolvimento Científico e Tecnológico


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
2013 - Atual
Periódico: Information Processing Letters (Print)


Á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.
Espanhol
Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Francês
Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.


Prêmios e títulos


2018
Paraninfo dos Formandos do Bacharelado em Ciência da Computação, ICMC/USP.
2018
Professor Homenageado pelos Formandos do Curso de Bacharelado em Ciência da Computação, ICMC/USP.
2018
Professor Homenageado pelos Formandos do Curso de Bacharelado em Sistemas de Informação, ICMC/USP.
2018
Professor Homenageado pela Secretaria Acadêmica da Engenharia de Computação, Universidade de São Paulo.
2016
Terceiro Melhor Artigo do XXX Simpósio Brasileiro de Engenharia de Software, Sociedade Brasileira de Computação.
2016
Professor Homenageado pela Secretaria Acadêmica da Engenharia de Computação, Universidade de São Paulo.
2015
Paraninfo dos Formandos do Bacharelado em Sistemas de Informação, ICMC/USP.
2014
Patrono dos Formandos do ICMC/USP de 2014, ICMC/USP.
2014
Professor Homenageado pela Secretaria Acadêmica da Engenharia de Computação, Universidade de São Paulo.
2013
Paraninfo dos Formandos do Bacharelado em Informatica de 2013, ICMC/USP.
2012
Paraninfo dos Formandos em Bacharelado em Informática de 2012, ICMC/USP.
2012
Melhor artigo do 5th International Conference on Software Testing, Verification and Validation (ICST 2012), IEEE.
2012
Melhor artigo do 8th Workshop on Advances in Model Based Testing (A-MOST 2012), IEEE.
2012
Melhor Artigo da Trilha Técnica do Simpósio Brasileiro de Qualidade de Software, SBC.
2008
Patrono dos Formandos do ICMC/USP de 2008, ICMC/USP.
2002
Primeiro Lugar na Sessão de Ferramentas do XVI Simpósio Brasileiro de Engenharia de Software, Sociedade Brasileira de Computação.
2001
Segundo Lugar na Sessão de Ferramentas do XV Simpósio Brasileiro de Engenharia de Software, Sociedade Brasileira de Computação.
2001
Terceiro Melhor Artigo do XV Simpósio Brasileiro de Engenharia de Software, Sociedade Brasileira de Computação.
2000
Primeiro Lugar na Sessão de Ferramentas do XIV Simpósio Brasileiro de Engenharia de Software, Sociedade Brasileira de Computação.


Produções



Produção bibliográfica
Citações

SCOPUS

Artigos completos publicados em periódicos

1.
N. DAMASCENO, CARLOS DIEGO2018N. DAMASCENO, CARLOS DIEGO ; MASIERO, PAULO C. ; Simao, Adenilso . Similarity testing for role-based access control systems. JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT, v. 6, p. 1-37, 2018.

2.
FRAGAL, VANDERSON HAFEMANN2018FRAGAL, VANDERSON HAFEMANN ; Simao, Adenilso ; MOUSAVI, MOHAMMAD REZA . Hierarchical featured state machines. SCIENCE OF COMPUTER PROGRAMMING, v. 1, p. 1, 2018.

3.
FRAGAL, VANDERSON HAFEMANN2018FRAGAL, VANDERSON HAFEMANN ; Simao, Adenilso ; MOUSAVI, MOHAMMAD REZA ; TURKER, URAZ CENGIZ . Extending HSI Test Generation Method for Software Product Lines. COMPUTER JOURNAL, v. n/a, p. 1, 2018.

4.
BONIFACIO, ADILSON2017BONIFACIO, ADILSON ; MOURA, ARNALDO ; Simao, Adenilso . Experimental comparison of approaches for checking completeness of test suites from finite state machines. INFORMATION AND SOFTWARE TECHNOLOGY, v. 92, p. 95-104, 2017.

5.
CUTIGI, Jorge Francisco2016CUTIGI, Jorge Francisco ; Simao, A. ; SOUZA, S. R. S. . Reducing FSM-Based Test Suites with Guaranteed Fault Coverage. COMPUTER JOURNAL, v. 59, p. 1129-1143, 2016.

6.
EL-FAKIH, KHALED2016EL-FAKIH, KHALED ; Simao, Adenilso ; JADOON, NOSHAD ; MALDONADO, Jose Carlos . An Assessment of Extended Finite State Machine Test Selection Criteria. The Journal of Systems and Software, v. 123, p. 106-108, 2016.

7.
PORTO, FAIMISON2016PORTO, FAIMISON ; Simao, Adenilso . Feature Subset Selection and Instance Filtering for Cross-project Defect Prediction - Classification and Ranking. CLEI Electronic Journal, v. 19, p. 4:1-4:17, 2016.

8.
ALBERTO, ALEX2016ALBERTO, ALEX ; CAVALCANTI, ANA ; GAUDEL, MARIE-CLAUDE ; SIMÃO, ADENILSO . Formal mutation testing for Circus. INFORMATION AND SOFTWARE TECHNOLOGY, v. 81, p. 131-153, 2016.

9.
BELLI, FEVZI2015BELLI, FEVZI ; BEYAZ'T, MUTLU ; ENDO, ANDRE TAKESHI ; MATHUR, ADITYA ; Simao, Adenilso . Fault domain-based testing in imperfect situations: a heuristic approach and case studies. Software Quality Journal, v. 23, p. 423-452, 2015.

10.
PAIVA, SOFIA COSTA2015PAIVA, SOFIA COSTA ; Simao, Adenilso . Generation of complete test suites from mealy input/output transition systems. Formal Aspects of Computing, v. 28, p. 65-78, 2015.

11.
SOUZA, S. R. S.2015SOUZA, S. R. S. ; SOUZA, P. S. L. ; BRITO, M. A. S. ; SIMAO, A. S. ; ZALUSKA, E. J. . Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. Software Testing, Verification & Reliability, v. 25, p. 310-332, 2015.

12.
EL-FAKIH, KHALED2014EL-FAKIH, KHALED ; Yevtushenko, Nina ; Simao, Adenilso . A practical approach for testing timed deterministic finite state machines with single clock. Science of Computer Programming (Print), v. 80, p. 343-355, 2014.

13.
PETRENKO, A.2014PETRENKO, A. ; Simao, A. . Generalizing the DS-Methods for Testing Non-Deterministic FSMs. Computer Journal (Print), v. 1, p. 1, 2014.

14.
AMBROSIO, ANA MARIA2014AMBROSIO, ANA MARIA ; PINHEIRO, ARINEIZA C. ; SIMÃO, ADENILSO . FSM-Based Test Case Generation Methods Applied to test the Communication Software on board the ITASAT University Satellite: a Case Study. Journal of Aerospace Technology and Management (Online), v. 6, p. 447-461, 2014.

15.
BELLI, FEVZI2014BELLI, FEVZI ; ENDO, ANDRE TAKESHI ; LINSCHULTE, MICHAEL ; Simao, Adenilso . A holistic approach to model-based testing of Web service-compositions. Software, Practice & Experience (Print), v. 44, p. 201-234, 2014.

16.
ENDO, ANDRE TAKESHI2013 ENDO, ANDRE TAKESHI ; Simao, Adenilso . Evaluating Test Suite Characteristics, Cost, and Effectiveness of FSM-based Testing Methods. Information and Software Technology, v. 55, p. 1045-1062, 2013.

17.
ALBERTO, ALEX D. B.2013ALBERTO, ALEX D. B. ; Simao, Adenilso . Iterative minimization of partial finite state machines. Central European Journal of Computer Science, v. 3, p. 91-103, 2013.

18.
BONIFACIO, A. L.2012BONIFACIO, A. L. ; MOURA, A. ; Simao, A. . Model Partitions and Compact Test Case Suites. International Journal of Foundations of Computer Science, v. 23, p. 147-172, 2012.

19.
Petrenko, Alexandre2012Petrenko, Alexandre ; SIMAO, A ; Maldonado, José Carlos . Model-based testing of software and systems: recent advances and challenges. International Journal on Software Tools for Technology Transfer (Print), v. 14, p. 383-386, 2012.

20.
Simao, A.2012Simao, A.; PETRENKO, A. ; Yevtushenko, N. . On reducing test length for FSMs with extra states. Software Testing, Verification & Reliability, v. 22, p. 435-454, 2012.

21.
SIMAO, A2011 SIMAO, A; PETRENKO, A. . Generating asynchronous test cases from test purposes. Information and Software Technology, v. 53, p. 1252-1262, 2011.

22.
Simao, A.2010 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.

23.
Simao, A.2010 Simao, A.; PETRENKO, A. . Fault Coverage-Driven Incremental Test Generation. Computer Journal (Print), v. 53, p. 1508-1522, 2010.

24.
Simao, A.2009Simao, A.; PETRENKO, A. ; MALDONADO, J. C. . Comparing finite state machine test coverage criteria. IET Software (Print), v. 3, p. 91-105, 2009.

25.
Simao, A.2009Simao, A.; MALDONADO, J. C. ; BIGONHA, R. S. . A transformational language for mutant description. Computer Languages, Systems & Structures, v. 35, p. 322-339, 2009.

26.
BONIFACIO, A2008BONIFACIO, 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.

27.
SOUZA, S. R. S.2008SOUZA, 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, v. 20, p. 1893-1916, 2008.

28.
Simao, A.2008Simao, 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.

29.
VINCENZI, A. M. R.2006VINCENZI, 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.

30.
Simao, A.2003Simao, 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.

31.
Simao, A.2002Simao, 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.

32.
Simao, A.2002Simao, 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.
Simao, A.; Morgan, C (Org.) . Formal Methods: Foundations and Applications. 1. ed. Berlin: Springer, 2011. v. 1. 204p .

2.
DAVIES, J (Org.) ; SILVA, L (Org.) ; SIMAO, A (Org.) . Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods. , 2011.

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.
FRAGAL, VANDERSON HAFEMANN ; Simao, Adenilso ; ENDO, ANDRE TAKESHI ; MOUSAVI, MOHAMMAD REZA . Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines. In: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2017, Tokyo. 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2017. p. 329-336.

2.
Cavalcanti, A. ; SIMAO, A . Fault-Based Testing for Refinement in CSP. In: International Conference on Testing Software and Systems, 2017, St Petersburg. Proceedings of International Conference on Testing Software and Systems, 2017. p. 21-37.

3.
PORTO, F. ; SIMAO, A . Feature Subset Selection for Instance Filtering Methods on Cross-project Defect Prediction. In: Ibero-American Conference on Software Engineering - CIBSE - ESELAW, 2016, Quito, Equador. Proceedings of the XIX Ibero-American Conference on Software Engineering - CIBSE - ESELAW, 2016. p. 171-184.

4.
DAMASCENO, CARLOS DIEGO NASCIMENTO ; MASIERO, Paulo Cesar ; Simao, Adenilso . Evaluating test characteristics and effectiveness of FSM-based testing methods on RBAC systems. In: the 30th Brazilian Symposium, 2016, Maringá. Proceedings of the 30th Brazilian Symposium on Software Engineering - SBES '16. New York: ACM Press, 2016. p. 83-92.

5.
PAIVA, SOFIA COSTA ; Simao, Adenilso ; VARSHOSAZ, MAHSA ; MOUSAVI, MOHAMMAD REZA . Complete IOCO test cases: a case study. In: the 7th International Workshop, 2016, Seattle. Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation - A-TEST 2016. New York: ACM Press, 2016. p. 38-44.

6.
V. H. Fragal ; SIMAO, A ; MOUSAVI, MOHAMMAD REZA . Validated Test Models for Software Product Lines: Featured Finite State Machines. In: The 13th International Conference on Formal Aspects of Component Software, 2016, Besançon, France. The 13th International Conference on Formal Aspects of Component Software, 2016. v. 13. p. 210-217.

7.
PAIVA, S. L. C. ; Simao, A. . A systematic mapping study on test generation from Input/Output Transition Systems. In: SEAA 2015 - 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015, Funchal, Madeira, Portugal. Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications. Washington, DC, USA: IEEE Computer Society, 2015. v. 1. p. 333-340.

8.
PETRENKO, A. ; Simao, A. . Checking Experiments for Finite State Machines with Symbolic Inputs. In: XXVII International Conference on Testing Software and Systems, 2015, Dubai, Emirates. XXVII International Conference on Testing Software and Systems. Berlin: Springer, 2015. v. 9447. p. 3-18.

9.
Groz, R. ; Simao, A. ; PETRENKO, A. ; Oriat, C . Inferring Finite State Machines Without Reset Using State Identification Sequences. In: XXVII International Conference on Testing Software and Systems, 2015, Dubai, Emirates. XXVII International Conference on Testing Software and Systems. Berlin: Springer, 2015. v. 9447. p. 161-177.

10.
Simao, Adenilso; PETRENKO, A. . Generating Complete and Finite Test Suite for ioco: Is It Possible?. In: 9Th Model-Based Testing, 2014, Grenoble, Franca. Model-Based Testing, 2014. v. 141. p. 56-70.

11.
El-Fakih, K. ; Simao, A. ; Jadoon, N. ; Maldonado, J.C. . On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria. In: Mutation 2014, 2014, Cleveland, OH, EUA. Proceedings of 2014 IEEE International Conference on Software Testing, Verification, and Validation Workshops. New York: IEEE, 2014. p. 222-229.

12.
DAMASCENO, C. D. N. ; DELAMARO, M. E. ; SIMÃO, A. S. . Uma Revisao Sistemática em Teste de Seguranca Baseado em Modelos. In: 8th Brazilian Workshop on Systematic and Automated Software Testing -- Brazilian Conference on Software: theory and practice, 2014, Maceio, AL. 8th Brazilian Workshop on Systematic and Automated Software Testing -- Brazilian Conference on Software: theory and practice. Porto Alegre, RS: SBC, 2014. v. s/n. p. 31-40.

13.
PORTO, F. ; ENDO, A. T. ; Simao, A. . Generation of Checking Sequences Using Identification Sets. In: Conference on Formal Engineering Methods, 2013, Queenstown, New Zealand. Proceedings of 15th International Conference on Formal Engineering Methods. Berlin: Springer, 2013. v. 8144. p. 115-130.

14.
PINHEIRO, P. ; ENDO, ANDRE TAKESHI ; SIMAO, A . Model-Based Testing of RESTful Web Services Using UML Protocol State Machines. In: Brazilian Workshop on Systematic and Automatic Software Testing, 2013, Brasília, DF. Proceedings of CBSoft 2013, 7th Brazilian Workshop on Systematic and Automatic Software Testing. Porto Alegre, RS: SBC, 2013. p. 1-10.

15.
ENDO, Andre ; BERNARDINO, M. ; RODRIGUES, E. ; SIMAO, A ; RODRIGUES, F. ; ZORZO, A. . An Industrial Experience on using Models to Test Web Service-Oriented Applications. In: Information Integration and Web-based Applications and Services, 2013, Viena. Information Integration and Web-based Applications and Services. Viena: ACM, 2013. p. 1-10.

16.
PETRENKO, A. ; SIMAO, A ; Yevtushenko, N. . Generating Checking Sequences for Nondeterministic Finite State Machines. In: Fifth International Conference on Software Testing, Verification and Validation, 2012, Montreal, Canada. Fifth International Conference on Software Testing, Verification and Validation, 2012. v. 1. p. 310-319.

17.
ENDO, Andre ; SIMAO, A . Experimental Comparison of Test Case Generation Methods for Finite State Machines. In: A-MOST, 2012, Montreal, Canada. Workshops of ICST 2012, 2012. p. 549-558.

18.
Capellari, M. L. ; GIMENES, I. M. S. ; SIMAO, A ; ENDO, A. T. . Towards Incremental FSM-based Testing of Software Product Lines. In: Simpósio Brasileiro de Qualidade de Software, 2012, Fortaleza, Ceará. XI Simpósio Brasileiro de Qualidade de Software. Porto Alegre, RS: SBC, 2012. p. 9-23.

19.
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.

20.
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.

21.
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.

22.
Pinheiro, A. ; Simao, A. . Subsídios para a Aplicação de Métodos de Geração de Casos de Teste Baseados em Máquinas de Estados no Contexto de Sistemas Embarcados. In: Workshop de Teses e Dissertações do CBSoft, 2011, São Paulo. Workshop de Teses e Dissertações do CBSoft. Porto Alegre: SBC, 2011. p. 1-6.

23.
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.

24.
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.

25.
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.

26.
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.

27.
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.

28.
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.

29.
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.

30.
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.

31.
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.

32.
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.

33.
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.

34.
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.

35.
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.

36.
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.

37.
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.

38.
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.

39.
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.

40.
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.

41.
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.

42.
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.

43.
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.

44.
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.

45.
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.

46.
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.

47.
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.

48.
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.

49.
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.

50.
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.

51.
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.

52.
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.

53.
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.

54.
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.

55.
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.

56.
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.

57.
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.

58.
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.

59.
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.

60.
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.

61.
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.

62.
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.

63.
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.

64.
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.

65.
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.

66.
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.

67.
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.

68.
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.
GROZ, ROLAND ; Simao, Adenilso ; BREMOND, NICOLAS ; ORIAT, CATHERINE . Revisiting AI and testing methods to infer FSM models of black-box systems. In: the 13th International Workshop, 2018, Gothenburg. Proceedings of the 13th International Workshop on Automation of Software Test - AST '18. New York: ACM Press, 2018. p. 16.

2.
Petrenko, Alexandre ; SIMAO, A . Generating Checking Sequences for User Defined Fault Models. In: International Conference on Testing Software and Systems, 2017, St Petersburg, Russia. Proceedings of International Conference on Testing Software and Systems, 2017. p. 320-325.

3.
Groz, R. ; Oriat, C ; SIMAO, A . Adaptive Localizer Based on Splitting Trees. In: International Conference on Testing Sofware and Systems, 2017, St Petersburg, Russia. Proceedings of International Conference on Testing Sofware and Systems, 2017. p. 326-332.

4.
OLIVEIRA, RICARDO RAMOS DE ; MARTINS, RAFAEL MESSIAS ; SIMAO, ADENILSO DA SILVA . Impact of the Vendor Lock-in Problem on Testing as a Service (TaaS). In: 2017 IEEE International Conference on Cloud Engineering (IC2E), 2017, Vancouver. 2017 IEEE International Conference on Cloud Engineering (IC2E), 2017. p. 190.

5.
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.

6.
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.

7.
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.

Outras produções bibliográficas
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
Programas de computador sem registro
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.. IEEE Transaction on Software Engineering. 2001.

22.
SIMÃO, A. S.. Revista Eletrônica de Iniciação Científica. 2001.

23.
SIMÃO, A. S.. 1st International Workshop on Software Engineering for Large-Scale Multi-Agent Systems. 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 de trabalhos de conclusão
Mestrado
1.
A. Zorzo; SIMAO, A. Participação em banca de Maicon Bernardino da Silveira. Conjunto de Características para Teste de Desempenho: Uma visão a Partir de Modelos. 2012. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

2.
A. Zorzo; SIMAO, A. Participação em banca de Leandro Teododo Costa. Modelo de Características para Teste de Desempenho: Uma Visão a Partir de Ferramentas. 2012. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

3.
SOUZA, S. R. S.; Simao, A.; CHAIM, M. L.. Participação em banca de Silva Morita Melo. Avaliação do custo e efetividade dos critérios de teste estruturais no contexto de programas concorrentes com memória compartilhada. 2012. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

4.
SOUZA, S. R. S.; SIMAO, A; CHAIM, M. L.. Participação em banca de Silvana Morita Melo. Avaliação do custo e efetividade dos critérios de teste estruturais no contexto de programas concorrentes com memória compartilhada. 2012. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

Teses de doutorado
1.
N. S. Rosa; J. M. Iyoda; P. H. M. Borba; MACHADO, P.; SIMAO, A. Participação em banca de Sidney de Carvalho Nogueira. Test Generation and Compositional Conformance Verification with Input-Output CSP Models. 2012. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

2.
MASIERO, Paulo Cesar; SIMAO, A; Prado, A.; MARTINS, E.; Valente, M. T.. Participação em banca de Marcelo Medeiros Eler. Uso da técnica de teste estrutural para o teste e monitoração de serviços. 2012. Tese (Doutorado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

Trabalhos de conclusão de curso de graduação
1.
Isotani, S.; SIMAO, A. Participação em banca de Jonathan Machado.Ferramenta de Simulação de Algoritmos Evolutivos. 2012. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade de São Paulo.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.

11.
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, congressos, exposições e feiras
1.
SIMAO, A; Morgan, C . XIV Simpósio Brasileiro de Métodos Formais. 2011. (Congresso).

2.
PETRENKO, A. ; MALDONADO, J. C. ; SIMAO, A . 22nd IFIP International Conference on Testing Software and Systems. 2010. (Congresso).

3.
MACHADO, P. ; SIMÃO, A. S. . Brazilian Workshop on Systematic and Automated Software Testing. 2007. (Congresso).



Orientações



Orientações e supervisões em andamento
Tese de doutorado
1.
Carlos Diego Nascimento Damasceno. Geração de Testes a partir de Modelos B. Início: 2016. Tese (Doutorado 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).

2.
Faimison Rodrigues Porto. Investigação de Teste de Software sob a Perspectiva da Teoria de Redes Complexas. Início: 2013. Tese (Doutorado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação. (Orientador).

3.
Ricardo Ramos de Oliveira. Investigação de T ecnicas e Modelos para o Teste de Desempenho de Web Services. Início: 2013. Tese (Doutorado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação. (Orientador).

4.
Vanderson Hafemann Fragal. Reutilização de Teste baseado em Modelo para Diferentes Níveis de Abstração em Linha de Produto de Software de Sistemas Embarcados. Início: 2013. Tese (Doutorado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação. (Orientador).

5.
Alex Doniseti Betez Alberto. Geração de Teste a Partir de Modelos de Estados Enriquecidos. Início: 2012. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação. (Orientador).

Iniciação científica
1.
Henrique Bonini de Britto Menezes. Geolocalização de Autores de artigos indexados por DOI. Início: 2015. Iniciação científica (Graduando em Engenharia de Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Marcos Fernando Geromini. Teste Baseado em Modelos de Sistemas de Informação. 2016. 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.

2.
Carlos Diego Nascimento Damasceno. Geracao de Teste a Partir de Modelos para a Validacao de Controles de Acesso. 2016. 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: Adenilso da Silva Simão.

3.
Faimison Rodrigues. Geração de Sequências de Verificação para MEFs. 2013. 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: Adenilso da Silva Simão.

4.
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. 2012. 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: Adenilso da Silva Simão.

5.
Pedro Vitor Pinheiro. Teste Baseado em Máquinas de Estados para Serviços Restful. 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: Adenilso da Silva Simão.

6.
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.

7.
Alex Alberto. Métodos de Geração de Casos de Teste a partir de Conjuntos Confimados. 2008. 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.

8.
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.

9.
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.

10.
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.

Tese de doutorado
1.
Sofia Larissa Costa. Teste de Sistemas de Transição com Entrada e Saída. 2016. Tese (Doutorado 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: Adenilso da Silva Simão.

2.
Andre Takeshi Endo. Investigação de Teste Baseado em Máquinas de Estados Finitos Aplicado a Serviços Web. 2013. 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: Adenilso da Silva Simão.

Trabalho de conclusão de curso de graduação
1.
Rodolfo João Almeida Arruda Filho. Otimização de implementação de máquinas de estados em sistemas embarcados passivos. 2011. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Adenilso da Silva Simão.

2.
Alessandro Oliveira Woserow. Elaboração de soluções unificadas para gestão de projetos com desenvolvimento ágil. 2010. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Adenilso da Silva Simão.

3.
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.

4.
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.
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. 2013. 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: Adenilso da Silva Simão.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.



Inovação



Projetos de pesquisa



Página gerada pelo Sistema Currículo Lattes em 18/11/2018 às 21:26:38