Model checking in object-oriented Petri nets. - Cássio L. Rodrigues; Dalton Serey Guerrero; Jorge C. A. de Figueiredo (SMC (5), 2004)

Testing from Structured Algebraic Specifications: The Veritas Case Study. - Patrícia D. L. Machado; Elthon A. S. Oliveira; Paulo E. S. Barbosa; Cássio L. Rodrigues (SBMF, 2004)

A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids. - Cássio L. Rodrigues; Paulo E. S. Barbosa; Jairson M. Cabral; Jorge C. A. de Figueiredo; Dalton Serey Guerrero (SEFM, 2006)

Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches. - Cássio L. Rodrigues; Fábio Jorge Almeida Morais; Leandro Max L. Silva; Karina R. G. da Silva; Jorge C. A. de Figueiredo; Dalton Dario Serey Guerrero; Elmar U. K. Melcher (SMC, 2008)

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 (SAC, 2009)

Enhancing IP cores specifications using hierarchical composition and set theory. - Cássio L. Rodrigues; Karina R. G. da Silva; Henrique do N. Cunha; Jorge C. A. de Figueiredo; Dalton Dario Serey Guerrero; Elmar U. K. Melcher (Des. Autom. Embed. Syst., 2011)

An elitist evolutionary algorithm for automatically generating test data. - Jailton Louzada; Celso G. Camilo-Junior; Auri M. R. Vincenzi; Cássio L. Rodrigues (IEEE Congress on Evolutionary Computation, 2012)

Shrinking a database to perform SQL mutation tests using an evolutionary algorithm. - Ana Claudia Bastos Loureiro Monção; Celso G. Camilo-Junior; Leonardo T. Queiroz; Cássio L. Rodrigues; Plínio de Sá Leitão Júnior; Auri M. R. Vincenzi (IEEE Congress on Evolutionary Computation, 2013)

Applying genetic algorithms to data selection for SQL mutation analysis. - Ana Claudia Bastos Loureiro Monção; Celso G. Camilo-Junior; Leonardo T. Queiroz; Cássio L. Rodrigues; Plínio de Sá Leitão Júnior; Auri M. R. Vincenzi (GECCO (Companion), 2013)

Dívida Técnica: um estudo de caso com produtos de código aberto. - Igor Rodrigues Vieira; Leonardo da Silva Sousa; Vinícius Rafael Lobo de Mendonça; Cássio Leonardo Rodrigues; Auri Marcelo Rizzo Vincenzi (SBQS, 2013)

Evolução de software livre baseada em métricas de qualidade: Um estudo de caso. - Auri M. R. Vincenzi; Cássio L. Rodrigues; Igor Rodrigues Vieira; Leonardo da Silva Sousa; Vinícius Rafael Lobo de Mendonça; Jacson Rodrigues Barbosa; Mario E. P. Diaz (SBSI, 2013)

Avaliação do Nível de Maturidade em Teste de Software em Micro e Pequenas Empresas do Estado de Goiás [Maturity Level Assessment in Software Testing in Small and Medium-Sized Enterprises of the State of Goias]. - Adailton Ferreira Araujo; Cássio L. Rodrigues; Auri M. R. Vincenzi; Celso G. Camilo-Junior (SBSI, 2015)

SBSTFrame: a framework to search-based software testing. - Bruno Nandolpho Machado; Celso G. Camilo-Junior; Cássio L. Rodrigues; Eduardo H. D. Quijano (SMC, 2016)

A Tool to Evaluate the Quality of Life of Deaf People Using WHOQOL Instruments. - Neuma Chaveiro; Cássio Leonardo Rodrigues; Soraya Bianca Duarte; Renata Rodrigues de Oliveira Garcia; Adriana Ribeiro de Freitas; Lucas Rodrigues de Oliveira; Karina R. G. da Silva; Celmo Celeno Porto (SMC, 2018)

Reducing the Cost of Mutation Testing Using the Semantic Size of Mutant. - Leonardo da Silva Sousa; Auri M. R. Vincenzi; Márcio Eduardo Delamaro; Igor Rodrigues Vieira; Vinicius R. L. Mendonca; Cássio Leonardo Rodrigues (SMC, 2018)

Lessons learned about oral-auditory and visual-spatial communication in requirements engineering with deaf stakeholders. - Antônio C. F. Silva; Cássio L. Rodrigues; Neuma Chaveiro; Renata Rodrigues de Oliveira Garcia; Soraya Bianca Duarte; Mariá A. R. Araújo; Vinícius B. Santos; Karina R. G. da Silva; Paulo M. S. Rodrigues; Luíla M. Oliveira; Caio César Silva Sousa (SAC, 2020)

Web Accessibility Testing for Deaf: Requirements and Approaches for Automation. - Caio César Silva Sousa; Luíla M. Oliveira; Cássio L. Rodrigues; Renato F. Bulcão-Neto; Deller J. Ferreira (SMC, 2020)

MutShrink: a Mutation-based Test Database Shrinking Method. - Ludmila I. Toledo; Celso G. Camilo-Junior; Cássio Leonardo Rodrigues (SMC, 2020)

A software acceptance testing approach with accessibility for the deaf. - Lívia Fernanda de Oliveira; Cássio Leonardo Rodrigues; Karina R. G. da Silva (Univers. Access Inf. Soc., 2025)