zhang01

推荐排行榜

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

Heuristics for Scalable Dynamic Test Generation zhanghs 2011-11-18 11:35 阅读:591 评论:0 推荐:1

Parallel Symbolic Execution for Structural Test Generation zhanghs 2011-11-17 11:53 阅读:505 评论:0 推荐:1

Finding bugs in web applications using dynamic test generation and explicit-state model checking-IEEE Transactions zhanghs 2011-11-15 16:20 阅读:255 评论:0 推荐:1

Symbolic Excution for software teting in pratice preliminary assessment zhanghs 2011-10-27 22:59 阅读:641 评论:0 推荐:1

导航

公告