Ansgar Fehnker, Ralf Huuck, Sean Seefried. Incremental False Path Elimination for Static Software Analysis. In Zhiming Liu, Anders P. Ravn, editors, Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings. Volume 5799 of Lecture Notes in Computer Science, pages 255-270, Springer, 2009. [doi]
Abstract is missing.