
@online{AddFailingOut2022,
  title = {Add (Failing) \{\vphantom\}{{In}},{{Out}}\vphantom\{\}\_channel Linearization Tests},
  OPTdate = {2022-03-10},
  url = {https://github.com/jmid/multicoretests/pull/13},
  OPTorganization = {{Multicoretests Github repository}}
}

@online{Articheck,
  title = {Articheck},
  url = {https://github.com/braibant/articheck}
}

@inproceedings{artsTestingTelecomsSoftware2006,
  title = {Testing Telecoms Software with Quviq {{QuickCheck}}},
  booktitle = {Proceedings of the 2006 {{ACM SIGPLAN Workshop}} on {{Erlang}} ({{Erlang}} 2006)},
  author = {Arts, Thomas and Hughes, John and Johansson, Joakim and Wiger, Ulf T.},
  date = {2006},
  pages = {2--10},
}

@online{AuditStdlibMutable2022,
  title = {Audit Stdlib for Mutable State (Comment)},
  OPTdate = {2022-04-04},
  url = {https://github.com/ocaml/ocaml/issues/10960#issuecomment-1087660763},
  OPTorganization = {{OCaml Github repository}}
}

@inproceedings{braibantWelltypedSmartFuzzing2014,
  title = {Well-Typed Generic Smart Fuzzing for APIs},
  author = {Braibant, Thomas and Protzenko, Jonathan and Scherer, Gabriel},
  date = {2014},
  url = {https://hal.inria.fr/hal-01094006},
  eventtitle = {{{ML Familiy Workshop}} ({{ML}} 2014)}
}

@inproceedings{claessenFindingRaceConditions2009,
  title = {Finding {{Race Conditions}} in {{Erlang}} with {{QuickCheck}} and {{PULSE}}},
  booktitle = {Proceeding of the 14th {{ACM SIGPLAN}} International Conference on {{Functional}} Programming ({{ICFP}} 2009)},
  author = {Claessen, Koen and Pałka, Michał and Smallbone, Nicholas and Hughes, John and Svensson, Hans and Arts, Thomas and Wiger, Ulf},
  date = {2009},
  pages = {12},
}

@inproceedings{claessenQuickCheckLightweightTool2000,
  title = {{{QuickCheck}}: A Lightweight Tool for Random Testing of {{Haskell}} Programs},
  shorttitle = {{{QuickCheck}}},
  booktitle = {Proceedings of the {{Fifth ACM SIGPLAN International Conference}} on {{Functional Programming}} ({{ICFP}} 2000)},
  author = {Claessen, Koen and Hughes, John},
  date = {2000},
  pages = {268--279},
}

@inproceedings{claessenTestingMonadicCode2002,
  title = {Testing Monadic Code with {{QuickCheck}}},
  booktitle = {Proceedings of the 2002 {{ACM SIGPLAN Workshop}} on {{Haskell}} ({{Haskell}} 2002)},
  author = {Claessen, Koen and Hughes, John},
  date = {2002},
  pages = {65--77},
}

@online{Crowbar,
  title = {Crowbar},
  url = {https://github.com/stedolan/crowbar}
}

@online{Ctypes,
  title = {Ctypes},
  url = {https://github.com/ocamllabs/ocaml-ctypes}
}

@article{YALLOP201882,
title = {A modular foreign function interface},
author = {Jeremy Yallop and David Sheets and Anil Madhavapeddy},
journal = {Science of Computer Programming},
volume = {164},
pages = {82-97},
year = {2018},
url = {https://www.sciencedirect.com/science/article/pii/S0167642317300709},
}

@inproceedings{dolanTestingCrowbar2017,
  title = {Testing with {{Crowbar}}},
  author = {Dolan, Stephen and Preston, Mindy},
  date = {2017},
  eventtitle = {{OCaml Users and Developers Workshop}},
}

@online{Hedgehog,
  title = {Hedgehog},
  url = {https://github.com/hedgehogqa/haskell-hedgehog}
}

@inproceedings{koopmanTestingReactiveSystems2003,
  title = {Testing Reactive Systems with {{GAST}}},
  booktitle = {Revised {{Selected Papers}} from the {{Fourth Symposium}} on {{Trends}} in {{Functional Programming}} ({{TFP}} 2003)},
  author = {Koopman, Pieter W. M. and Plasmeijer, Rinus},
  date = {2003},
  series = {Trends in {{Functional Programming}}},
  volume = {4},
  pages = {111--129},
}

@online{ParallelAccessBuffer2022,
  title = {Parallel Access to {{Buffer}} Can Trigger Segfaults},
  OPTdate = {2022-05-26},
  url = {https://github.com/ocaml/ocaml/issues/11279},
  OPTorganization = {{OCaml Github repository}}
}

@inproceedings{pottierStrongAutomatedTesting2021,
  title = {Strong {{Automated Testing}} of {{OCaml Libraries}}},
  author = {Pottier, François},
  date = {2021-02},
  eventtitle = {Journées {{Francophones}} Des {{Langages Applicatifs}} ({{JFLA}} 2021)},
  langid = {english},
}

@online{PropCheck,
  title = {{{propCheck}}},
  url = {https://github.com/1Jajen1/propCheck}
}

@online{Proper,
  title = {Proper},
  url = {https://github.com/proper-testing/proper}
}

@InProceedings{PropErTypes@Erlang-11,
  author = "Manolis Papadakis and Konstantinos Sagonas",
  title  = "A {PropEr} Integration of Types and Function Specifications
            with Property-Based Testing",
  pages  = "39--50",
  booktitle = "Proceedings of the 2011 ACM SIGPLAN Erlang Workshop",
  year   = "2011",
}

@online{QCheck,
  title = {{{QCheck}}},
  url = {https://github.com/c-cube/qcheck}
}

@online{Qcstm,
  title = {qcstm},
  url = {https://github.com/jmid/qcstm}
}

@InProceedings{Midtgaard:OCaml20,
  author = 	"Jan Midtgaard",
  title = 	"A Simple State-Machine Framework for Property-Based Testing in {OCaml}",
  year = 	2020,
  booktitle =   {{OCaml Users and Developers Workshop}},
}

@online{QuviqQuickCheck,
  title = {Quviq {{QuickCheck}}},
  url = {http://quviq.com/documentation/eqc/index.html}
}

@online{ScalaCheck,
  title = {{{ScalaCheck}}},
  url = {https://github.com/typelevel/scalacheck}
}

@online{SegfaultMacOSXTrunk2022,
  title = {Segfault on {{MacOSX}} with Trunk},
  OPTdate = {2022-04-29},
  url = {https://github.com/ocaml/ocaml/issues/11226},
  OPTorganization = {{OCaml Github repository}}
}

@online{STMCleanup2022,
  title = {{{STM}} Clean-Up},
  OPTdate = {2022-05-10},
  url = {https://github.com/jmid/multicoretests/pull/63},
  OPTorganization = {{Multicoretests Github repository}}
}

@inproceedings{osborne:hal-03328646,
  TITLE = {{Leveraging Formal Specifications to Generate Fuzzing Suites}},
  AUTHOR = {Osborne, Nicolas and Pascutto, Cl{\'e}ment},
  URL = {https://hal.inria.fr/hal-03328646},
  BOOKTITLE = {{OCaml Users and Developers Workshop}},
  YEAR = {2021},
  PDF = {https://hal.inria.fr/hal-03328646/file/OCaml_2021.pdf},
  HAL_ID = {hal-03328646},
  HAL_VERSION = {v1},
}

@inproceedings{padhiyarParafuzzCoverageguidedProperty2021,
  title = {Parafuzz: {{Coverage-guided Property Fuzzing}} for {{Multicore OCaml}} Programs},
  author = {Padhiyar, Sumit and Kamath, Adharsh and Sivaramakrishnan, KC},
  date = {2021},
  eventtitle = {{OCaml Users and Developers Workshop}},
}
