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)
– hlavní řešitel
Publikační výsledky
2022
- ŠILLING, P.; MALÍK, V.; VOJNAR, T. Applying Custom Patterns in Semantic Equality Analysis. In Networked Systems. Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG, 2022.
p. 265-282. ISBN: 978-3-031-17436-0. Detail
2021
- MALÍK, V.; VOJNAR, T. 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.
p. 329-339. ISBN: 978-1-7281-6837-1. Detail
Výsledky s dopadem do praxe
2018
- Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2018, souhrnná výzkumná zpráva, 2018
Autoři: VOJNAR, T.
2017
- Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2017, souhrnná výzkumná zpráva, 2017
Autoři: VOJNAR, T.
2016
- Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2016, souhrnná výzkumná zpráva, 2016
Autoři: VOJNAR, T.
2015
- Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2015, souhrnná výzkumná zpráva, 2015
Autoři: VOJNAR, T.