摘要：
发表：FSE，2017，卡内基梅隆大学， Bogdan Vasilescu团队（https://bvasiles.github.io/）；加利福尼亚大学戴维斯分校，Casey Casalnuovo团队（https://caseycas.github.io/）和 Premkumar Devanbu团队 阅读全文
摘要：
发表：ACM SIGPLAN Notices(POPL), 2015, 苏黎世联邦理工学院计算机科学系Software Reliability Lab，Andreas Krause团队（https://scholar.google.com/citations?user=eDHv58AAAAAJ）(h 阅读全文