Anna Rechtácková

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Introductory Programming

Science Education

Novice Programmers

Static Analysis

Top Venues

Publications

Anna Rechtácková
Developing Automatic Methods for Teaching Code Quality in Introductory Programming. ITiCSE (2) (2024)
Anna Rechtácková, Radek Pelánek, Tomás Effenberger
Catalog of Code Quality Defects in Introductory Programming. ITiCSE (1) (2024)
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)