Counterexample Guided Path Reduction for Static Program Analysis

Ansgar Fehnker; Ralf Huuck; Sean Seefried

doi:10.1007/978-3-642-11512-7_20

Counterexample Guided Path Reduction for Static Program Analysis

Ansgar Fehnker, Ralf Huuck, Sean Seefried

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

6 Citations (Scopus)

Original language	English
Title of host publication	Concurrency, Compositionality, and Correctness
Subtitle of host publication	Essays in Honor of Willem-Paul de Roever
Editors	Dennis Dams, Ulrich Hannemann, Martin Steffen
Publisher	Springer
Pages	322-341
Number of pages	20
Volume	5930
ISBN (Electronic)	978-3-642-11512-7
ISBN (Print)	978-3-642-11511-0
DOIs	https://doi.org/10.1007/978-3-642-11512-7_20
Publication status	Published - 2010
Externally published	Yes

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Access to Document

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

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

@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",

}

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 proceeding › Chapter › Academic › peer-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 -