Herbert Rocha
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2012–2020
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | TACAS | Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution). | Herbert Rocha, Rafael Menezes, Lucas C. Cordeiro, Raimundo S. Barreto |
| 2018 | TACAS | Map2Check Using LLVM and KLEE - (Competition Contribution). | Rafael Menezes, Herbert Rocha, Lucas C. Cordeiro, Raimundo S. Barreto |
| 2017 | TACAS | DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution). | Williame Rocha, Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Bernd Fischer |
| 2015 | SEFM | Memory Management Test-Case Generation of C Programs Using Bounded Model Checking. | Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro |
| 2012 | IFM | Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples. | Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro, Arilo Dias Neto |