Pengő Edit Analysing and Enhancing Static Software Quality Assurance Methods. Doctoral thesis (PhD), University of Szeged. (2022)