Checkification: A Practical Approach for Testing Static Analysis Truths | Publicación