Cássio L. Rodrigues

According to our database, Cássio L. Rodrigues authored at least 18 papers between 2004 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

MutShrink: a Mutation-based Test Database Shrinking Method.

Ludmila I. Toledo, Celso G. Camilo, Cássio Leonardo Rodrigues

Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 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

Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

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

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

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

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

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 Rocha Gomes da Silva, Celmo Celeno Porto

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

2016

SBSTFrame: a framework to search-based software testing.

Bruno Nandolpho Machado, Celso G. Camilo-Junior, Cássio L. Rodrigues, Eduardo H. D. Quijano

Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

2015

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

Proceedings of the annual conference on Brazilian Symposium on Information Systems, 2015

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

Proceedings of the 9th Brazilian Symposium on Information Systems, 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

Proceedings of the 12th Brazilian Symposium on Software Quality, 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

Proceedings of the Genetic and Evolutionary Computation Conference, 2013

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

Proceedings of the IEEE Congress on Evolutionary Computation, 2013

2012

An elitist evolutionary algorithm for automatically generating test data.

Jailton Louzada, Celso G. Camilo-Junior, Auri M. R. Vincenzi, Cássio L. Rodrigues

Proceedings of the IEEE Congress on Evolutionary Computation, 2012

2011

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

2009

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

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

2008

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

Proceedings of the IEEE International Conference on Systems, 2008

2006

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

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

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

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

Model checking in object-oriented Petri nets.

Cássio L. Rodrigues, Dalton Serey Guerrero, Jorge C. A. de Figueiredo

Proceedings of the IEEE International Conference on Systems, 2004