Detail projektu
Software Quality Improvement
Období řešení: 26. 6. 2014 - 31. 12. 2099
Typ projektu: smluvní výzkum
Objednatel: Red Hat Czech s.r.o.
Název anglicky
Software Quality Improvement
Typ
smluvní výzkum
Klíčová slova
kvalita softwaru, zlepšování
Abstrakt
Cílem projektu je zlepšování kvality softwaru
Řešitelé
Vojnar Tomáš, prof. Ing., Ph.D.
(UITS FIT VUT)
, hlavní řešitel
Publikace
2022
- MALÍK Viktor, ŠILLING Petr a VOJNAR Tomáš. Applying Custom Patterns in Semantic Equality Analysis. In: Networked Systems. Lecture Notes in Computer Science, roč. 13464. Cham: Springer Nature Switzerland AG, 2022, s. 265-282. ISBN 978-3-031-17436-0. Detail
2021
- MALÍK Viktor a VOJNAR Tomáš. Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects. In: 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). Porto de Galinhas: Institute of Electrical and Electronics Engineers, 2021, s. 329-339. ISBN 978-1-7281-6837-1. Detail
2018
- VOJNAR Tomáš. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2018. Brno: Red Hat, 2018. Detail
2017
- VOJNAR Tomáš. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2017. Brno: Red Hat Czech s.r.o., 2017. Detail
2016
- VOJNAR Tomáš. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2016. Brno: Red Hat Czech s.r.o., 2016. Detail
2015
- VOJNAR Tomáš. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2015. Brno: Red Hat Czech s.r.o., 2015. Detail