Vincent Mihalkovic

Publication Activity (10 Years)

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

Top Topics

Static Analysis

Symbolic Execution

Evolutionary Algorithm

Top Venues

Publications

Marek Chalupa, Vincent Mihalkovic, Anna Rechtácková, Lukás Zaoral, Jan Strejcek
Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution). TACAS (2) (2022)