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