Project Grant 2321680
Award Date
10/1/23
Completion Date
9/30/26
Dollars Obligated
$598K
Federal Agency
Division of Computing and Communication Foundations
Awardee
Purdue University (YRXVL4JYCEF5)
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
West Lafayette, IN 47907, USA
Similar Awards
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...
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 $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...
Purdue University was awarded a $599,999 Project Grant from the National Science Foundation's Division of Computer and Network Systems under the Computer and Information Science and Engineering (CFDA #47.070) program. The funding will support research to develop techniques for testing and detecting software upgrade failures in data-intensive distributed systems, which are critical components of many cloud-based computing services. Key objectives include implementing differential testing...
Purdue University was awarded a $496,450 Project Grant from the National Science Foundation Division of Computer and Network Systems from January 1, 2022 to December 31, 2024. The grant supports research titled "CNS CORE: SMALL: AUTOMATED TESTING FOR DATA- AND COMPUTE-INTENSIVE DISTRIBUTED SYSTEMS THROUGH FEEDBACK-BASED FUZZING" under the Computer and Information Science and Engineering program (CFDA #47.070). This program aims to advance computing, communications, and information...
This Project Grant award, with a total funding of $375,000.00, was provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070). The award aims to simplify and automate the verification of high-performance distributed systems, which are crucial but complex. The project will develop new techniques, such as "message invariants" and "distributed ownership types," to make formal verification of real-world,...
This Project Grant award of $387,341 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports research to extend auto-active verification techniques to enable the verification of security and privacy properties, known as hyperproperties, for software systems. The key objectives of the three-year project are to: 1) develop new deductive logics and algebras to support automated reasoning about relationships between...
The National Science Foundation awarded Iowa State University a $314,785 Project Grant under the Computer and Information Science and Engineering program to develop techniques for variability-aware software analysis and testing from September 1, 2022 to August 31, 2025. The University will extend software analysis methods to automatically extract feature constraints from program code and check them against requirements specifications, aiming to identify any inconsistencies and derive tests...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program award, with a total funding of $175,000, supports the development of novel verification methodologies to enhance software quality, safety, and security for safety-critical and security-critical applications such as self-driving cars and digital medical services. The project aims to develop verification techniques based on first-order assertions and auxiliary logical variables,...
The National Science Foundation (NSF) awarded a $448,410 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to the Trustees of the Stevens Institute of Technology in Hoboken, New Jersey. The grant aims to address key challenges in unit testing for software engineering, including knowledge gaps in mocking best practices and the high level of expertise required to effectively use mocking frameworks. The research team will: 1) conduct an empirical study...