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
Back to top