项目工具更多
内存泄漏检测工具Melton2015-01-01
SMT解空间大小估算工具Volce2016-01-01
验证工具Verds2017-01-01
静态分析工具Canalyze2018-01-01
项目论文更多
Barrier certificates revisited2015-01-01
SITAR: GUI test script repair2016-02-01
Regular property guided dynamic symbolic execution2016-03-01
Revisit of automatic debugging via human focus-tracking analysis2016-07-01
Effort-aware just-in-time defect prediction: simple unsupervised models could be better than supervised models2016-09-01
Light-weight, Inter-procedural and Callback-aware Resource Leak Detection for Android Apps2017-02-01
Generating combinatorial test suite using combinatorial optimization2017-03-01
更多信息
项目专利更多
专利12015-03-01
专利22016-02-01