Reducing the overhead of assertion run-time checks via static analysis | Publicación