Adilson Luiz Bonifácio

	2012
5		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)
	2008
4		Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão: A Generalized Model-Based Test Generation Method. SEFM 2008: 139-148
3		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)
	2000
2		Adilson Luiz Bonifácio, Arnaldo Vieira Moura, João Batista Camargo Jr., Jorge Rady de Almeida Jr.: Formal Parameters Synthesis for Track Segments of a Subway Mesh. ECBS 2000: 263-271
1		Adilson Luiz Bonifácio, Arnaldo Vieira Moura: Modeling and Parameters Synthesis for an Air Traffic Management System. FMCAD 2000: 316-334

Coauthor Index

1	Jorge Rady de Almeida Jr.	[2]
2	João Batista Camargo Jr.	[2]
3	José Carlos Maldonado	[3]
4	Arnaldo Vieira Moura	[1] [2] [3] [4] [5]
5	Adenilso da Silva Simão	[3] [4] [5]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page