Project Details
Software Quality Improvement
Project Period: 26. 6. 2014 – 31. 12. 2099
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
Publication Results
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
Results with Impact on Practice
2018
- Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2018, summary research report, 2018
Authors: VOJNAR, T.
2017
- Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2017, summary research report, 2017
Authors: VOJNAR, T.
2016
- Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2016, summary research report, 2016
Authors: VOJNAR, T.
2015
- Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2015, summary research report, 2015
Authors: VOJNAR, T.