Regarding correctness, programmers routinely use testing to gain confidence that their programs works as intended, but as famously stated by Dijkstra: Regarding correctness, programmers routinel
阅读背景：
【Static Program Analysis - Chapter 1】 Introduction
来源：互联网
分享到：
