智能化软件开发、软件缺陷分析与质量保障、测试用例自动生成、函数规约自动生成.
并发缺陷检测:静态分析、受控并发测试、模糊测试、预测分析.
Research on Rust Library Analysis and Testing Technology.
非营利性公益项目.
广东省广州市黄埔区九龙大道206号西安电子科技大学广州研究院