External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Incremental False Path Elimination for Static Software Analysis

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]

Authors

Ansgar Fehnker

This author has not been identified. Look up 'Ansgar Fehnker' in Google

Ralf Huuck

This author has not been identified. Look up 'Ralf Huuck' in Google

Sean Seefried

This author has not been identified. Look up 'Sean Seefried' in Google
runs on