Jump to Content

Calysto: scalable and precise extended static checking

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

Abstract

Research Areas