D
Dirk Beyer
Researcher at Ludwig Maximilian University of Munich
Publications - 195
Citations - 7063
Dirk Beyer is an academic researcher from Ludwig Maximilian University of Munich. The author has contributed to research in topics: Software verification & Software. The author has an hindex of 44, co-authored 175 publications receiving 6274 citations. Previous affiliations of Dirk Beyer include Simon Fraser University & École Normale Supérieure.
Papers
More filters
Journal ArticleDOI
The software model checker B last : Applications to software engineering
TL;DR: This paper gives an introduction to Blast and demonstrates, through two case studies, how it can be applied to program verification and test-case generation.
Book ChapterDOI
CPACHECKER: a tool for configurable software verification
Dirk Beyer,M. Erkan Keremoglu +1 more
TL;DR: CPAchecker as discussed by the authors is a tool and framework that aims at easy integration of new verification components, such as configurable program analysis (CPA), in one single formalism.
Proceedings ArticleDOI
Generating tests from counterexamples
TL;DR: The software model checker BLAST is extended to automatically generate test suites that guarantee full coverage with respect to a given predicate and automatically generates a set of test vectors that exhibit the truth of p at all locations in L.
Book ChapterDOI
Configurable software verification: concretizing the convergence of model checking and program analysis
TL;DR: An algorithm and tool are designed and built that can be configured to perform not only a purely tree-based or a purely lattice-based analysis, but offers many intermediate settings that have not been evaluated before.
Proceedings ArticleDOI
Web service interfaces
TL;DR: A language for specifying web service interfaces that can be used to check, first, if two or more web services are compatible, and second, if a web service A can be safely substituted for a webservice B.