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
浙公网安备 33010602011771号