Research on Key Mutation Testing Techniques for DL Frameworks

Designed mutation rules that simulate actual user development operations to generate test models aligned with practical scenarios. Evaluated the diversity and sufficiency of test data by integrating static and dynamic framework features.

The project uses heuristic methods to guide mutation testing and combines experience replay to improve testing efficiency and quality. Project results were published at ASE 2024, and a patent application for an invention is underway.