Cássio L. Rodrigues

Model checking in object-oriented Petri nets

Dalton Serey Guerrero, Jorge C. A. de Figueiredo, Cássio L. Rodrigues, 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

Shrinking a database to perform SQL mutation tests using an evolutionary algorithm

Cássio L. Rodrigues, A. C. B. Loureiro Moncao, Celso G. Camilo-Junior, 2013, 2013 IEEE Congress on Evolutionary Computation.

A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids

Dalton Serey Guerrero, Jorge C. A. de Figueiredo, Cássio L. Rodrigues, 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).

Testing from Structured Algebraic Specifications: The Veritas Case Study

Elthon A. S. Oliveira, Cássio L. Rodrigues, Paulo E. S. Barbosa, 2005, SBMF.

Enhancing IP cores specifications using hierarchical composition and set theory

Dalton Serey Guerrero, Jorge C. A. de Figueiredo, Cássio L. Rodrigues, 2011, Des. Autom. Embed. Syst..

Applying genetic algorithms to data selection for SQL mutation analysis

Cássio L. Rodrigues, Celso G. Camilo-Junior, Leonardo T. Queiroz, 2013, GECCO '13 Companion.

SBSTFrame: a framework to search-based software testing

Cássio L. Rodrigues, Celso G. Camilo-Junior, Bruno Nandolpho Machado, 2016, 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC).

Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches

Dalton Serey Guerrero, Jorge C. A. de Figueiredo, Cássio L. Rodrigues, 2008, 2008 IEEE International Conference on Systems, Man and Cybernetics.

Improving functional verification of embedded systems using hierarchical composition and set theory

Cássio L. Rodrigues, Karina R. G. da Silva, Henrique do N. Cunha, 2009, SAC '09.

An elitist evolutionary algorithm for automatically generating test data

Cássio L. Rodrigues, Celso G. Camilo-Junior, Auri Marcelo Rizzo Vincenzi, 2012, 2012 IEEE Congress on Evolutionary Computation.

A Framework for Maturity Assessment in Software Testing for Small and Medium-Sized Enterprises

Cássio L. Rodrigues, A. F. Silva, Celso G. Camilo, 2013 .