Deep Learning to Detect Redundant Method Comments
A Runtime Assertion Checker for the Java Modeling Language (JML)