Project Grant 2211589
Award Date
9/1/22
Completion Date
8/31/25
Dollars Obligated
$315K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Ames, IA 50011, USA
Similar Awards
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...
The National Science Foundation (NSF) has awarded a $533,995 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to Iowa State University of Science and Technology (Iowa State University). The 4-year grant, spanning from October 1, 2023 to September 30, 2027, aims to improve the performance, robustness, generalizability, and efficiency of deep learning models for critical software assurance tasks such as bug detection, debugging, test input...
The National Science Foundation awarded a $597,785 Project Grant to Purdue University to develop new techniques for automated verification and synthesis of input generators in property-based testing frameworks. This grant, funded through NSF's Computer and Information Science and Engineering program (CFDA 47.070), aims to enable precise reasoning about the soundness and completeness of software testing generators. The project will focus on developing new specification frameworks, type systems,...
This $600,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to enable developers to perform fine-grained software testing, thereby increasing software quality. The key objectives are to: (1) develop a language and framework for expressing and using fine-grained tests; (2) automatically generate fine-grained tests from code or existing tests; (3) adapt fine-grained tests to software evolution and...
This $600,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to enable developers to perform fine-grained software testing, thereby increasing software quality. The research project will: (1) develop a language and framework for expressing and using fine-grained tests; (2) automatically generate fine-grained tests from code or existing tests; (3) adapt fine-grained tests to software evolution and...
This $439,112 Project Grant awarded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program aims to advance the state of knowledge in software quality assurance for multi-language software systems. The key technical objectives are to: 1) characterize multi-language code construction mechanisms and their effects on software behavior and quality, 2) develop practical and scalable analyses for cross-language dependence reasoning, and...
This National Science Foundation project grant of $1,199,708 supports research at Iowa State University from June 2022 to May 2025 under the Computer and Information Science and Engineering program. The university will develop algorithms to characterize inconsistencies in perception and decision-making between interacting autonomous systems and human operators. This aims to quantify sources of inconsistency and their effects on safety in applications like autonomous vehicles interacting with...
Iowa State University of Science and Technology (ISU) was awarded a $228,000 Project Grant from the National Science Foundation (NSF) Division of Computing and Communication Foundations under the Computer and Information Science and Engineering program (CFDA 47.070). The three-year grant will support ISU's collaborative research project "Weak Derandomizations in Time and Space Complexity" from October 1, 2021 through September 30, 2024. The NSF Computer and Information Science and...
This National Science Foundation (NSF) CAREER grant of $123,451, awarded under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports research to improve the reliability and efficiency of software regression testing in the presence of flaky tests. The project aims to: (1) reduce the cost of flaky-test detection and debugging techniques; (2) develop new techniques to predict flakiness-related properties; (3) speed up and reduce resources needed for...
This Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) is supporting the development of tools to help developers easily identify and verify the correctness of scientific software. The $400,000 award to the University of Delaware aims to advance software verification technology, improve public confidence in scientific software, and train students and scientists in advanced verification techniques. The...