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
Fehnker, Ansgar ; Huuck, Ralf ; Seefried, Sean. / Counterexample Guided Path Reduction for Static Program Analysis. Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever. editor / Dennis Dams ; Ulrich Hannemann ; Martin Steffen. Vol. 5930 Springer, 2010. pp. 322-341 (Lecture Notes in Computer Science).
@inbook{44679c744ebf410e9dcdb2edb070e761,
title = "Counterexample Guided Path Reduction for Static Program Analysis",
author = "Ansgar Fehnker and Ralf Huuck and Sean Seefried",
year = "2010",
doi = "10.1007/978-3-642-11512-7_20",
language = "English",
isbn = "978-3-642-11511-0",
volume = "5930",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "322--341",
editor = "Dennis Dams and Ulrich Hannemann and Martin Steffen",
booktitle = "Concurrency, Compositionality, and Correctness",

}

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, Lecture Notes in Computer Science, Springer, pp. 322-341. https://doi.org/10.1007/978-3-642-11512-7_20

Counterexample Guided Path Reduction for Static Program Analysis. / Fehnker, Ansgar; Huuck, Ralf; Seefried, Sean.

Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever. ed. / Dennis Dams; Ulrich Hannemann; Martin Steffen. Vol. 5930 Springer, 2010. p. 322-341 (Lecture Notes in Computer Science).

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

TY - CHAP

T1 - Counterexample Guided Path Reduction for Static Program Analysis

AU - Fehnker, Ansgar

AU - Huuck, Ralf

AU - Seefried, Sean

PY - 2010

Y1 - 2010

U2 - 10.1007/978-3-642-11512-7_20

DO - 10.1007/978-3-642-11512-7_20

M3 - Chapter

SN - 978-3-642-11511-0

VL - 5930

T3 - Lecture Notes in Computer Science

SP - 322

EP - 341

BT - Concurrency, Compositionality, and Correctness

A2 - Dams, Dennis

A2 - Hannemann, Ulrich

A2 - Steffen, Martin

PB - Springer

ER -

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