2020 Research Static analyzer debugging and quality assurance approaches The paper about approaches used when testing static analysis frameworks.