@inproceedings{blanco19ppdp,
  author = {Roberto Blanco and Dale Miller and Alberto
                 Momigliano},
  title = {Property-Based Testing via Proof Reconstruction},
  booktitle = {Principles and Practice of Programming Languages 2019
                 (PPDP '19)},
  year = {2019},
  editor = {E. Komendantskaya},
  month = oct,
  doi = {10.1145/3354166.3354170}
}

{"_id":"rfji2FF4Jx2Enwmd3","bibbaseid":"blanco-miller-momigliano-propertybasedtestingviaproofreconstruction-2019","author_short":["Blanco, R.","Miller, D.","Momigliano, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Roberto"],"propositions":[],"lastnames":["Blanco"],"suffixes":[]},{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]},{"firstnames":["Alberto"],"propositions":[],"lastnames":["Momigliano"],"suffixes":[]}],"title":"Property-Based Testing via Proof Reconstruction","booktitle":"Principles and Practice of Programming Languages 2019 (PPDP '19)","year":"2019","editor":[{"firstnames":["E."],"propositions":[],"lastnames":["Komendantskaya"],"suffixes":[]}],"month":"October","doi":"10.1145/3354166.3354170","bibtex":"@inproceedings{blanco19ppdp,\n author = {Roberto Blanco and Dale Miller and Alberto\n Momigliano},\n title = {Property-Based Testing via Proof Reconstruction},\n booktitle = {Principles and Practice of Programming Languages 2019\n (PPDP '19)},\n year = {2019},\n editor = {E. Komendantskaya},\n month = oct,\n doi = {10.1145/3354166.3354170}\n}\n\n","author_short":["Blanco, R.","Miller, D.","Momigliano, A."],"editor_short":["Komendantskaya, E."],"key":"blanco19ppdp","id":"blanco19ppdp","bibbaseid":"blanco-miller-momigliano-propertybasedtestingviaproofreconstruction-2019","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["property","based","testing","via","proof","reconstruction","blanco","miller","momigliano"],"title":"Property-Based Testing via Proof Reconstruction","year":2019}