发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing

Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing

Mike Papadakis; Nicos Malevris
  • 作者Mike Papadakis; Nicos Malevris
  • 卷第19卷
  • 期第4期
  • 印刷ISSN0963-9314
  • 电子ISSN1573-1367
  • 文件大小506.67KB
  • 发表时间2011-12
  • DOI10.1007/s11219-011-9142-y
  • 页码691-723
← 返回【学霸图书馆】主页