Aerospace Open Fund Project Proposal Granted

Our project proposal has been granted for funding by the China Aerospace Science and Technology Corporation (CASC).

Our project proposal titled “Requirement-Driven Test Generation and Prioritization for Aerospace Embedded Software” has been granted for funding by the High-Reliability Embedded Software Engineering Technology Lab. of China Aerospace Science and Technology Corporation (CASC). This project aims to develop a fine-grained framework for the automatic generation and prioritization of validation-testing scripts and oracles for aerospace embedded software by leveraging the integrated power of large language models.