Adenilso da Silva Simão

Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão: Model Partitions and Compact Test Case Suites. Int. J. Found. Comput. Sci. 23(1): 147-172 (2012)

Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado: Model-based testing of software and systems: recent advances and challenges. STTT 14(4): 383-386 (2012)

Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko: On reducing test length for FSMs with extra states. Softw. Test., Verif. Reliab. 22(6): 435-454 (2012)

Alexandre Petrenko, Adenilso da Silva Simão, Nina Yevtushenko: Generating Checking Sequences for Nondeterministic Finite State Machines. ICST 2012: 310-319

André Takeshi Endo, Adenilso da Silva Simão: Experimental Comparison of Test Case Generation Methods for Finite State Machines. ICST 2012: 549-558

Vinicius H. S. Durelli, André Takeshi Endo, Adenilso da Silva Simão, Márcio Eduardo Delamaro: Towards Envisaging Software Testing in a Pervasive Computing World. SBES 2012: 201-205

Adenilso da Silva Simão, Alexandre Petrenko: Generating asynchronous test cases from test purposes. Information & Software Technology 53(11): 1252-1262 (2011)

André Takeshi Endo, Adenilso da Silva Simão: Model-Based Testing of Service-Oriented Applications via State Models. IEEE SCC 2011: 432-439

Simone do Rocio Senger de Souza, Paulo S. L. de Souza, Mario C. C. Machado, Mário S. Camillo, Adenilso da Silva Simão, Ed Zaluska: Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality. SEKE 2011: 207-212

Fevzi Belli, André Takeshi Endo, Michael Linschulte, Adenilso da Silva Simão: Model-based testing of web service compositions. SOSE 2011: 181-192

Jim Davies, Leila Silva, Adenilso da Silva Simão (Eds.): Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6527, Springer 2011, isbn 978-3-642-19828-1

Adenilso da Silva Simão, Carroll Morgan (Eds.): Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7021, Springer 2011, isbn 978-3-642-25031-6

Adenilso da Silva Simão, Alexandre Petrenko: Fault Coverage-Driven Incremental Test Generation. Comput. J. 53(9): 1508-1522 (2010)

Adenilso da Silva Simão, Alexandre Petrenko: Checking Completeness of Tests for Finite State Machines. IEEE Trans. Computers 59(8): 1023-1032 (2010)

Adenilso da Silva Simão, Adenilso Petrenko: From Test Purposes to Asynchronous Test Cases. ICST Workshops 2010: 1-10

André Takeshi Endo, Michael Linschulte, Adenilso da Silva Simão, Simone do Rocio Senger de Souza: Event- and Coverage-Based Testing of Web Services. SSIRI (Companion) 2010: 62-69

Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado (Eds.): Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings. Lecture Notes in Computer Science 6435, Springer 2010, isbn 978-3-642-16572-6

Adenilso da Silva Simão, José Carlos Maldonado, Roberto da Silva Bigonha: A transformational language for mutant description. Computer Languages, Systems & Structures 35(3): 322-339 (2009)

Adenilso da Silva Simão, Alexandre Petrenko, José Carlos Maldonado: Comparing finite state machine test. IET Software 3(2): 91-105 (2009)

Adenilso da Silva Simão, Alexandre Petrenko: Checking Sequence Generation Using State Distinguishing Subsequences. ICST Workshops 2009: 48-56

Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko: Generating Reduced Tests for FSMs with Extra States. TestCom/FATES 2009: 129-145

Simone do Rocio Senger de Souza, Silvia Regina Vergilio, Paulo Sergio Lopes de Souza, Adenilso da Silva Simão, Alexandre Ceolin Hausen: Structural testing criteria for message-passing parallel programs. Concurrency and Computation: Practice and Experience 20(16): 1893-1916 (2008)

Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão, José Carlos Maldonado: Towards Deriving Test Sequences by Model Checking. Electr. Notes Theor. Comput. Sci. 195: 21-40 (2008)

Adenilso da Silva Simão, Rodrigo Fernandes de Mello, Luciano José Senger, Laurence Tianruo Yang: Improving regression testing performance using the Adaptive Resonance Theory-2A self-organising neural network architecture. IJAACS 1(3): 370-385 (2008)

Felipe S. Sarmanho, Paulo Sergio Lopes de Souza, Simone do Rocio Senger de Souza, Adenilso da Silva Simão: Structural Testing for Semaphore-Based Multithread Programs. ICCS (1) 2008: 337-346

Adenilso da Silva Simão, Alexandre Petrenko: Generating Checking Sequences for Partial Reduced Finite State Machines. TestCom/FATES 2008: 153-168

Paulo Sergio Lopes de Souza, Eduardo T. Sawabe, Adenilso da Silva Simão, Silvia Regina Vergilio, Simone do Rocio Senger de Souza: ValiPVM - A Graphical Tool for Structural Testing of PVM Programs. PVM/MPI 2008: 257-264

Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão: A Generalized Model-Based Test Generation Method. SEFM 2008: 139-148

Elisa Yumi Nakagawa, Adenilso da Silva Simão, Fabiano Cutigi Ferrari, José Carlos Maldonado: Towards a Reference Architecture for Software Testing Tools. SEKE 2007: 157-162

Auri Marcelo Rizzo Vincenzi, Adenilso da Silva Simão, Márcio Eduardo Delamaro, José Carlos Maldonado: Muta-Pro: Towards the Definition of a Mutation Testing Process. J. Braz. Comp. Soc. 12(2): 49-61 (2006)

Adenilso da Silva Simão, Rodrigo Fernandes de Mello, Luciano José Senger: A Technique to Reduce the Test Case Suites for Regression Testing Based on a Self-Organizing Neural Network Architecture. COMPSAC (2) 2006: 93-96

Simone do Rocio Senger de Souza, Silvia Regina Vergilio, Paulo Sergio Lopes de Souza, Adenilso da Silva Simão, Thiago Bliscosque Goncalves, Alexandre de Melo Lima, Alexandre Ceolin Hausen: ValiPar: A Testing Tool for Message-Passing Parallel Programs. SEKE 2005: 386-391

Adenilso da Silva Simão, Auri Marcelo Rizzo Vincenzi, Antônio Carlos Lima de Santana: A Language for the Description of Program Instrumentation and Automatic Generation of Instrumenters. CLEI Electron. J. 6(1) (2003)

Adenilso da Silva Simão, Tatiana Sugeta, José Carlos Maldonado, Maria Carolina Monard: PROLOG & TXL: A Case Study for Prototyping Structural Testing Supporting Tools . CLEI Electron. J. 5(1) (2002)

Adenilso da Silva Simão, José Carlos Maldonado: MuDeL: a language and a system for describing and generating mutants. J. Braz. Comp. Soc. 8(1): 73-86 (2002)

Adenilso da Silva Simão, Tatiana Sugeta, José Carlos Maldonado, Maria Carolina Monard: Prolog & TXL: Um Estudo de Caso para Prototipação de Ferramentas de Apoio para o Teste Estrutural. JIISIC 2001: 15-22