Adenilso da Silva Simão

	2009
13		Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko: Generating Reduced Tests for FSMs with Extra States. TestCom/FATES 2009: 129-145
	2008
12		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		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		Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão: A Generalized Model-Based Test Generation Method. SEFM 2008: 139-148
9		Adenilso da Silva Simão, Alexandre Petrenko: Generating Checking Sequences for Partial Reduced Finite State Machines. TestCom/FATES 2008: 153-168
8		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		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		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		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

Coauthor Index

1	Adilson Luiz Bonifácio	[8] [10]
2	Fabiano Cutigi Ferrari	[7]
3	Thiago Bliscosque Goncalves	[5]
4	Alexandre Ceolin Hausen	[5]
5	Alexandre de Melo Lima	[5]
6	José Carlos Maldonado	[1] [2] [3] [7] [8]
7	Rodrigo Fernandes de Mello	[6]
8	Maria Carolina Monard	[1] [3]
9	Arnaldo Vieira Moura	[8] [10]
10	Elisa Yumi Nakagawa	[7]
11	Alexandre Petrenko	[9] [13]
12	Antônio Carlos Lima de Santana	[4]
13	Felipe S. Sarmanho	[12]
14	Eduardo T. Sawabe	[11]
15	Luciano José Senger	[6]
16	Paulo Sergio Lopes de Souza	[5] [11] [12]
17	Simone do Rocio Senger de Souza	[5] [11] [12]
18	Tatiana Sugeta	[1] [3]
19	Silvia Regina Vergilio	[5] [11]
20	Auri Marcelo Rizzo Vincenzi	[4]
21	Nina Yevtushenko	[13]

Colors in the list of coauthors