Shuvendu K. Lahiri, Kapil Vaswani, C. A. R. Hoare. Differential static analysis: opportunities, applications, and challenges. In Gruia-Catalin Roman, Kevin J. Sullivan, editors, 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. pages 201-204, ACM, 2010. [doi]
Abstract is missing.