@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",
address = "Germany",
}