Maxim Menshikov
Reinventing how software is built
Static analyzer debugging and quality assurance approaches Research
The paper about approaches used when testing static analysis frameworks.
Date: 2020