Anna Rechtácková

According to our database, Anna Rechtácková authored at least 4 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Catalog of Code Quality Defects in Introductory Programming.

Anna Rechtácková, Radek Pelánek, Tomás Effenberger

Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1, 2024

Developing Automatic Methods for Teaching Code Quality in Introductory Programming.

Anna Rechtácková

Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 2, 2024

2022

Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution).

Marek Chalupa, Vincent Mihalkovic, Anna Rechtácková, Lukás Zaoral, Jan Strejcek

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution).

Marek Chalupa, Tomás Jasek, Jakub Novák, Anna Rechtácková, Veronika Soková, Jan Strejcek

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021