Search results for "Adenilso da Silva Simão"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão	Model Partitions and Compact Test Case Suites.	Int. J. Found. Comput. Sci.	2012	DBLP DOI BibTeX RDF
1	Adenilso da Silva Simão, Alexandre Petrenko	Generating asynchronous test cases from test purposes.	Information & Software Technology	2011	DBLP DOI BibTeX RDF
1	Fevzi Belli, Andre Takeshi Endo, Michael Linschulte, Adenilso da Silva Simão	Model-based testing of web service compositions.	SOSE	2011	DBLP DOI BibTeX RDF
1	Andre Takeshi Endo, Adenilso da Silva Simão	Model-Based Testing of Service-Oriented Applications via State Models.	IEEE SCC	2011	DBLP DOI BibTeX RDF	web services, service oriented architecture, finite state machines, model based testing
1	Jim Davies, Leila Silva, Adenilso da Silva Simão (eds.)	Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers	SBMF	2011	DBLP DOI BibTeX RDF
1	Adenilso da Silva Simão, Carroll Morgan (eds.)	Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers	SBMF	2011	DBLP DOI BibTeX RDF
1	Simone do Rocio Senger de Souza, Paulo S. L. de Souza, Mario C. C. Machado, Mário S. Camillo, Adenilso da Silva Simão, Ed Zaluska	Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality.	SEKE	2011	DBLP BibTeX RDF
1	Adenilso da Silva Simão, Alexandre Petrenko	Checking Completeness of Tests for Finite State Machines.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	test analysis, test completeness conditions, test generation, Finite State Machine, fault coverage
1	Adenilso da Silva Simão, Alexandre Petrenko	Fault Coverage-Driven Incremental Test Generation.	Comput. J.	2010	DBLP DOI BibTeX RDF
1	Adenilso da Silva Simão, Adenilso Petrenko	From Test Purposes to Asynchronous Test Cases.	ICST Workshops	2010	DBLP DOI BibTeX RDF
1	Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado (eds.)	Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings	ICTSS	2010	DBLP DOI BibTeX RDF
1	Adenilso da Silva Simão, Alexandre Petrenko, José Carlos Maldonado	Comparing finite state machine test.	IET Software	2009	DBLP DOI BibTeX RDF
1	Adenilso da Silva Simão, José Carlos Maldonado, Roberto da Silva Bigonha	A transformational language for mutant description.	Computer Languages, Systems & Structures	2009	DBLP DOI BibTeX RDF
1	Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko	Generating Reduced Tests for FSMs with Extra States.	TestCom/FATES	2009	DBLP DOI BibTeX RDF
1	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.	2008	DBLP DOI BibTeX RDF
1	Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão	A Generalized Model-Based Test Generation Method.	SEFM	2008	DBLP DOI BibTeX RDF
1	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	2008	DBLP DOI BibTeX RDF	software testing, testing criteria, multithread programs
1	Adenilso da Silva Simão, Alexandre Petrenko	Generating Checking Sequences for Partial Reduced Finite State Machines.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	PVM, testing tool, coverage testing
1	Elisa Yumi Nakagawa, Adenilso da Silva Simão, Fabiano Cutigi Ferrari, José Carlos Maldonado	Towards a Reference Architecture for Software Testing Tools.	SEKE	2007	DBLP BibTeX RDF
1	Auri Marcelo Rizzo Vincenzi, Adenilso da Silva Simão, Márcio Eduardo Delamaro, José Carlos Maldonado	Muta-Pro: Towards the Definition of a Mutation Testing Process.	J. Braz. Comp. Soc.	2006	DBLP DOI BibTeX RDF
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.	COMPSAC	2006	DBLP DOI BibTeX RDF
1	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	DBLP BibTeX RDF
1	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.	2003	DBLP BibTeX RDF
1	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.	2002	DBLP BibTeX RDF
1	Adenilso da Silva Simão, José Carlos Maldonado	MuDeL: a language and a system for describing and generating mutants.	J. Braz. Comp. Soc.	2002	DBLP BibTeX RDF
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	DBLP BibTeX RDF

Publications of "Adenilso da Silva Simão" ( http://dblp.L3S.de/Authors/Adenilso_da_Silva_Simão )