Projects

Supported By:

• [NSFC] Compositional Symbolic Analysis of Large-Scale Framework-based Software. PI. 2022~2025

• [NSFC] Symbolic Execution Based Testing and Verification of Complex Software Systems. Co-PI. 2018~2021

• [NSFC] Hybrid Program Analysis based Bug Finding and Verification of Device Drivers. PI. 2015~2018

• [NSFC] Component-based Design of Compensable Service Systems. PI. 2012~2014