Generating Bounded Counterexamples for KeY Proof Obligations

@mastersThesis{mihai-herda-thesis,
    author = {Mihai Herda},
    title  = {Generating Bounded Counterexamples for {\KeY} Proof Obligations},
    school = {Karlsruhe Institute of Technology},
    year   = {2014},
    month  = {January}
}