In defense of soundiness: a manifestoBenjamin Livshits,Manu Sridharan,Yannis Smaragdakis,Ondrej Lhoták,José Nelson Amaral,Bor-Yuh Evan Chang,Samuel Z. Guyer,Uday P. Khedker,Anders Møller,Dimitrios VardoulakisCommun. ACM(2015)引用 165|浏览89暂无评分摘要Soundy is the new sound.更多查看译文关键词metrics,software/program verification,testing and debuggingAI 理解论文溯源树样例生成溯源树,研究论文发展脉络Chat Paper正在生成论文摘要