zhang01

我的随笔

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

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

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

Automated Whitebox Fuzz Testing zhanghs 2011-11-13 19:06 阅读:291 评论:0 推荐:0

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

Symbolic Excution and ProgramTesting zhanghs 2011-10-27 17:39 阅读:319 评论:0 推荐:1

关于可信软件测量的几个问题 zhanghs 2011-10-24 20:00 阅读:171 评论:0 推荐:0

导航

公告