Author

H. O. ROCHA

Created by Lattes PostCaptcha Importer at 2018-05-31 17:28:05.0.

Simplified Graph of Associations

Word Cloud

Could you solve a captcha to retrieve Rogério Cysne Araújo's Lattes?

Cole aqui o código fonte do lattes da pessoa:

Sim, eu sei, isso é feio, é horrível. Mas o Lattes mudou para o recaptcha, e agora não sei mais como contornar.

Yes

Why?

Publications

Exploiting Safety Properties in Bounded Model Checking for Test Cases Generation of C Programs

Formal Verification of UML Sequence Diagrams in the Embedded Systems Context

Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples

Hunting Memory Bugs in C Programs with Map2Check (Competition Contribution)

Memory Management Test-Case Generation of C Programs using Bounded Model Checking

Map2Check Using LLVM and KLEE

...

Co-Authors

Raimundo da Silva Barreto

Lucas Carvalho Cordeiro

M. M. CUSTODIO

R. MENEZES

Arilo Claudio Dias Neto

José Francisco de Magalhães Netto

...