Adenilso da Silva Simão

Pós-doutorado

Idiomas

Áreas de atuação

Organização de eventos

Participação em bancas

Orientou

Produções bibliográficas

• RAMOS, RODRIGO HENRIQUE ; DE OLIVEIRA LAGE FERREIRA, CYNTHIA ; Simao, Adenilso . Human Protein-Protein Interaction Networks: A Topological Comparison Review. HELIYON , v. 1, p. e27278, 2024.

• SIMÃO, ADENILSO ; EVANGELISTA, A. ; SOUZA, A. G. ; FERREIRA, C. O. L. ; CUTIGI, JORGE ; RIBEIRO, Paulo Henrique ; RAMOS, R. H. . ACDBio: The Biological Data Computational Analysis group at ICMC/USP, IFSP, and Barretos Cancer Hospital. Journal of Information and Data Management - JIDM , v. 15, p. 61-68, 2024.

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

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

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

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

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

• CAVALCANTI, ANA ; Simao, Adenilso . Fault-based refinement-testing for CSP. SOFTWARE QUALITY JOURNAL , v. 27, p. 529-562, 2019.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

• Simao, A. ; MALDONADO, J. C. ; VINCENZI, A. M. R. ; SANTANA, A. C. L. . A Language for the Description of Program Instrumentation and Automatic Generation of Instrumenters. CLEI Electronic Journal, Chile, v. 6, n.1, p. 1, 2003.

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

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

• Simao, A. ; Morgan, C (Org.) . Formal Methods: Foundations and Applications. 1. ed. Berlin: Springer, 2011. v. 1. 204p .

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

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

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

• FOSTER, M. ; Groz, R. ; Oriat, C ; SIMAO, A ; VEGA, G. ; WALKINSHAW, N. . Active Inference of EFSMs Without Reset. In: 4th International Conference on Formal Engineering Methods, 2023, Brisbane, QLD, Australia. Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods. Berlin: Springer, 2023. v. -. p. 29-46.

• BRAZ, RAFAEL ; Simao, Adenilso ; GROZ, ROLAND ; ORIAT, CATHERINE . Improving Model Learning by Inferring Separating Sequences from Traces. In: 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2023, Dublin. 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2023. p. 45.

• 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. In: Simpósio Brasileiro de Computação Aplicada à Saúde, 2022, Brasil. Anais do XXII Simpósio Brasileiro de Computação Aplicada à Saúde (SBCAS 2022). p. 48-59.

• RIBEIRO, Paulo Henrique ; CUTIGI, Jorge Francisco ; EVANGELISTA, ADRIANE FEIJÓ ; SIMÃO, ADENILSO DA SILVA . Aplicação de simulated annealing para descobrir mutações drivers. In: Simpósio Brasileiro de Computação Aplicada à Saúde, 2022, Brasil. Anais do XXII Simpósio Brasileiro de Computação Aplicada à Saúde (SBCAS 2022). p. 60-71.

• SOUZA, ALFREDO GUILHERME DA SILVA ; Simao, Adenilso . Investigation of the performance of driver mutation identification methods using biological networks and enriched biological networks. In: Simpósio Brasileiro de Computação Aplicada à Saúde, 2022, Brasil. Anais do XXII Simpósio Brasileiro de Computação Aplicada à Saúde (SBCAS 2022). p. 84.

• RAMOS, RODRIGO ; CUTIGI, Jorge Francisco ; FERREIRA, CYNTHIA ; SIMÃO, ADENILSO . TOPOLOGICAL CHARACTERIZATION OF CANCER DRIVER GENES USING REACTOME SUPER PATHWAYS NETWORKS. In: BRAZILIAN SYMPOSIUM ON BIOINFORMATICS - BSB, 2021, Online. BRAZILIAN SYMPOSIUM ON BIOINFORMATICS - BSB. Berlin: Springer, 2021. v. 13063. p. 26-37.

• 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). In: Anais Principais do Simpósio Brasileiro de Computação Aplicada à Saúde, 2020, Brasil. Anais Principais do Simpósio Brasileiro de Computação Aplicada à Saúde (SBCAS 2020). p. 37.

• 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. In: Brazilian Symposium on Bioinformatics, 2020, São Paulo. BSB2020: Advances in Bioinformatics and Computational Biology. Berlin: Springer, 2020. v. 13. p. 81-92.

• PAIVA, SOFIA COSTA ; SIMÃO, ADENILSO . An Experimental Study for Complete-IOCO Theory. In: SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, 2020, Natal Brazil. Proceedings of the 5th Brazilian Symposium on Systematic and Automated Software Testing. New York: ACM, 2020. p. 107.

• ROCHA, MAURICIO ; SIMÃO, ADENILSO ; SOUSA, THIAGO ; BATISTA, MARCELO . Test Case Generation by EFSM Extracted from UML Sequence Diagrams. In: The 31st International Conference on Software Engineering and Knowledge Engineering, 2019, Lisboa, Portugal. org.crossref.xschema._1.Title@3ecc370b, 2019. p. 135.

• DAMASCENO, CARLOS DIEGO NASCIMENTO ; MOUSAVI, MOHAMMAD REZA ; SIMAO, A . Learning from difference: an automated approach for learning family models from software product lines. In: International Systems and Software Product Line Conference, 2019, Paris. Proceedings of the 23rd International Systems and Software Product Line Conference. Nova York: ACM, 2019. v. 1. p. 1-10.

• DAMASCENO, C. D. N. ; MOUSAVI, MOHAMMAD REZA ; Simao, Adenilso . Learning to Reuse: Adaptive Model Learning for Evolving Systems. In: Integrated Formal Methods - 15th International Conference, 2019, Bergen, Noruega. Integrated Formal Methods - 15th International Conference, 2019. v. 1. p. 138-156.

• CUTIGI, Jorge Francisco ; EVANGELISTA, A. ; SIMÃO, ADENILSO . GeNWeMME: a network-based computational method for prioritizing groups of significant related genes in cancer. In: Brazilian Symposium on Bioinformatics, 2019, Fortaleza-CE. Brazilian Symposium on Bioinformatics. Berlin: Springer, 2019. v. 1. p. 29-40.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

• Simao, A. ; MALDONADO, J. C. . Mutation-Based Test Sequence Generation for Petri Nets 2001 (Cadernos de Computação do ICMC).

Outras produções

Projetos de pesquisa

• 2015 - 2018

  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: Concluído; 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 - 2019

  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: Concluído; Natureza: Pesquisa. , Integrantes: Adenilso da Silva Simão - Integrante / Antonio Castelo Filho - Coordenador / Fabricio Simeoni de Sousa - Integrante / Leandro Franco de Souza - Integrante.

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

• 2010 - 2012

  Máquinas de Estados Finitos: Subsídios para a Geração de Testes Completos, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Adenilso da Silva Simão - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 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. , Integrantes: Adenilso da Silva Simão - Integrante / José Carlos Maldonado - Coordenador.

• 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. , Integrantes: Adenilso da Silva Simão - Integrante / José Carlos Maldonado - Coordenador., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.

• 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. , Integrantes: Adenilso da Silva Simão - Integrante / José Carlos Maldonado - Coordenador.

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

Prêmios