4 search results - page 1 / 1 » Finding Latent Code Errors via Machine Learning over Program... |
ICSE
2004
IEEE-ACM
14 years 4 months ago
2004
IEEE-ACM
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...
SIGSOFT
2008
ACM
14 years 5 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
CCS
2009
ACM
13 years 11 months ago
2009
ACM
Software flaws in native methods may defeat Java’s guarantees of safety and security. One common kind of flaws in native methods results from the discrepancy on how exceptions...
POPL
2002
ACM
14 years 4 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...