Calysto: scalable and precise extended static checking

Alan J. Hu
ICSE(2008), pp. 211-220

Abstract

Research Areas