Raul Ernesto Gonzalez-Torres

Publication Activity (10 Years)

Years Active: 2006-2021
Publications (10 Years): 3

Top Topics

Mutation Testing

Test Case Selection

Top Venues

Publications

Román Jaramillo Cajica, Raul Ernesto Gonzalez-Torres, Pedro Mejía Álvarez
Automatic Generation of Test Cases from Formal Specifications using Mutation Testing. CCE (2021)
Daniset González Lima, Raul Ernesto Gonzalez-Torres, Pedro Mejía-Alvarez
Automatic Test Cases Generation for C Written Programs Using Model Checking. CSCI (2021)
Pedro Ivan Salas Pena, Raul Ernesto Gonzalez-Torres
Authenticated Encryption based on finite automata cryptosystems. CCE (2016)
Deni Torres Román, Joaquín Cortez González, Raul Ernesto Gonzalez-Torres
Improving the Digital Design with Semi-formal Specification. CONIELECOMP (2006)