On the Effectiveness of Run-Time Checks | Publicación