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

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

Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking

Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking

Galeotti, Juan; Furia, Carlo; May, Eva; Fraser, Gordon; Zeller, Andreas

期刊名称IEEE Transactions on Software Engineering
作者Galeotti, Juan; Furia, Carlo; May, Eva; Fraser, Gordon; Zeller, Andreas
印刷ISSN0098-5589
电子ISSN1939-3520
文件大小460.86KB
发表时间2015
DOI10.1109/tse.2015.2431688
页码1-1

← 返回【学霸图书馆】主页