zhang01

我的随笔

Advanced Code Coverage Analysis Using Substring Holes zhanghs 2012-02-28 15:21 阅读:226 评论:0 推荐:0

aComment: Mining Annotations from Comments and Code to Detect Interrupt Related Concurrency Bugs zhanghs 2012-02-28 10:03 阅读:252 评论:0 推荐:0

Coverage Guided Systematic Concurrency Testing zhanghs 2011-12-17 22:24 阅读:324 评论:0 推荐:0

Mining Message Sequence Graphs（ICSE2011） zhanghs 2011-12-13 20:36 阅读:365 评论:0 推荐:0

Structural coverage of feasible code（AST ’10, May 3-4, 2010, Cape Town, South Africa） zhanghs 2011-12-11 10:01 阅读:231 评论:0 推荐:1

Hybrid Concolic Testing(ICSE'07) zhanghs 2011-12-04 08:53 阅读:852 评论:0 推荐:0

ParSym: Parallel Symbolic Execution(20IO 2nd International Coriference on Software Technology and Engineering(ICSTE)) zhanghs 2011-11-28 22:20 阅读:435 评论:0 推荐:0

Research Issues for Software Testing in the Cloud zhanghs 2011-11-27 14:06 阅读:354 评论:0 推荐:0

Large-Scale Software Testing Environment using Cloud Computing Technology for Dependable Parallel and Distributed System zhanghs 2011-11-25 16:25 阅读:515 评论:0 推荐:0

Parallel Symbolic Execution for Automated Real-World Software Testing zhanghs 2011-11-22 19:48 阅读:507 评论:0 推荐:0

导航

公告