On improving automated program analysis to secure software systems

Andre Pawlowski. On improving automated program analysis to secure software systems. PhD thesis, Ruhr University Bochum, Germany, 2020. [doi]

Abstract

Abstract is missing.