bcp.bib

@preamble{{\newcommand{\SortNoop}[1]{}}}

@inproceedings{TestingNI:ICFP,
  author = {C\u{a}t\u{a}lin Hri\c{t}cu and
                  John Hughes and
                  Benjamin C. Pierce and
                  Antal Spector-Zabusky and
                  Dimitrios Vytiniotis and
                  Arthur Azevedo de Amorim and
                  Leonidas Lampropoulos},
  title = {Testing Noninterference, Quickly},
  booktitle = {18th ACM SIGPLAN International
                  Conference on Functional Programming (ICFP)},
  shortbooktitle = {ICFP},
  year = {2013},
  month = sep,
  url = {http://www.crash-safe.org/node/24},
  bcp = {yes},
  plclub = {yes},
  keys = {testing,security},
  note = {Full version to appear in Journal of Functional Programming}
}

@misc{jfpsubmission2014,
  author = {C\u{a}t\u{a}lin Hri\c{t}cu and
                  Leonidas Lampropoulos and
                  Antal Spector-Zabusky and
                  Arthur Azevedo de Amorim and
                  Maxime D\'{e}n\`{e}s and
                  John Hughes and
                  Benjamin C. Pierce and
                  Dimitrios Vytiniotis},
  title = {Testing Noninterference, Quickly},
  url = {http://arxiv.org/abs/1409.0393},
  howpublished = {arXiv:1409.0393; Submitted to Special Issue of
Journal of Functional Programming for ICFP 2013},
  month = sep,
  year = {2014},
  plclub = {Yes},
  bcp = {Yes},
  keys = {testing}
}

@inproceedings{Denes:VSL2014,
  author = {Maxime D\'en\`es and Catalin Hritcu and Leonidas Lampropoulos and Zoe Paraskevopoulou and Benjamin C. Pierce},
  title = {{QuickChick}: {P}roperty-Based Testing for {C}oq (abstract)},
  booktitle = {VSL},
  url = {http://www.easychair.org/smart-program/VSL2014/index.html},
  year = 2014,
  plclub = {Yes},
  bcp = {Yes},
  keys = {testing}
}

@inproceedings{Paraskevopoulou:ITP2015,
  author = {Zoe Paraskevopoulou and
                  C\u{a}t\u{a}lin Hri\c{t}cu and
                  Maxime D\'en\`es and
                  Leonidas Lampropoulos and
                  Benjamin C. Pierce},
  title = {Foundational Property-Based Testing},
  booktitle = {International Conference 
                  on Interactive Theorem Proving (ITP)},
  year = 2015,
  plclub = {Yes},
  bcp = {Yes},
  keys = {testing}
}