Skip to content
David Lie

Augmenting Counterexample-Guided Abstraction Refinement With Proof Templates

by Thomas E. Hart, Kelvin Ku, David Lie, Marsha Chechik and Arie Gurfinkel
Reference:
Thomas E. Hart, Kelvin Ku, David Lie, Marsha Chechik and Arie Gurfinkel, “Augmenting Counterexample-Guided Abstraction Refinement With Proof Templates”, In Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2008.
Bibtex Entry:
@inproceedings{hart:ASE2008,
    author = "Hart, Thomas E. and Ku, Kelvin and Lie, David and Chechik, Marsha and Gurfinkel, Arie",
    title = "Augmenting Counterexample-Guided Abstraction Refinement With Proof Templates",
    booktitle = "Proceedings of the 23rd {IEEE/ACM} International Conference on Automated Software Engineering ({ASE})",
    month = "September",
    year = "2008",
    url = "https://security.csl.toronto.edu/wp-content/uploads/2018/06/hart_ase08_short.pdf",
    note = "(Acceptance: 34/208, 12\%; 4 citations)",
    citations = "4",
    gsid = "10671141584458067755"
}