Login / Signup
Anna Rechtácková
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Static Analysis
Symbolic Execution
Specification Language
Database
Top Venues
TACAS (2)
</>
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)
Marek Chalupa
,
Tomás Jasek
,
Jakub Novák
,
Anna Rechtácková
,
Veronika Soková
,
Jan Strejcek
Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution).
TACAS (2)
(2021)