项目论文

Barrier certificates revisited	2015-01-01
SITAR: GUI test script repair	2016-02-01
Regular property guided dynamic symbolic execution	2016-03-01
Revisit of automatic debugging via human focus-tracking analysis	2016-07-01
Effort-aware just-in-time defect prediction: simple unsupervised models could be better than supervised models	2016-09-01
Light-weight, Inter-procedural and Callback-aware Resource Leak Detection for Android Apps	2017-02-01
Generating combinatorial test suite using combinatorial optimization	2017-03-01
Fixing deadlocks via lock pre-acquisitions	2017-04-01
Automatic Verification of Stability and Safety for Delay Differential Equations	2017-08-01
Software numerical instability detection and diagnosis by combining stochastic and infinite-precision testing	2018-03-01

共有1页(1/1)[1]