Skip to main content

Differential static analysis: opportunities‚ applications‚ and challenges

Shuvendu K. Lahiri‚ Kapil Vaswani and C. A. R. Hoare

Book Title
Proceedings of the Workshop on Future of Software Engineering Research‚ FoSER 2010‚ at the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering‚ 2010‚ Santa Fe‚ NM‚ USA‚ November 7−11‚ 2010
Editor
Gruia−Catalin Roman and Kevin J. Sullivan
Pages
201−204
Publisher
ACM
Year
2010