Counterexample Guided Path Reduction for Static Program Analysis

Ansgar Fehnker, Ralf Huuck, Sean Seefried

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

6 Citations (Scopus)
Original languageEnglish
Title of host publicationConcurrency, Compositionality, and Correctness
Subtitle of host publicationEssays in Honor of Willem-Paul de Roever
EditorsDennis Dams, Ulrich Hannemann, Martin Steffen
PublisherSpringer
Pages322-341
Number of pages20
Volume5930
ISBN (Electronic)978-3-642-11512-7
ISBN (Print)978-3-642-11511-0
DOIs
Publication statusPublished - 2010
Externally publishedYes

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Cite this

Fehnker, A., Huuck, R., & Seefried, S. (2010). Counterexample Guided Path Reduction for Static Program Analysis. In D. Dams, U. Hannemann, & M. Steffen (Eds.), Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever (Vol. 5930, pp. 322-341). (Lecture Notes in Computer Science). Springer. https://doi.org/10.1007/978-3-642-11512-7_20