This is a $485,773 Project Grant awarded on July 1, 2024 by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) to Boise State University. The project, titled "COLLABORATIVE RESEARCH: CIRC: DEV: ADAPTABLE REALISTIC BENCHMARK GENERATOR FOR VERIFICATION (ARG-V)," aims to develop an automated solution for generating realistic benchmarks from open-source software repositories to strengthen the evaluation of program verification tools.
The key objectives are: (1) automatically locating and converting candidate benchmark programs from code repositories, and (2) classifying the new benchmarks based on specific program features and verification techniques. This project advances the state-of-the-art in software verification by providing an infrastructure to obtain a current, realistic set of benchmarks for evaluating program verifiers. The results will be made available to the broader verification community to improve benchmarking and the development of future program verifiers.
Generated 2/25/25, 4:55 AM