Project Grant 2403035
Award Date
10/1/24
Completion Date
9/30/28
Dollars Obligated
$600K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Ithaca, NY, USA
Similar Awards
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...
The University of Utah received a $220,500 Project Grant award from the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070). This 5-year award, beginning March 1, 2024, supports research to develop scalable security testing techniques for large software systems. The project focuses on advancing "fuzzing" - a predominant software vulnerability detection method - to address the unique challenges posed by software...
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 Project Grant award of $174,999 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) will fund a unified, large language model (LLM)-empowered framework to systematically address software performance challenges. The key products and services to be delivered under this 2-year award (05/01/2025 - 04/30/2027) include: Advancing automation in performance testing, issue localization, and optimization for modern software...
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 National Science Foundation (NSF) $900,000 "COLLABORATIVE RESEARCH: SHF: MEDIUM: NATURAL LANGUAGE MODELS WITH EXECUTION DATA FOR SOFTWARE TESTING" Project Grant, awarded under the Computer and Information Science and Engineering program (CFDA 47.070), aims to develop natural language processing (NLP) models to simplify the development and maintenance of software tests. Key objectives include test generation, completion, update, and migration across programming languages, targeting...
This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) will fund a $1,200,000 project to develop practical, systematic fuzzing tools that enhance the security of scientific software. The 3-year project, led by the University of Utah, aims to address vulnerabilities in complex, multi-language scientific software by introducing (1) performant cross-language instrumentation, (2) automated...
This federal Project Grant award of $321,874.00 from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports research to optimize the runtime efficiency of symbolic execution for functional programming languages. The project aims to develop techniques to improve the efficiency of symbolic execution, which is a tool for automatically finding software bugs through mathematical reasoning. The research will identify problematic...
This Project Grant from the National Science Foundation Division of Computer and Network Systems, under the Computer and Information Science and Engineering federal grant program (CFDA 47.070), provides $517,545 in funding to the University of Utah from January 1, 2022 to September 30, 2024. The award supports research to advance software vulnerability detection techniques. Specifically, the university researchers will develop new approaches to fuzz testing, a method for identifying software...
The National Science Foundation (NSF) awarded a $1,000,000 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to The Trustees of the University of Pennsylvania, doing business as Clinical Practices of the University of Pennsylvania. This grant will fund research to advance the state-of-the-art in property-based testing (PBT), a software engineering methodology for writing and automatically testing system specifications. The project aims to enhance...