This $306,475 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) will fund research to investigate new semantic metrics of code complexity derived from automated verification tools. The goal is to determine if these semantics-based metrics correlate better than existing syntactic metrics with human code comprehension effort. If successful, the new metrics could help software developers write code that is easier to understand and modify, improving software quality and reducing development costs. The 3-year project, led by the New Jersey Institute of Technology (NJIT), will (1) validate the hypothesis that verification success/failure is correlated with code complexity and comprehensibility, (2) use verification tool outputs to improve predictive models of code comprehensibility, and (3) explore "verifier-guided" code refactoring to automatically reduce complexity. No sub-awards are planned under this grant.
Generated 3/4/25, 4:19 AM