Project Details

Software Quality Improvement

Project Period: 26. 6. 2014 - 31. 12. 2099

Project Type: contract

Partner: Red Hat Czech

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. (UITS FIT VUT) , research leader
Publications

2022

  • MALÍK Viktor, ŠILLING Petr and VOJNAR Tomáš. Applying Custom Patterns in Semantic Equality Analysis. In: Networked Systems. Lecture Notes in Computer Science, vol. 13464. Cham: Springer Nature Switzerland AG, 2022, pp. 265-282. ISBN 978-3-031-17436-0. Detail

2021

  • MALÍK Viktor and 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, pp. 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, 2017. Detail

2016

  • VOJNAR Tomáš. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2016. Brno: Red Hat Czech, 2016. Detail

2015

  • VOJNAR Tomáš. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2015. Brno: Red Hat Czech, 2015. Detail
Back to top