BibTeX records: Kelvin Ku

• > Home > Persons > Kelvin Ku

@inproceedings{DBLP:conf/kbse/HartKGCL08,
  author       = {Thomas E. Hart and
                  Kelvin Ku and
                  Arie Gurfinkel and
                  Marsha Chechik and
                  David Lie},
  title        = {Augmenting Counterexample-Guided Abstraction Refinement with Proof
                  Templates},
  booktitle    = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
                  {(ASE} 2008), 15-19 September 2008, L'Aquila, Italy},
  pages        = {387--390},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ASE.2008.55},
  doi          = {10.1109/ASE.2008.55},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/HartKGCL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/HartKGCL08a,
  author       = {Thomas E. Hart and
                  Kelvin Ku and
                  Arie Gurfinkel and
                  Marsha Chechik and
                  David Lie},
  title        = {PtYasm: Software Model Checking with Proof Templates},
  booktitle    = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
                  {(ASE} 2008), 15-19 September 2008, L'Aquila, Italy},
  pages        = {479--480},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ASE.2008.80},
  doi          = {10.1109/ASE.2008.80},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/HartKGCL08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/KuHCL07,
  author       = {Kelvin Ku and
                  Thomas E. Hart and
                  Marsha Chechik and
                  David Lie},
  editor       = {R. E. Kurt Stirewalt and
                  Alexander Egyed and
                  Bernd Fischer},
  title        = {A buffer overflow benchmark for software model checkers},
  booktitle    = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
                  {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
  pages        = {389--392},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1321631.1321691},
  doi          = {10.1145/1321631.1321691},
  timestamp    = {Tue, 06 Nov 2018 16:58:23 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/KuHCL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}