| 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 | |
| Publication status | Published - 2010 |
| Externally published | Yes |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer |
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",
}
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 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 -
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