Jorge Aparicius

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Symbolic Execution

Static Analysis

Specification Language

Test Generation

Top Venues

Publications

Marcus Lindner, Jorge Aparicius, Per Lindgren
No Panic! Verification of Rust Programs by Symbolic Execution. INDIN (2018)