Abstract: This paper proposes a technique for identifying program properties that indicate errors. The technique generates machine learning models of program properties known to result from errors, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results