The University of Florida was awarded a three-year, $300,000 Project Grant from the National Science Foundation's (NSF) Computer and Information Science and Engineering program (CFDA 47.070) to conduct research towards variability-aware software analysis and testing. The university will extend software analysis techniques to automatically extract feature constraints from program code and check them against requirements specifications. Researchers will leverage variability-aware symbolic execution and static analysis at the intermediate representation level to derive variability constraints and evaluate their impact on functional and non-functional properties. The university will apply the proposed techniques to real-world systems with safety-critical constraints, develop challenge problems for researchers and coursework, and train students in increasingly automated software analysis for complex, configurable systems. The award period is from September 1, 2022 to August 31, 2025.
Mod # | Description | Reason For Modification | Federal Obligation (Click to sort descending) | Date (Click to sort ascending) |
|---|---|---|---|---|
| Not listed | $300.0k | 8/17/22 |