Search the dblp DataBase

Publications of Author

1. 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. [Citation Graph (0, 0)][DBLP]
   COMPSAC (2), 2006, pp:93-96 [Conf]
   
2. 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. [Citation Graph (0, 0)][DBLP]
   JIISIC, 2001, pp:15-22 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   SEKE, 2005, pp:386-391 [Conf]
   
4. Adenilso da Silva Simão, Tatiana Sugeta, José Carlos Maldonado, Maria Carolina Monard
   PROLOG & TXL: A Case Study for Prototyping Structural Testing Supporting Tools . [Citation Graph (0, 0)][DBLP]
   CLEI Electron. J., 2002, v:5, n:1, pp:- [Journal]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   CLEI Electron. J., 2003, v:6, n:1, pp:- [Journal]
   
6. Adenilso da Silva Simão, José Carlos Maldonado
   MuDeL: a language and a system for describing and generating mutants. [Citation Graph (0, 0)][DBLP]
   J. Braz. Comp. Soc., 2002, v:8, n:1, pp:73-86 [Journal]
   
7. Elisa Yumi Nakagawa, Adenilso da Silva Simão, Fabiano Ferrari, José Carlos Maldonado
   Towards a Reference Architecture for Software Testing Tools. [Citation Graph (0, 0)][DBLP]
   SEKE, 2007, pp:157-162 [Conf]
   
8. 
   Structural Testing for Semaphore-Based Multithread Programs. [Citation Graph (, )][DBLP]
   
   
9. 
   Generating Checking Sequences for Partial Reduced Finite State Machines. [Citation Graph (, )][DBLP]
   
   
10. 
    Generating Reduced Tests for FSMs with Extra States. [Citation Graph (, )][DBLP]
    
    
11. 
    ValiPVM - A Graphical Tool for Structural Testing of PVM Programs. [Citation Graph (, )][DBLP]
    
    
12. 
    A Generalized Model-Based Test Generation Method. [Citation Graph (, )][DBLP]
    
    
13. 
    A transformational language for mutant description. [Citation Graph (, )][DBLP]
    
    
14. 
    Towards Deriving Test Sequences by Model Checking. [Citation Graph (, )][DBLP]