Login / Signup
Daniset González Lima
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Model Checking
Test Case Selection
Timed Automata
Number Of Test Cases
Top Venues
CSCI
</>
Publications
</>
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)