Adenilso da Silva Simo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
10
Active years
2005–2023
Best venue rank
A
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICFEM | Active Inference of EFSMs Without Reset. | Michael Foster, Roland Groz, Catherine Oriat, Adenilso da Silva Simo, Germn Vega, Neil Walkinshaw |
| 2023 | ICST | Improving Model Learning by Inferring Separating Sequences from Traces. | Rafael S. Braz, Adenilso da Silva Simo, Roland Groz, Catherine Oriat |
| 2019 | IFM | Learning to Reuse: Adaptive Model Learning for Evolving Systems. | Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simo |
| 2019 | SPLC | Learning from difference: an automated approach for learning family models from software product lines. | Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simo |
| 2017 | IC2E | Impact of the Vendor Lock-in Problem on Testing as a Service (TaaS). | Ricardo Ramos de Oliveira, Rafael Messias Martins, Adenilso da Silva Simo |
| 2013 | ICFEM | Generation of Checking Sequences Using Identification Sets. | Faimison Rodrigues Porto, Andr Takeshi Endo, Adenilso da Silva Simo |
| 2013 | IIWAS | An Industrial Experience on using Models to Test Web Service-Oriented Applications. | Andr Takeshi Endo, Maicon Bernardino, Elder Macedo Rodrigues, Adenilso da Silva Simo, Flvio Moreira de Oliveira, Avelino F. Zorzo, Rodrigo S. Saad |
| 2012 | ICST | Experimental Comparison of Test Case Generation Methods for Finite State Machines. | Andr Takeshi Endo, Adenilso da Silva Simo |
| 2012 | ICST | Generating Checking Sequences for Nondeterministic Finite State Machines. | Alexandre Petrenko, Adenilso da Silva Simo, Nina Yevtushenko |
| 2011 | SEKE | Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality. | Simone do Rcio Senger de Souza, Paulo Sergio Lopes de Souza, Mario C. C. Machado, Mrio S. Camillo, Adenilso da Silva Simo, Ed Zaluska |
| 2010 | ICST | From Test Purposes to Asynchronous Test Cases. | Adenilso da Silva Simo, Adenilso Petrenko |
| 2009 | ICST | Checking Sequence Generation Using State Distinguishing Subsequences. | Adenilso da Silva Simo, Alexandre Petrenko |
| 2008 | ICCS | Structural Testing for Semaphore-Based Multithread Programs. | Felipe S. Sarmanho, Paulo Sergio Lopes de Souza, Simone do Rcio Senger de Souza, Adenilso da Silva Simo |
| 2008 | SEFM | A Generalized Model-Based Test Generation Method. | Adilson Luiz Bonifcio, Arnaldo Vieira Moura, Adenilso da Silva Simo |
| 2007 | SEKE | Towards a Reference Architecture for Software Testing Tools. | Elisa Yumi Nakagawa, Adenilso da Silva Simo, Fabiano Cutigi Ferrari, Jos Carlos Maldonado |
| 2006 | COMPSAC | A Technique to Reduce the Test Case Suites for Regression Testing Based on a Self-Organizing Neural Network Architecture. | Adenilso da Silva Simo, Rodrigo Fernandes de Mello, Luciano Jos Senger |
| 2005 | SEKE | ValiPar: A Testing Tool for Message-Passing Parallel Programs. | Simone do Rcio Senger de Souza, Silvia Regina Vergilio, Paulo Sergio Lopes de Souza, Adenilso da Silva Simo, Thiago Bliscosque Goncalves, Alexandre de Melo Lima, Alexandre Ceolin Hausen |