Departamento de Sistemas de Computação

Adenilso da Silva Simao

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.

http://lattes.cnpq.br/9836776931160228 (13022023)

Rótulo/Grupo:

Bolsa CNPq:

Período de análise:

Endereço: Universidade de São Paulo. Departamento de Ciências da Computação. Instituto de Ciências Matemáticas e de Computação. Av. Saocarlense, 400 CEP 13560970 - São Carlos, SP - Brasil

Grande área: [sem-grandeArea]

Área: [sem-area]

Citações: Google Acadêmico

Produção bibliográfica

Artigos completos publicados em periódicos (40)
1. 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.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2. 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.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3. 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. v. 6, n. 1, p. 1-, 2003.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4. 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.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5. BONIFACIO, A; MOURA, A; Simao, A.; MALDONADO, J. Towards Deriving Test Sequences by Model Checking. Electronic Notes in Theoretical Computer Science. v. 195, p. 21-40, 2008.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6. SOUZA, S. R. S.; VERGILIO, S. R.; SOUZA, P. S. L.; Simao, A.; HAUSEN, A. C.. Structural testing criteria for message-passing parallel programs. Concurrency and Computation. v. 20, p. 1893-1916, 2008.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7. Simao, A.; PETRENKO, A.; MALDONADO, J. C.. Comparing finite state machine test coverage criteria. IET Software (Print). v. 3, p. 91-105, 2009.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8. Simao, A.; MALDONADO, J. C.; BIGONHA, R. S.. A transformational language for mutant description. Computer Languages, Systems & Structures. v. 35, p. 322-339, 2009.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
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.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10. 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.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11. Simao, A.; PETRENKO, A.. Fault Coverage-Driven Incremental Test Generation. Computer Journal (Print). v. 53, p. 1508-1522, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12. SIMAO, A; PETRENKO, A.. Generating asynchronous test cases from test purposes. Information and Software Technology. v. 53, p. 1252-1262, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13. BONIFACIO, 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.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14. Petrenko, 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.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15. Simao, A.; PETRENKO, A.; Yevtushenko, N.. On reducing test length for FSMs with extra states. Software Testing, Verification & Reliability. v. 22, p. 435-454, 2012.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
16. 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.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
17. ALBERTO, ALEX D. B.; Simao, Adenilso. Iterative minimization of partial finite state machines. Central European Journal of Computer Science. v. 3, p. 91-103, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
18. EL-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.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
19. PETRENKO, A.; Simao, A.. Generalizing the DS-Methods for Testing Non-Deterministic FSMs. Computer Journal (Print). v. 1, p. 1-, 2014.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
20. AMBROSIO, 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.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
21. BELLI, 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.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
22. CUTIGI, 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.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
23. BELLI, 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.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
24. PAIVA, 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.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
25. SOUZA, 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.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
26. PORTO, 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.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
27. BONIFACIO, 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.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
28. ALBERTO, ALEX; CAVALCANTI, ANA; GAUDEL, MARIE-CLAUDE; SIMÃO, ADENILSO. Formal mutation testing for Circus. INFORMATION AND SOFTWARE TECHNOLOGY. v. 81, p. 131-153, 2016.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
29. N. 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.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
30. FRAGAL, 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.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
31. FRAGAL, VANDERSON HAFEMANN; Simao, Adenilso; MOUSAVI, MOHAMMAD REZA. Hierarchical featured state machines. SCIENCE OF COMPUTER PROGRAMMING. v. 1, p. 1-, 2018.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
32. CAVALCANTI, ANA; Simao, Adenilso. Fault-based refinement-testing for CSP. SOFTWARE QUALITY JOURNAL. v. 27, p. 529-562, 2019.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
33. ENDO, ANDRE TAKESHI; Simao, Adenilso. Event tree algorithms to generate test sequences for composite Web services. SOFTWARE TESTING VERIFICATION & RELIABILITY. v. 29, p. e1637-, 2019.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
34. SOUSA, F.S.; LAGES, C.F.A.; ANSONI, J.L.; CASTELO, A.; Simao, A.. A finite difference method with meshless interpolation for incompressible flows in non-graded tree-based grids. JOURNAL OF COMPUTATIONAL PHYSICS. v. 396, p. 848-866, 2019.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
35. CUTIGI, Jorge Francisco; EVANGELISTA, ADRIANE FEIJO; Simao, Adenilso. Approaches for the identification of driver mutations in cancer: A tutorial from a computational perspective. Journal of Bioinformatics and Computational Biology. v. 18, p. 2050016-, 2020.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
36. GROZ, ROLAND; BREMOND, NICOLAS; Simao, Adenilso; ORIAT, CATHERINE. hW-inference: A heuristic approach to retrieve models through black box testing. JOURNAL OF SYSTEMS AND SOFTWARE. v. 159, p. 110426-, 2020.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
37. DAMASCENO, CARLOS DIEGO NASCIMENTO; MOUSAVI, MOHAMMAD REZA; SIMAO, ADENILSO DA SILVA. Learning by sampling: learning behavioral family models from software product lines. EMPIRICAL SOFTWARE ENGINEERING. v. 26, p. 4-, 2021.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
38. ROCHA, MAURICIO; SIMÃO, ADENILSO; SOUSA, THIAGO. Model-based test case generation from UML sequence diagrams using extended finite state machines. SOFTWARE QUALITY JOURNAL. v. 1, p. 1-33, 2021.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
39. CUTIGI, Jorge Francisco; EVANGELISTA, ADRIANE FEIJO; REIS, RUI MANUEL; Simao, Adenilso. A computational approach for the discovery of significant cancer genes by weighted mutation and asymmetric spreading strength in networks. Scientific Reports. v. 11, p. 1-, 2021.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
40. EL-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.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Livros publicados/organizados ou edições (3)
1. PETRENKO, A.; SIMAO, A; MALDONADO, J. C.. 22nd IFIP WG 6.1 International Conference on Testing Software and Systems. Springer, 2010. .
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2. Simao, A.; Morgan, C. Formal Methods: Foundations and Applications. 1 ed. Springer, 2011. v. 7021, p. 204.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3. DAVIES, J; SILVA, L; SIMAO, A. Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods. 2011. .
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Capítulos de livros publicados (1)
1. Simao, A.. Teste Baseado em Modelos. Em: Introdução ao Teste de Software. : Elsivier. 2007.p. 27-46.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Textos em jornais de notícias/revistas (0)
Trabalhos completos publicados em anais de congressos (79)
1. 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. Em: XIV Simpósio Brasileiro de Engenharia de Software, v. 1, p. 227-242, 2000.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2. Simao, A.; MALDONADO, J. C.. Mutation Based Test Sequence Generation for Petri Nets. Em: III Workshop of Métodos Formais, v. 1, p. 68-79, 2000.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3. Simao, A.; MALDONADO, J. C.. MuDeL: A Language and a System for Describing and Generating Mutants. Em: XV Simpósio Brasileiro de Engenharia de Software, v. 1, p. 240-255, 2001.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4. 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. Em: 1a Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento, v. 1, p. 15-22, 2001.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5. 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. Em: Caderno de Ferramentas do XV Simpósio Brasileiro de Engenharia de Software, v. 1, p. 386-391, 2001.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6. Simao, A.; VINCENZI, A. M. R.; MALDONADO, J. C.. mudelgen: A Tool for Processing Mutant Operator Description. Em: Simpósio Brasileiro de Engenharia de Software, v. 1, p. 426-431, 2002.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7. VINCENZI, A. M. R.; DELAMARO, M. E.; Simao, A.; WONG, E.; MALDONADO, J. C.. JaBÁ: A Java Bytecode Analyzer. Em: Simpósio Brasileiro de Engenharia de Software, v. 1, p. 414-419, 2002.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8. 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. Em: Simpósio Brasileiro de Engenharia de Software, v. 1, p. 384-389, 2002.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9. Simao, A.; MALDONADO, J. C.; BIGONHA, R. S.. Using Denotational Semantics in the Valitation of the Compiler for a Mutation-Oriented Language. Em: 5th Workshop on Formal Methods, v. 1, p. 4-19, 2002.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10. Simao, A.; VINCENZI, A. M. R.; MALDONADO, J. C.; SANTANA, A. C. L.. IDeL: A Language for Program Instrumentation. Em: Conferencia Latinoamericana de Informática CLEI, v. 1, p. 1-12, 2002.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11. Simao, A.; SOUZA, S. R. S.; MALDONADO, J. C.. A Family of Coverage Testing Criteria for Coloured Petri Nets. Em: Simpósio Brasileiro de Engenharia de Software, v. 1, p. 209-224, 2003.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12. YANO, T.; Simao, A.; MALDONADO, J. C.. Proteum/SML: Uma Ferramenta de Apoio ao Teste de Mutação para a Linguagem Standard ML. Em: Simpósio Brasileiro de Engenharia de Software, v. 1, p. 1-6, 2003.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13. YANO, T.; Simao, A.; MALDONADO, J. C.. Estudo do Teste de Mutação para a Linguagem Standard ML. Em: 30 TH CONFERENCIA LATINOAMERICANA DE INFORMÁTICA, v. 1, p. 734-744, 2004.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14. ROCHA, A. D.; Simao, A.; MALDONADO, J. C.; MASIERO, Paulo Cesar. Teste Funcional: Uma abordagem Auxiliada por Aspectos. Em: I Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos, v. 1, p. 1-12, 2004.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15. VINCENZI, A. M. R.; DELAMARO, M. E.; Simao, A.; MALDONADO, J. C.. Muta-Pro: Towards the Definition of a Mutation Testing Process. Em: 6th Latin-american test workshop (LATW'05), v. 1, p. 149-154, 2005.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
16. 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. Em: International Conference on Software Engineering and Knowledge Engineering, v. 1, p. 386-392, 2005.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
17. ROCHA, A. D.; Simao, A.; MALDONADO, J. C.; MASIERO, Paulo Cesar. Uma ferramenta baseada em aspectos para o teste funcional de programas Java. Em: Simposio Brasileiro de Engenharia de Software, v. 1, p. 263-278, 2005.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
18. 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. Em: Sessão de Ferramentas do Simpósio Brasileiro de Engenharia de Software, v. 1, p. 1-6, 2005.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
19. Simao, A.; MALDONADO, J. C.. Sim/CPN: A Web-Based Simulator for Coloured Petri Nets. Em: Sessão de Ferramentas do Simpósio Brasileiro de Engenharia de Software, v. 1, p. 1-6, 2005.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
20. BONIFACIO, A. L.; Simao, A.; MOURA, A.; MALDONADO, J. C.. Conformance Testing by Model Checking Timed Extended Finite State Machines. Em: Simpósio Brasileiro de Métodos Formais, v. 1, p. 43-58, 2006.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
21. Simao, A.; SOUZA, E. P.; MONACO, F. J.; MARTIMIANO, L. A. F.. Multidisciplinaridade com o uso de Jogos Eletrônicos. Em: XIV Workshop sobre Educação em Computação, v. 1, p. 196-205, 2006.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
22. 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. Em: 30th Annual International Computer Software and Applications Conference, v. 1, p. 1-4, 2006.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
23. 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. Em: VIII Encontro de Modelagem Computacional, v. 1, p. 1-8, 2005.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
24. 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. Em: Workshop de Jogos Digitais na Educação, XVI Simpósio Brasileiro de Informática na Educação, v. 1, p. 1-3, 2005.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
25. 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. Em: Simpósio Brasileiro de Engenharia de Software, v. 1, p. 1-6, 2006.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
26. HAUSEN, A. C.; VERGILIO, S. R.; SOUZA, S. R. S.; SOUZA, P. S. L.; Simao, A.. A Tool for Structural Testing of MPI Programs. Em: LAtin-American Test Workshop - LATW, 2007, p. 1-1, 2007.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
27. NAKAGAWA, E. Y.; Simao, A.; MALDONADO, J. C.. Addressing Separation of Concerns in Software Engineering Environments. Em: The IASTED International Conference on Software Engineering, 2007, v. 1, p. 1-6, 2007.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
28. NAKAGAWA, E. Y.; Simao, A.; FERRARI, Fabiano Cutigi; MALDONADO, Jose Carlos. Towards a Reference Architecture for Software Testing Tools. Em: The Nineteenth International Conference on Software Engineering and Knowledge Engineering, v. 1, p. 1-6, 2007.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
29. Simao, A.; PETRENKO, A.; MALDONADO, J. C.. Experimental Evaluation of Coverage Criteria for FSM-based Testing. Em: Simposio Brasileiro de Engenharia de Software, p. 359-376, 2007.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
30. ENDO, A. T.; Simao, A.; SOUZA, S. R. S.; SOUZA, P. S. L.. Aplicação de Teste Estrutural para Composição de Web Services. Em: Brazilian Workshop on Systematic and Automated Software Testing, p. 13-20, 2007.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
31. MELLO NETO, Lucio Felipe de; Simao, A.. Minimização de Conjuntos de Casos de Teste por meio de Condições de Suficiência. Em: Brazilian Workshop on Systematic and Automated Software Testing, p. 55-62, 2007.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
32. 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. Em: 19th International Symposium on Computer Architecture and High Performance Computing - 1st Workshop on Languages and Tools for Parallel and Distributed Programing (LTPD2007), v. 1, p. 18-21, 2007.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
33. MELLO NETO, Lucio Felipe de; Simao, A.. Test Suite Minimization Based on FSM Completeness Sufficient Conditions. Em: 9th IEEE Latin-American Test Workshop, v. 1, p. 93-98, 2008.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
34. 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. Em: Euro PVM/MPI 2008, v. 1, p. 257-264, 2008.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
35. 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. Em: TaicPart: Testing Academic & Industrial Conference - Practice and Research Techniques, v. 1, p. 3-12, 2008.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
36. SARMANHO, F. S.; SOUZA, P. S. L.; SOUZA, S. R. S.; Simao, A.. Structural Testing for Semaphore-Based Multithread Programs. Em: International Conference on Computer Science, 2008, v. 1, p. 337-346, 2008.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
37. Simao, A.; PETRENKO, A.. Generating Checking Sequences for Partial Reduced Finite State Machines. Em: 20th IFIP Int. Conference on Testing of Communicating Systems (TESTCOM), v. 1, p. 153-168, 2008.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
38. BONIFACIO, A. L.; MOURA, A.; Simao, A.. A Generalized Model-based Test Generation Method. Em: 6th IEEE International Conferences on SOFTWARE ENGINEERING AND FORMAL METHODS, v. 1, p. 139-148, 2008.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
39. Simao, A.; PETRENKO, A.. Checking Sequence Generation Using State Distinguishing Subsequences. Em: 5th Workshop on Advances in Model Based Testing, v. 1, p. 1-10, 2009.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
40. ALBERTO, A.; Simao, A.. Minimization of Incompletely Specified Finite State Machines Based on Distinction Graphs. Em: IEEE Latin-American Test Workshop, v. 1, p. 1-6, 2009.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
41. Simao, A.; PETRENKO, A.; Yevtushenko, N.. Generating Reduced Tests for FSMs with Extra States. Em: TestCom, v. 1, p. 129-147, 2009.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
42. Dusse, F.; Simao, A.; MALDONADO, J. C.. Análise de Mutantes Aplicada a Critérios de Cobertura de Teste a partir de MEFs. Em: SBMF/SAST, v. 1, p. 41-50, 2009.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
43. RIBEIRO, Paulo Henrique; CUTIGI, Jorge Francisco; Simao, A.. Geração de Seqüências de Verificação baseada em Algoritmos Genéticos. Em: SBMF/SAST, v. 1, p. 61-70, 2009.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
44. SIMAO, A; PETRENKO, A.. From Test Purposes to Asynchronous Test Cases. Em: 6th Workshop on Advances in Model Based Testing (A-MOST), p. 1-10, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
45. 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. Em: XI Workshop de Testes e Tolerância a Falhas, v. 1, p. 105-117, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
46. ENDO, A. T.; LINDSHULTE, M.; Simao, A.; SOUZA, S. R. S.. Event- and Coverage-Based Testing of Web Services. Em: 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), v. 1, p. 1-8, 2010.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
47. ENDO, A. T.; SIMAO, A. Model-Based Testing of Service-Oriented Applications via State Models. Em: 8th IEEE International Conference on Services Computing, v. 1, p. 432-439, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
48. 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. Em: 23rd International Conference on Software Engineering and Knowledge Engineering, v. 1, p. 207-212, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
49. PETRENKO, A.; SIMAO, A; Yevtushenko, N.. Generating Checking Sequences for Nondeterministic Finite State Machines. Em: Fifth International Conference on Software Testing, Verification and Validation, v. 1, p. 310-319, 2012.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
50. ENDO, Andre; SIMAO, A. Experimental Comparison of Test Case Generation Methods for Finite State Machines. Em: A-MOST, p. 549-558, 2012.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
51. Capellari, M. L.; GIMENES, I. M. S.; SIMAO, A; ENDO, A. T.. Towards Incremental FSM-based Testing of Software Product Lines. Em: Simpósio Brasileiro de Qualidade de Software, p. 9-23, 2012.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
52. PORTO, F.; ENDO, A. T.; Simao, A.. Generation of Checking Sequences Using Identification Sets. Em: Conference on Formal Engineering Methods, v. 8144, p. 115-130, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
53. 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. Em: Workshop de Teses e Dissertações do CBSoft, p. 1-6, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
54. PINHEIRO, P.; ENDO, ANDRE TAKESHI; SIMAO, A. Model-Based Testing of RESTful Web Services Using UML Protocol State Machines. Em: Brazilian Workshop on Systematic and Automatic Software Testing, p. 1-10, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
55. ENDO, Andre; BERNARDINO, M.; RODRIGUES, E.; SIMAO, A; RODRIGUES, F.; ZORZO, A.. An Industrial Experience on using Models to Test Web Service-Oriented Applications. Em: Information Integration and Web-based Applications and Services, p. 1-10, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
56. Simao, Adenilso; PETRENKO, A.. Generating Complete and Finite Test Suite for ioco: Is It Possible?. Em: 9Th Model-Based Testing, v. 141, p. 56-70, 2014.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
57. El-Fakih, K.; Simao, A.; Jadoon, N.; Maldonado, J.C.. On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria. Em: Mutation 2014, p. 222-229, 2014.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
58. DAMASCENO, C. D. N.; DELAMARO, M. E.; SIMÃO, A. S.. Uma Revisao Sistemática em Teste de Seguranca Baseado em Modelos. Em: 8th Brazilian Workshop on Systematic and Automated Software Testing -- Brazilian Conference on Software: theory and practice, v. s/n, p. 31-40, 2014.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
59. PAIVA, S. L. C.; Simao, A.. A systematic mapping study on test generation from Input/Output Transition Systems. Em: SEAA 2015 - 41st Euromicro Conference on Software Engineering and Advanced Applications, v. 1, p. 333-340, 2015.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
60. PETRENKO, A.; Simao, A.. Checking Experiments for Finite State Machines with Symbolic Inputs. Em: XXVII International Conference on Testing Software and Systems, v. 9447, p. 3-18, 2015.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
61. Groz, R.; Simao, A.; PETRENKO, A.; Oriat, C. Inferring Finite State Machines Without Reset Using State Identification Sequences. Em: XXVII International Conference on Testing Software and Systems, v. 9447, p. 161-177, 2015.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
62. PORTO, F.; SIMAO, A. Feature Subset Selection for Instance Filtering Methods on Cross-project Defect Prediction. Em: Ibero-American Conference on Software Engineering - CIBSE - ESELAW, p. 171-184, 2016.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
63. DAMASCENO, CARLOS DIEGO NASCIMENTO; MASIERO, Paulo Cesar; Simao, Adenilso. Evaluating test characteristics and effectiveness of FSM-based testing methods on RBAC systems. Em: the 30th Brazilian Symposium, p. 83-92, 2016.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
64. PAIVA, SOFIA COSTA; Simao, Adenilso; VARSHOSAZ, MAHSA; MOUSAVI, MOHAMMAD REZA. Complete IOCO test cases: a case study. Em: the 7th International Workshop, p. 38-44, 2016.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
65. V. H. Fragal; SIMAO, A; MOUSAVI, MOHAMMAD REZA. Validated Test Models for Software Product Lines: Featured Finite State Machines. Em: The 13th International Conference on Formal Aspects of Component Software, v. 13, p. 210-217, 2016.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
66. FRAGAL, VANDERSON HAFEMANN; Simao, Adenilso; ENDO, ANDRE TAKESHI; MOUSAVI, MOHAMMAD REZA. Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines. Em: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), p. 329-336, 2017.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
67. Cavalcanti, A.; SIMAO, A. Fault-Based Testing for Refinement in CSP. Em: International Conference on Testing Software and Systems, p. 21-37, 2017.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
68. ROCHA, MAURICIO; SIMÃO, ADENILSO; SOUSA, THIAGO; BATISTA, MARCELO. Test Case Generation by EFSM Extracted from UML Sequence Diagrams. Em: The 31st International Conference on Software Engineering and Knowledge Engineering, p. 135-, 2019.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
69. DAMASCENO, CARLOS DIEGO NASCIMENTO; MOUSAVI, MOHAMMAD REZA; SIMAO, A. Learning from difference: an automated approach for learning family models from software product lines. Em: International Systems and Software Product Line Conference, v. 1, p. 1-10, 2019.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
70. DAMASCENO, C. D. N.; MOUSAVI, MOHAMMAD REZA; Simao, Adenilso. Learning to Reuse: Adaptive Model Learning for Evolving Systems. Em: Integrated Formal Methods - 15th International Conference, v. 1, p. 138-156, 2019.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
71. CUTIGI, Jorge Francisco; EVANGELISTA, A.; SIMÃO, ADENILSO. GeNWeMME: a network-based computational method for prioritizing groups of significant related genes in cancer. Em: Brazilian Symposium on Bioinformatics, v. 1, p. 29-40, 2019.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
72. RAMOS, RODRIGO; CUTIGI, JORGE; FERREIRA, CYNTHIA; EVANGELISTA, ADRIANE; SIMÃO, ADENILSO. Analyzing different cancer mutation data sets from breast invasive carcinoma (BRCA), lung adenocarcinoma (LUAD), and prostate adenocarcinoma (PRAD). Em: Anais Principais do Simpósio Brasileiro de Computação Aplicada à Saúde, p. 37-, 2020.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
73. CUTIGI, Jorge Francisco; EVANGELISTA, R. F.; RAMOS, RODRIGO; FERREIRA, CYNTHIA; EVANGELISTA, A.; CARVALHO, A. C. P. L. F; Simao, Adenilso. Combining Mutation and Gene Network Data in a Machine Learning Approach for False-Positive Cancer Driver Gene Discovery. Em: Brazilian Symposium on Bioinformatics, v. 13, p. 81-92, 2020.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
74. PAIVA, SOFIA COSTA; SIMÃO, ADENILSO. An Experimental Study for Complete-IOCO Theory. Em: SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, p. 107-, 2020.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
75. RAMOS, RODRIGO; CUTIGI, Jorge Francisco; FERREIRA, CYNTHIA; SIMÃO, ADENILSO. TOPOLOGICAL CHARACTERIZATION OF CANCER DRIVER GENES USING REACTOME SUPER PATHWAYS NETWORKS. Em: BRAZILIAN SYMPOSIUM ON BIOINFORMATICS - BSB, v. 13063, p. 26-37, 2021.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
76. RAMOS, RODRIGO HENRIQUE; FERREIRA, CYNTHIA DE OLIVEIRA LAGE; SIMÃO, ADENILSO. The Survival Rate Among Unvaccinated, First Dose, and Second Dose Brazilian Hospitalized and ICU COVID Patients by Age Group. Em: Simpósio Brasileiro de Computação Aplicada à Saúde, p. 48-59, 2022.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
77. RIBEIRO, Paulo Henrique; CUTIGI, Jorge Francisco; EVANGELISTA, ADRIANE FEIJÓ; SIMÃO, ADENILSO DA SILVA. Aplicação de simulated annealing para descobrir mutações drivers. Em: Simpósio Brasileiro de Computação Aplicada à Saúde, p. 60-71, 2022.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
78. SOUZA, ALFREDO GUILHERME DA SILVA; Simao, Adenilso. Investigation of the performance of driver mutation identification methods using biological networks and enriched biological networks. Em: Simpósio Brasileiro de Computação Aplicada à Saúde, p. 84-, 2022.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
79. Belli, F; ENDO, A. T.; LINDSHULTE, M.; SIMAO, A. Model-based testing of web service compositions. Em: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6139107&tag=1, v. 1, p. 181-192, 2011.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Resumos expandidos publicados em anais de congressos (7)
1. 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. Em: XIV Simpósio Brasileiro de Engenharia de Software, v. 1, p. 376-379, 2000.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2. Simao, A.; MALDONADO, J. C.. Coloured Petri Nets: Safety Analysis Using Mutation Testing. Em: Latin American Symposium on Dependable Computing, v. 1, p. 1-4, 2003.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
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. Em: Mutation 2000: A Symposium on Mutation Testing for the New Century, v. 1, p. 146-149, 2000.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4. Petrenko, Alexandre; SIMAO, A. Generating Checking Sequences for User Defined Fault Models. Em: International Conference on Testing Software and Systems, p. 320-325, 2017.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5. Groz, R.; Oriat, C; SIMAO, A. Adaptive Localizer Based on Splitting Trees. Em: International Conference on Testing Sofware and Systems, p. 326-332, 2017.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6. OLIVEIRA, RICARDO RAMOS DE; MARTINS, RAFAEL MESSIAS; SIMAO, ADENILSO DA SILVA. Impact of the Vendor Lock-in Problem on Testing as a Service (TaaS). Em: 2017 IEEE International Conference on Cloud Engineering (IC2E), p. 190-, 2017.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7. GROZ, ROLAND; Simao, Adenilso; BREMOND, NICOLAS; ORIAT, CATHERINE. Revisiting AI and testing methods to infer FSM models of black-box systems. Em: the 13th International Workshop, p. 16-, 2018.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Resumos publicados em anais de congressos (2)
1. Simao, A.; GIMENES, I. M. S.. Refinamento de Especificações Formais de Sistemas em Lógica Modal de Ações. Em: VI Encontro Anual de Iniciação Científica, v. 1, n. 1, p. 24-24, 1997.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2. 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. Em: Simpósio Internacional de Iniciação Científica da USP, v. 1, n. 1, p. 8-8, 2000.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Artigos aceitos para publicação (0)
Apresentações de trabalho (0)
Demais tipos de produção bibliográfica (2)
1. Simao, A.; VINCENZI, A. M. R.; MALDONADO, J. C.; SANTANA, A. C. L.. IDeL: A Language for Program Instrumentation. 2002. . (Cadernos de computação do icmc)
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2. Simao, A.; MALDONADO, J. C.. Mutation-Based Test Sequence Generation for Petri Nets. 2001. . (Cadernos de computação do icmc)
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

Produção técnica

Programas de computador com registro de patente (0)
Programas de computador sem registro de patente (0)
Produtos tecnológicos (0)
Processos ou técnicas (0)
Trabalhos técnicos (23)
1. . Software product instrumentation description. 2002.
  [ busca Google | busca Bing ]
2. . Simpósio brasileiro de engenharia de software 2001 (seção de ferramentas). 2001.
  [ busca Google | busca Bing ]
3. . International symposium on software reliability engineering 2001. 2001.
  [ busca Google | busca Bing ]
4. . 1st international workshop on software engineering for large-scale multi-agent systems. 2001.
  [ busca Google | busca Bing ]
5. . Ieee transaction on software engineering. 2001.
  [ busca Google | busca Bing ]
6. . Revista eletrônica de iniciação científica. 2001.
  [ busca Google | busca Bing ]
7. . Simpósio brasileiro de engenharia de software 2002 (seção de ferramentas). 2002.
  [ busca Google | busca Bing ]
8. . Simpósio brasileiro de engenharia de software 2002. 2002.
  [ busca Google | busca Bing ]
9. . Workshop de desenvolvimento baseado em componentes. 2002.
  [ busca Google | busca Bing ]
10. . Seminário integrado de software e hardware. 2002.
  [ busca Google | busca Bing ]
11. . Workshop de desenvolvimento baseado em componentes. 2002.
  [ busca Google | busca Bing ]
12. . Edição especial do lecture notes on computer science. 2002.
  [ busca Google | busca Bing ]
13. . Acm symposium on document engineering. 2002.
  [ busca Google | busca Bing ]
14. . Journal of brasilian computer society. 2003.
  [ busca Google | busca Bing ]
15. . International symposium on autonomous decentralized systems. 2002.
  [ busca Google | busca Bing ]
16. . 2nd international workshop on software engineering for large-scale multi-agent systems. 2003.
  [ busca Google | busca Bing ]
17. . Revista de informática teórica e aplicada. 2009.
  [ busca Google | busca Bing ]
18. . Journal of universal computer science. 2009.
  [ busca Google | busca Bing ]
19. . Ieee transactions on software engineering. 2009.
  [ busca Google | busca Bing ]
20. . Software testing, verification and reliability. 2009.
  [ busca Google | busca Bing ]
21. . Science of computer programming. 2009.
  [ busca Google | busca Bing ]
22. . Journal of service science and management. 2009.
  [ busca Google | busca Bing ]
23. . Journal of brazilian computer science. 2009.
  [ busca Google | busca Bing ]
Demais tipos de produção técnica (0)

Produção artística

Total de produção artística (0)

Orientações em andamento

Supervisão de pós-doutorado (0)
Tese de doutorado (2)
1. Alfredo Guilherme da Silva Souza. Proteonica aplicada a detecção de Cancer. Instituto de Ciências Matemáticas e de Computação, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2019.
  Tese de doutorado: Adenilso da Silva Simão.
2. Rodrigo Henrique Ramos. Discovery of cancer genes patterns using super pathways networks topology. Universidade de São Paulo, . Início: 2020.
  Tese de doutorado: Adenilso da Silva Simão.
Dissertação de mestrado (1)
1. Rafael dos Santos Braz. Verificação da Transformadores de Código. Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2020.
  Dissertação de mestrado: Adenilso da Silva Simão.
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (0)
Iniciação científica (0)
Orientações de outra natureza (0)

Supervisões e orientações concluídas

Supervisão de pós-doutorado (2)
1. Sofia Larissa da Costa Paiva. . Instituto de Ciências Matemáticas e de Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2017.
  Supervisão de pós-doutorado: Adenilso da Silva Simão.
2. André Takeshi Endo. . Instituto de Ciências Matemáticas e de Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
  Supervisão de pós-doutorado: Adenilso da Silva Simão.
Tese de doutorado (12)

Andre Takeshi Endo. Investigação de Teste Baseado em Máquinas de Estados Finitos Aplicado a Serviços Web. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Tese de doutorado: Adenilso da Silva Simão.
Sofia Larissa Costa. Teste de Sistemas de Transição com Entrada e Saída. Instituto de Ciências Matemáticas e de Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2016.
Tese de doutorado: Adenilso da Silva Simão.
Alex Doniseti Betez Alberto. Geração de Teste a Partir de Modelos de Estados Enriquecidos. Instituto de Ciências Matemáticas e de Computação, . 2012.
Tese de doutorado: Adenilso da Silva Simão.
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. Instituto de Ciências Matemáticas e de Computação, . 2013.
Tese de doutorado: Adenilso da Silva Simão.
Faimison Rodrigues Porto. Cross-project defect prediction with meta-Learning. Instituto de Ciências Matemáticas e de Computação, . 2017.
Tese de doutorado: Adenilso da Silva Simão.
Ricardo Ramos de Oliveira. Investigação de T ecnicas e Modelos para o Teste de Desempenho de Web Services. Instituto de Ciências Matemáticas e de Computação, . 2013.
Tese de doutorado: Adenilso da Silva Simão.
Carlos Diego Nascimento Damasceno. Learning finite state machine models of evolving systems: From evolution over time to variability in space. Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Tese de doutorado: Adenilso da Silva Simão.
Jorge Francisco Cutigi. Abordagens computacionais para a descoberta de genes significativos para o cancer. Instituto de Ciências Matemáticas e de Computação, . 2021.
Tese de doutorado: Adenilso da Silva Simão.
Mariana Soller Ramada. Geração de Sequencias de Teste para Maquinas de Estados Finitos Baseado em Busca. Universidade Federal de Goiás, . 2020.
Tese de doutorado: Adenilso da Silva Simão.
Carlos Diego Nascimento Damasceno. Aprendizado de modelos de maquinas de estados finitos de sistemas em evolucao: Da evolucao ao longo do tempo para variabilidade em espaco. Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020.
Tese de doutorado: Adenilso da Silva Simão.
Mauricio Rêgo Mota da Rocha. Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML. Universidade de São Paulo, . 2020.
Tese de doutorado: Adenilso da Silva Simão.
Mauricio Rêgo Mota da Rocha. Redução de Testes Gerados a partir de Modelos Formais Extraídos de Diagramas UML. Instituto de Ciências Matemáticas e de Computação, . 2015.
Tese de doutorado: Adenilso da Silva Simão.
Dissertação de mestrado (12)

Andre Endo. Teste de Composição de Web Services: Uma Estratégia Baseada em um Modelo de Teste de Programas Paralelos. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2008.
Dissertação de mestrado: Adenilso da Silva Simão.
Alex Alberto. Métodos de Geração de Casos de Teste a partir de Conjuntos Confimados. Instituto de Ciências Matemáticas e de Computação, . 2008.
Dissertação de mestrado: Adenilso da Silva Simão.
Jorge Francisco Cutigi. Investigacao de Melhorias em Metodos de Geracao de Casos de Teste a partir de Modelos. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2008.
Dissertação de mestrado: Adenilso da Silva Simão.
Paulo Henrique Ribeiro. Investigacao de Heuristicas para a Geracao de Sequeencias de Veri. Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008.
Dissertação de mestrado: Adenilso da Silva Simão.
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. Instituto de Ciências Matemáticas e de Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012.
Dissertação de mestrado: Adenilso da Silva Simão.
Pedro Vitor Pinheiro. Teste Baseado em Máquinas de Estados para Serviços Restful. Instituto de Ciências Matemáticas e de Computação, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2011.
Dissertação de mestrado: Adenilso da Silva Simão.
Faimison Rodrigues. Geração de Sequências de Verificação para MEFs. Instituto de Ciências Matemáticas e de Computação, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013.
Dissertação de mestrado: Adenilso da Silva Simão.
Marcos Fernando Geromini. Teste Baseado em Modelos de Sistemas de Informação. Instituto de Ciências Matemáticas e de Computação, . 2016.
Dissertação de mestrado: Adenilso da Silva Simão.
Carlos Diego Nascimento Damasceno. Geracao de Teste a Partir de Modelos para a Validacao de Controles de Acesso. Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016.
Dissertação de mestrado: Adenilso da Silva Simão.
Moreno Siqueira e Mello. Sistema para testes de stress em uma carteira de opções de moedas. Instituto de Ciências Matemáticas e de Computação, . 2017.
Dissertação de mestrado: Adenilso da Silva Simão.
Felipe Boteon Calderaro. Precificação de opções exóticas utilizando CUDA. Instituto de Ciências Matemáticas e de Computação, . 2017.
Dissertação de mestrado: Adenilso da Silva Simão.
Lucio Felipe de Mello Neto. Estrategia para a Reducao do Custo do Teste Baseado em Maquinas de Estados Finito. Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2006.
Dissertação de mestrado: Adenilso da Silva Simão.
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (7)

Fabiano Cutigi Ferrari. Uma Ferramenta para Extracao e Conversao de Informacoes de Curriculos Lattes. Universidade de São Paulo, . 2005.
Trabalho_de_conclusao_de_curso_graduacao: Adenilso da Silva Simão.
Guilherme Botelho Diniz Junqueira. Determinação da Seqüência de Separação Mínima a partir de Casos de Teste Definidos. Universidade de São Paulo, . 2007.
Trabalho_de_conclusao_de_curso_graduacao: Adenilso da Silva Simão.
Rodolfo João Almeida Arruda Filho. Otimização de implementação de máquinas de estados em sistemas embarcados passivos. Instituto de Ciências Matemáticas e de Computação, . 2011.
Trabalho_de_conclusao_de_curso_graduacao: Adenilso da Silva Simão.
Alessandro Oliveira Woserow. Elaboração de soluções unificadas para gestão de projetos com desenvolvimento ágil. Instituto de Ciências Matemáticas e de Computação, . 2010.
Trabalho_de_conclusao_de_curso_graduacao: Adenilso da Silva Simão.
Pedro Balan. Aplicação de Testes de Software em Desenvolvimento Web utilizando Angular e NodeJS. Universidade de São Paulo, . 2019.
Trabalho_de_conclusao_de_curso_graduacao: Adenilso da Silva Simão.
RAFAEL IGNAN MACHADO. Balanceamento de linha de produção com restrições: aplicação em uma linha real. Universidade de São Paulo, . 2019.
Trabalho_de_conclusao_de_curso_graduacao: Adenilso da Silva Simão.
Rodrigo Augusto Valeretto. Análise de algoritmos para a predição da nota Capes de cursos de pós-graduação. Universidade de São Paulo, . 2022.
Trabalho_de_conclusao_de_curso_graduacao: Adenilso da Silva Simão.
Iniciação científica (8)

Jorge Francisco Cutigi. Investigaçao de Mecanismos para a Geraçao de Casos de Teste a Partir de Maquinas de Estados Finitos Parciais. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2005.
Iniciacao_cientifica: Adenilso da Silva Simão.
Mario Sandos Camillo. Estudo e Definiçao de Mecanismos de Instrumentaçao para a Execuçao Controlada de Testes em Programas Paralelos. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2005.
Iniciacao_cientifica: Adenilso da Silva Simão.
Paulo Henrique Ribeiro. Desenvolvimento de um Parser para a Linguagem de Script do Simulador do Projeto Gesar. Universidade de São Paulo, . 2005.
Iniciacao_cientifica: Adenilso da Silva Simão.
Leonardo Filonones Teixeira. Implementacao de um Modulo para a Selecao de Casos de Teste para a Ferramenta Plavis/FSM. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2005.
Iniciacao_cientifica: Adenilso da Silva Simão.
José Augusto Stuchi. Investigação de um Algoritmo para a Determinação de Seqüências de Separação. Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007.
Iniciacao_cientifica: Adenilso da Silva Simão.
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. Instituto de Ciências Matemáticas e de Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Iniciacao_cientifica: Adenilso da Silva Simão.
Henrique Bonini de Britto Menezes. Geolocalização de Autores de artigos indexados por DOI. Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Iniciacao_cientifica: Adenilso da Silva Simão.
Eduardo Roder Moreira. Teste de Regressao com o Apoio de Redes Neurais. Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2006.
Iniciacao_cientifica: Adenilso da Silva Simão.
Orientações de outra natureza (0)

Projetos de pesquisa

Total de projetos de pesquisa (10)

2004-2004. Plavis - Plataforma para Validação e Integração de Software em Sistemas Espaciais
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...
Membro: Adenilso da Silva Simão.
2005-2005. Gesar
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.
Membro: Adenilso da Silva Simão.
2009-2009. Investigação de Teste Baseado em Máquinas de Estados Finitos Aplicado a Serviços Web
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.
Membro: Adenilso da Silva Simão.
2008-2008. PROCAD/CAPES -- Integrando e aprimorando atividades de pesquisa, ensina/treinamento transferência tecnológica em teste e validação de software
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..
Membro: Adenilso da Silva Simão.
2010-2010. Máquinas de Estados Finitos: Subsídios para a Geração de Testes Completos

Membro: Adenilso da Silva Simão.
2012-2012. Sistemas de Transição de Entrada/Saída: Apoio para a Geracão de Casos de Teste
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.
Membro: Adenilso da Silva Simão.
2013-2013. 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)
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.
Membro: Adenilso da Silva Simão.
2012-2012. Desenvolvimentos Computacionais Aplicados a Processos de Refino - Escoamentos Multifásicos
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.
Membro: Adenilso da Silva Simão.
2015-2015. Testing techniques for CIRCUS specification languages based on fault models
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.
Membro: Adenilso da Silva Simão.
2007-2007. Qualipso
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.
Membro: Adenilso da Silva Simão.

Prêmios e títulos

Total de prêmios e títulos (1)

Paraninfo dos Formandos do Bacharelado em Sistemas de Informação. ICMC/USP. 2023.
Membro: Adenilso da Silva Simão.

Participação em eventos

Total de participação em eventos (0)

Organização de eventos

Total de organização de eventos (3)

. Brazilian Workshop on Systematic and Automated Software Testing. Sociedade Brasileira de Computação. 2007. Organizacao
. XIV Simpósio Brasileiro de Métodos Formais. SBC. 2011. Organizacao
. 22nd IFIP International Conference on Testing Software and Systems. SBC e IFIP. 2010. Organizacao

Lista de colaborações

Colaborações endôgenas (6)

Adenilso da Silva Simão ⇔ Jose Carlos Maldonado (30.0)
EL-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.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Petrenko, 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.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Simao, A.; PETRENKO, A.; MALDONADO, J. C.. Comparing finite state machine test coverage criteria. IET Software (Print). v. 3, p. 91-105, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Simao, A.; MALDONADO, J. C.; BIGONHA, R. S.. A transformational language for mutant description. Computer Languages, Systems & Structures. v. 35, p. 322-339, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
BONIFACIO, A; MOURA, A; SIMÃO, A. S.; MALDONADO, J. C.. Towards Deriving Test Sequences by Model Checking. Electronic Notes in Theoretical Computer Science. v. 195, p. 21-40, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
VINCENZI, Auri Marcelo Rizzo; SIMÃO, Adenilso da Silva; DELAMARO, Márcio Eduardo; MALDONADO, José Carlos. Muta-Pro: Towards the Definition of a Mutation testing Process. Journal of the Brazilian Computer Society (Impresso). v. 12, p. 46-61, 2006.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
SIMÃO, A. S.; 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. v. 6, n. 1, p. 7-, 2003.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
SIMÃO, A. S.; SUGETA, T.; MALDONADO, J. C.; MONARD, M. C.. Prolog & TXL: A Case Study for Prototyping Structural Testing Supporting Tools. Conferência Latino Americana de Informática Eletronic Journal. v. 5, n. 1, p. 1-10, 2002.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
SIMÃO, A. S.; 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.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
PETRENKO, A.; SIMAO, A; MALDONADO, J. C.. 22nd IFIP WG 6.1 International Conference on Testing Software and Systems. 1 ed. Softcover, 2010. p. 313.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
EL-FAKIH, KHALED; SIMAO, ADENILSO; JADOON, NOSHAD; Maldonado, Jose Carlos. On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria. Em: 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW), p. 222-229, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
DUSSE, F.; SIMÃO, A. S.; MALDONADO, J. C.. Análise de Mutantes Aplicada a Critérios de Cobertura de Teste a partir de MEFs. Em: III Workshop Brasileiro de Teste de Software Sistemático e Automatizado - SBMF/SAST, v. 1, p. 41-50, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
NAKAGAWA, Elisa Yumi; SIMÃO, Adenilso da Silva; MALDONADO, José Carlos. Addressing Separation of Concerns in Software Engineering Environments. Em: IASTED International Conference on Software Engineering (IASTED SE 2007), v. 1, p. 1-6, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
NAKAGAWA, Elisa Yumi; SIMÃO, Adenilso da Silva; FERRARI, Fabiano Cutigi; MALDONADO, José Carlos. Towards a Reference Architecture for Software Testing Tools. Em: Nineteenth International Conference on Software Engineering and Knowledge Engineering SEKE'2007, v. 1, p. 157-162, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
SIMÃO, A. S.; PETRENKO, Alexandre; MALDONADO, J. C.. Experimental Evaluation of Coverage Criteria for FSM-based Testing. Em: Simpósio Brasileiro de Engenharia de Software, p. 359-374, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
BONIFÁCIO, A. L.; SIMÃO, A. S.; MOURA, A.; MALDONADO, J. C.. Conformance Testing by Model Checking Timed Extended Finite State Machines.. Em: Simpósio Brasileiro de Métodos Formais, v. 1, p. 43-58, 2006.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
VINCENZI, Auri Marcelo Rizzo; DELAMARO, Márcio Eduardo; SIMÃO, Adenilso da Silva; MALDONADO, José Carlos. Muta-Pro: Towards the Definition of a Mutation Testing Process. Em: 6th Latin-american test workshop (LATW'05), v. 1, p. 149-154, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
ROCHA, A. D.; Simao, A.; MALDONADO, J. C.; MASIERO, Paulo Cesar. Uma ferramenta baseada em aspectos para o teste funcional de programas Java. Em: 20º Simposio Brasileiro de Engenharia de Software (SBES'05), v. 1, p. 263-278, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
YANO, T.; SIMÃO, A. S.; MALDONADO, J. C.. Estudo do Teste de Mutação para a Linguagem Standard ML. Em: 30 TH CONFERENCIA LATINOAMERICANA DE INFORMÁTICA, v. 1, p. 734-744, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
SIMÃO, Adenilso da Silva; SOUZA, S. R. S.; MALDONADO, José Carlos. A Family of Coverage Testing Criteria for Coulored Petri Nets. Em: XVII Simpósio Brasileiro de Engenharia de Software - SBES'2003, v. I, p. 209-224, 2003.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
SIMÃO, A. S.; MALDONADO, J. C.; BIGONHA, R. S.. Using Denotational Semantics in the Valitation of the Compiler for a Mutation-Oriented Language. Em: 5th Workshop on Formal Methods, v. 1, p. 4-19, 2002.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
SIMÃO, A. S.; VINCENZI, A. M. R.; MALDONADO, J. C.; SANTANA, A. C. L.. IDeL: A Language for Program Instrumentation. Em: Conferencia Latinoamericana de Informática CLEI, v. 1, p. 94-94, 2002.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
SIMÃO, A. S.; MALDONADO, J. C.. MuDeL: A Language and a System for Describing and Generating Mutants. Em: XV SBES - Simpósio Brasileiro de Engenharia de Software, v. Único, p. 240-255, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
SIMÃO, A. S.; SUGETA, T.; MALDONADO, J. C.; MONARD, M. C.. Prolog & TXL: Um Estudo de Caso para Prototipação de Ferramentas de Apoio para o Teste Estrutural. Em: 1a Jornadas Iberoamericanas de Ingeniera del Software e Ingeniera del Conocimiento (JIISIC 2001), v. Único, p. 15-22, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
CANDOLO, M. A. P.; SIMÃO, A. S.; MALDONADO, J. C.. MGASet - Uma Ferramenta para Apoiar o Teste e Validação de Especificações Baseadas em Máquinas de Estado Finito. Em: Caderno de Ferramentas do XV Simpósio Brasileiro de Engenharia de Software, v. Único, p. 291-296, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
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. Em: XIV SBES - Simpósio Brasileiro de Engenharia de Software, v. 1, p. 227-242, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
SIMÃO, A. S.; MALDONADO, J. C.. Mutation-based Test Sequence Generation for Petri nets. Em: Workshop de Métodos Formais - XIV Simpósio Brasileiro de Engenharia de Software, v. 1, p. 68-79, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
SIMÃO, A. S.; MALDONADO, J. C.. Coloured petri nets: Safety analysis using mutation testing. Em: First Latin American Symposium on Dependable Computing, v. 1, p. 51-54, 2003.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
CONDOLO, M. A. P.; SIMÃO, A. S.; MALDONADO, J. C.. Mgaset java: geração de sequências de teste para validação de especificações baseada em máquinas de estado finito. Em: Simpósio Internacional de Iniciação Científica da USP, v. 1, n. 1, p. 8-8, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
. Software product instrumentation description. 2002.
[ busca Google | busca Bing ]

Adenilso da Silva Simão ⇔ Simone do Rocio Senger de Souza (13.0)
CUTIGI, 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.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
SOUZA, 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. n/a-n/a, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
SOUZA, S. R. S.; VERGILIO, Silvia Regina; SOUZA, Paulo Sergio Lopes de; SIMÃO, Adenilso da Silva; HAUSEN, Alexandre Ceolin. Structural Testing Criteria for Message-Passing Parallel Programs. Concurrency and Computation. Practice & Experience. v. 20, p. 1893-1916, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
SOUZA, S. R. S.; Souza, P. S. L.; Machado, M C C; Camillo, M S; Simão, A.S.; Zaluska, E. Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality. Em: 23rd International Conference on Software Engineering and Knowledge Engineering, v. 1, p. 207-212, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
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. Em: XI Workshop de Testes e Tolerância a Falhas, v. 1, p. 105-117, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Endo, A.T.; Lindshulte, M.; SIMÃO, Adenilso da Silva; SOUZA, S. R. S.. Event- and Coverage-Based Testing of Web Services. Em: 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), v. 1, p. 1-8, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
SOUZA, Paulo Sergio Lopes de; Sawabe, E. T.; SIMÃO, Adenilso da Silva; VERGILIO, Silvia Regina; SOUZA, S. R. S.. ValiPVM - A Graphical Tool for Structural Testing of PVM Programs. Em: 15th European PVM/MPI Users' Group Meeting, v. 5205, p. 257-264, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Endo, A.T.; SIMÃO, Adenilso da Silva; SOUZA, S. R. S.; SOUZA, Paulo Sérgio Lopes de. Web Services Composition Testing: A Strategy Based on Structural Testing of Parallel Programs. Em: TAIC PART 2008 - Testing: Academic and Industrial Conference - Practice and Research Techniques, v. 1, p. 3-12, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Sarmanho, F.S.; SOUZA, Paulo Sérgio Lopes de; SOUZA, S. R. S.; SIMÃO, Adenilso da Silva. Structural Testing for Semaphore-Based Multithread Programs. Em: International Conference on Computational Science ICCS2008, v. 5101, p. 337-346, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
HAUSEN, Alexandre Ceolin; VERGÍLIO, Silvia Regina; SOUZA, S. R. S.; SOUZA, Paulo Sérgio Lopes de; SIMÃO, Adenilso da Silva. A Tool for Structural Testing of MPI Programs. Em: 8th LATW - IEEE Latin-American Test Workshop, v. 1, p. 1-6, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Endo, A.T.; SIMÃO, Adenilso da Silva; SOUZA, S. R. S.; SOUZA, Paulo Sergio Lopes de. Aplicação de Teste Estrutural para Composição de Web Services. Em: Brazilian Workshop on Systematic and Automated Software Testing (SAST?2007) - collocated with XXI Simpósio Brasileiro de Engenharia de Software, v. 1, p. 13-20, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
SOUZA, S. R. S.; VERGÍLIO, Silvia Regina; SOUZA, Paulo Sergio Lopes de; SIMÃO, Adenilso da Silva; BLISCOSQUE, Thiago Gonçalves; LIMA, Alexandre de Melo; HAUSEN, Alexandre Ceolin. ValiPar: A Testing Tool for Message-Passing Parallel Programs. Em: 17th International Conference on Software Engineering & Knowledge Engineering SEKE2005, v. I, p. 386-391, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
SIMÃO, Adenilso da Silva; SOUZA, S. R. S.; MALDONADO, José Carlos. A Family of Coverage Testing Criteria for Coulored Petri Nets. Em: XVII Simpósio Brasileiro de Engenharia de Software - SBES'2003, v. I, p. 209-224, 2003.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

Adenilso da Silva Simão ⇔ Paulo Sérgio Lopes de Souza (9.0)
SOUZA, 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. n/a-n/a, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
SOUZA, S. R. S.; VERGILIO, Silvia Regina; SOUZA, Paulo Sergio Lopes de; SIMÃO, Adenilso da Silva; HAUSEN, Alexandre Ceolin. Structural Testing Criteria for Message-Passing Parallel Programs. Concurrency and Computation. Practice & Experience. v. 20, p. 1893-1916, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
SOUZA, S. R. S.; Souza, P. S. L.; Machado, M C C; Camillo, M S; Simão, A.S.; Zaluska, E. Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality. Em: 23rd International Conference on Software Engineering and Knowledge Engineering, v. 1, p. 207-212, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
SOUZA, Paulo Sergio Lopes de; Sawabe, E. T.; SIMÃO, Adenilso da Silva; VERGILIO, Silvia Regina; SOUZA, S. R. S.. ValiPVM - A Graphical Tool for Structural Testing of PVM Programs. Em: 15th European PVM/MPI Users' Group Meeting, v. 5205, p. 257-264, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Endo, A.T.; SIMÃO, Adenilso da Silva; SOUZA, S. R. S.; SOUZA, Paulo Sérgio Lopes de. Web Services Composition Testing: A Strategy Based on Structural Testing of Parallel Programs. Em: TAIC PART 2008 - Testing: Academic and Industrial Conference - Practice and Research Techniques, v. 1, p. 3-12, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Sarmanho, F.S.; SOUZA, Paulo Sérgio Lopes de; SOUZA, S. R. S.; SIMÃO, Adenilso da Silva. Structural Testing for Semaphore-Based Multithread Programs. Em: International Conference on Computational Science ICCS2008, v. 5101, p. 337-346, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
HAUSEN, Alexandre Ceolin; VERGÍLIO, Silvia Regina; SOUZA, S. R. S.; SOUZA, Paulo Sérgio Lopes de; SIMÃO, Adenilso da Silva. A Tool for Structural Testing of MPI Programs. Em: 8th LATW - IEEE Latin-American Test Workshop, v. 1, p. 1-6, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Endo, A.T.; SIMÃO, Adenilso da Silva; SOUZA, S. R. S.; SOUZA, Paulo Sergio Lopes de. Aplicação de Teste Estrutural para Composição de Web Services. Em: Brazilian Workshop on Systematic and Automated Software Testing (SAST?2007) - collocated with XXI Simpósio Brasileiro de Engenharia de Software, v. 1, p. 13-20, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
SOUZA, S. R. S.; VERGÍLIO, Silvia Regina; SOUZA, Paulo Sergio Lopes de; SIMÃO, Adenilso da Silva; BLISCOSQUE, Thiago Gonçalves; LIMA, Alexandre de Melo; HAUSEN, Alexandre Ceolin. ValiPar: A Testing Tool for Message-Passing Parallel Programs. Em: 17th International Conference on Software Engineering & Knowledge Engineering SEKE2005, v. I, p. 386-391, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

Adenilso da Silva Simão ⇔ Márcio Eduardo Delamaro (3.0)
VINCENZI, Auri Marcelo Rizzo; SIMÃO, Adenilso da Silva; DELAMARO, Márcio Eduardo; MALDONADO, José Carlos. Muta-Pro: Towards the Definition of a Mutation testing Process. Journal of the Brazilian Computer Society (Impresso). v. 12, p. 46-61, 2006.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
DAMASCENO, Carlos Diego Nascimento; DELAMARO, Márcio Eduardo; SIMÃO, Adenilso da Silva. Uma Revisão Sistemática em Teste de Segurança Baseado em Modelos. Em: 8th Brazilian Workshop on Systematic and Automated Software Testing -- Brazilian Conference on Software: theory and practice, v. s/n, p. n/a-n/a, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
VINCENZI, Auri Marcelo Rizzo; DELAMARO, Márcio Eduardo; SIMÃO, Adenilso da Silva; MALDONADO, José Carlos. Muta-Pro: Towards the Definition of a Mutation Testing Process. Em: 6th Latin-american test workshop (LATW'05), v. 1, p. 149-154, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

Adenilso da Silva Simão ⇔ Elisa Yumi Nakagawa (2.0)
NAKAGAWA, Elisa Yumi; SIMÃO, Adenilso da Silva; MALDONADO, José Carlos. Addressing Separation of Concerns in Software Engineering Environments. Em: IASTED International Conference on Software Engineering (IASTED SE 2007), v. 1, p. 1-6, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
NAKAGAWA, Elisa Yumi; SIMÃO, Adenilso da Silva; FERRARI, Fabiano Cutigi; MALDONADO, José Carlos. Towards a Reference Architecture for Software Testing Tools. Em: Nineteenth International Conference on Software Engineering and Knowledge Engineering SEKE'2007, v. 1, p. 157-162, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

Adenilso da Silva Simão ⇔ Francisco José Monaco (1.0)
SIMAO, A. S.; MONACO, F. J.; MACHADO, E. P.; MARTIMIANO, L. A. F.. Multidisciplinaridade com o uso de Jogos Eletrônicos. Em: XIV Workshop sobre Educação em Computação, v. 1, p. 196-205, 2006.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

(*) Relatório criado com produções desde 1970 até 2023
Data de processamento: 08/03/2023 08:58:44

Relatório gerado por scriptLattes V8.13. Os resultados estão sujeitos a falhas devido a inconsistências no preenchimento dos CVs Lattes. E-mail de contato: artur@icmc.usp.br