Foundational Property-Based Testing (bibtex)
by Zoe Paraskevopoulou, Catalin Hritcu, Maxime Dénès, Leonidas Lampropoulos, Benjamin C. Pierce
Reference:
Foundational Property-Based Testing (Zoe Paraskevopoulou, Catalin Hritcu, Maxime Dénès, Leonidas Lampropoulos, Benjamin C. Pierce), In 6th International Conference on Interactive Theorem Proving (ITP) (Christian Urban, Xingyuan Zhang, eds.), Springer, volume 9236, 2015.
Bibtex Entry:
@inproceedings{Paraskevopoulou15,
  author    = {Zoe Paraskevopoulou and
               Catalin Hritcu and
               Maxime D{\'{e}}n{\`{e}}s and
               Leonidas Lampropoulos and
               Benjamin C. Pierce},
  title     = {Foundational Property-Based Testing},
  booktitle = {6th International Conference on Interactive Theorem Proving (ITP)},
  shortbooktitle = {ITP},
  pages     = {325--343},
  year      = {2015},
  ee        = {http://dx.doi.org/10.1007/978-3-319-22102-1_22},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/itp/Paraskevopoulou15},
  url       = {http://prosecco.gforge.inria.fr/personal/hritcu/publications/foundational-pbt.pdf},
  editor    = {Christian Urban and
               Xingyuan Zhang},
  series    = {Lecture Notes in Computer Science},
  volume    = {9236},
  publisher = {Springer},
  isbn      = {978-3-319-22101-4},
}
Powered by bibtexbrowser