| 2008 |
|---|
| 12 | EE | 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 |
| 11 | EE | 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 |
| 10 | EE | Adilson Luiz Bonifácio,
Arnaldo Vieira Moura,
Adenilso da Silva Simão:
A Generalized Model-Based Test Generation Method.
SEFM 2008: 139-148 |
| 9 | EE | Adenilso da Silva Simão,
Alexandre Petrenko:
Generating Checking Sequences for Partial Reduced Finite State Machines.
TestCom/FATES 2008: 153-168 |
| 8 | EE | 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) |
| 2007 |
|---|
| 7 | | 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 |
| 2006 |
|---|
| 6 | EE | 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 |
| 2005 |
|---|
| 5 | | 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 |
| 2003 |
|---|
| 4 | EE | 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) |
| 2002 |
|---|
| 3 | EE | 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) |
| 2 | | 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) |
| 2001 |
|---|
| 1 | | 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 |
