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