Static analyzer debugging and quality assurance approaches Research 2021-01-18 The paper about approaches used when testing static analysis frameworks. Date: 2020