Project Details
Zlepšování kvality software
Project Period: 26. 6. 2014 – 31. 12. 2020
Project Type: contract
Partner: Red Hat Czech s.r.o.
English title
Software Quality Improvement
Type
contract
Keywords
software quality, improvement
Abstract
The aim of the project is to improve the software quality
Team members
Vojnar Tomáš, prof. Ing., Ph.D.
(DITS)
– research leader
Publications
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
2019
- VOJNAR, T. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2019. Brno: Red Hat Czech s.r.o., 2019.
s. 0-0. Detail
2018
- VOJNAR, T. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2018. Brno: Red Hat, 2018.
s. 0-0. Detail
2017
- VOJNAR, T. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2017. Brno: Red Hat Czech s.r.o., 2017.
s. 0-0. Detail
2016
- VOJNAR, T. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2016. Brno: Red Hat Czech s.r.o., 2016.
s. 0-0. Detail
2015
- VOJNAR, T. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2015. Brno: Red Hat Czech s.r.o., 2015.
s. 0-0. Detail