Mgr. Anna Řechtáčková
Department of Computer Systems and Communications
| E‑mail: |
|
|---|
Publications
Total number of publications: 5
2024
-
Catalog of Code Quality Defects in Introductory Programming
Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1, year: 2024
-
Developing Automatic Methods for Teaching Code Quality in Introductory Programming
Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 2., year: 2024
2022
-
Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding
Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II, year: 2022
2021
-
Symbiotic 8: Beyond Symbolic Execution
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II, year: 2021
-
Symbiotic 8
Year: 2021