Mgr. Anna Řechtáčková
Katedra počítačových systémů a komunikací
| e‑mail: |
|
|---|
Publikace
Počet publikací: 5
2024
-
Catalog of Code Quality Defects in Introductory Programming
Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1, rok: 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., rok: 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, rok: 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, rok: 2021
-
Symbiotic 8
Rok: 2021