Herbert Rocha

12 papers B 2Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2021 J jnl
Verification and refutation of C programs based on k-induction and invariant inference.
Int. J. Softw. Tools Technol. Transf.
Omar M. Alhawi, Herbert Rocha, Mikhail R. Gadelha, Lucas C. Cordeiro, Eddie Batista de Lima Filho
2021 J jnl
Verifying Security Vulnerabilities in Large Software Systems using Multi-Core k-Induction.
CoRR
Thales Silva, Carmina Porto, Erickson H. da S. Alves, Lucas C. Cordeiro, Herbert Rocha
2020 — conf
Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution).
TACAS (2)
Herbert Rocha, Rafael Menezes, Lucas C. Cordeiro, Raimundo S. Barreto
2018 — conf
Map2Check Using LLVM and KLEE - (Competition Contribution).
TACAS (2)
Rafael Menezes, Herbert Rocha, Lucas C. Cordeiro, Raimundo S. Barreto
2017 — conf
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution).
TACAS (2)
Williame Rocha, Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Bernd Fischer
2016 — conf
JFORTES: Java Formal Unit TESt Generation.
SBESC
Larissa Bentes, Herbert Rocha, Eduardo Valentin, Raimundo S. Barreto
2015 B conf
Memory Management Test-Case Generation of C Programs Using Bounded Model Checking.
SEFM
Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro
2015 J jnl
Model Checking C Programs with Loops via k-Induction and Invariants.
CoRR
Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto
2015 — conf
Model Checking Embedded C Software Using k-Induction and Invariants.
SBESC
Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto
2015 J jnl
Model Checking Embedded C Software using k-Induction and Invariants (extended version).
CoRR
Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto
2012 B conf
Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples.
IFM
Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro, Arilo Dias Neto
2011 — conf
Formal Verification of UML Sequence Diagrams in the Embedded Systems Context.
SBESC
Elisabete Cunha, Marcelo Custódio, Herbert Rocha, Raimundo S. Barreto