Property-Based Testing via Proof Reconstruction (bibtex)
by Blanco, Roberto, Miller, Dale and Momigliano, Alberto
Reference:
Property-Based Testing via Proof Reconstruction (Blanco, Roberto, Miller, Dale and Momigliano, Alberto), In PPDP 2019 - 21st International Symposium on Principles and Practice of Programming Languages, ACM Press, 2019.
Bibtex Entry:
@inproceedings{blanco:hal-02368931,
  TITLE = {{Property-Based Testing via Proof Reconstruction}},
  AUTHOR = {Blanco, Roberto and Miller, Dale and Momigliano, Alberto},
  URL = {https://hal.inria.fr/hal-02368931},
  BOOKTITLE = {{PPDP 2019 - 21st International Symposium on Principles and Practice of Programming Languages}},
  ADDRESS = {Porto, Portugal},
  PUBLISHER = {{ACM Press}},
  PAGES = {1-13},
  YEAR = {2019},
  MONTH = Oct,
  DOI = {10.1145/3354166.3354170},
  KEYWORDS = {Logic and verification ; Software and its engineering ; Theory of computation ; Proof theory ; Formal software verification},
  PDF = {https://hal.inria.fr/hal-02368931/file/ppdp2019-pbt.pdf},
  HAL_ID = {hal-02368931},
  HAL_VERSION = {v1},
}
Powered by bibtexbrowser