The National Science Foundation (NSF) awarded the University of Connecticut (UConn) a $101,190 Project Grant under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070). The objective of this 6-month grant, with a period of performance from November 15, 2023 to May 31, 2024, is to create a novel architecture-modeling framework that bridges the gap between software architecture and software testing. The project will develop three key components: 1) a...
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...
The University of Connecticut received a $209,688 project grant award from the National Science Foundation Division of Mathematical Sciences on January 15, 2021. The grant supports the "Analysis, Simulation, and Applications of Stochastic Systems" project through January 31, 2023. The project aligns with the NSF's Mathematical and Physical Sciences program (CFDA 47.049), which aims to advance scientific knowledge and understanding in these fields. Specifically, the University of...
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 University of Washington was awarded a $500,000 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). The three-year award will support the University's efforts to evolve the Defects4J benchmark and infrastructure to enable sustained innovation and reproducibility in software engineering research. Specifically, the University will work to enhance Defects4J, an...
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,...
The National Science Foundation awarded a $823,480 project grant to the University of Connecticut under the Engineering program (CFDA 47.041) for work titled "CAREER: BRIDGING THE GAP BETWEEN DETERMINISTIC AND STOCHASTIC STRUCTURES FOR MIXED STOCHASTICITY SYSTEM DESIGN." This five-year award beginning January 1, 2022 will support research to improve techniques for designing systems with both deterministic and stochastic components. The Engineering program aims to foster innovation in...
This $300,000 Project Grant awarded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) program supports the development of a new testing methodology to enhance the detection of internal defects in state-of-the-art integrated circuits. The research project aims to generate compact and efficient tests that can comprehensively cover a wide range of resistive defects within individual circuit cells, as well as capture the timing impact of a...
The National Science Foundation awarded a $346,983 Project Grant to the University of Connecticut (UConn) under the NSF's Engineering program (CFDA 47.041) to develop scalable deterministic global optimization (DGO) algorithms and open-source software. The project aims to enable the solution of higher complexity models involving nonlinear equations by exploiting parallel computing architectures like graphical processing units (GPUs). The research will generate methods for automatically...