ICFP 2020 (series) / OCaml 2020 (series) / OCaml 2020 /
A Simple State-Machine Framework for Property-Based Testing in OCaml
Since their inception state-machine frameworks have proven their worth by finding defects in everything from the underlying AUTOSAR components of Volvo cars to digital invoicing sys- tems. These case studies were carried out with Erlang’s commercial QuickCheck state-machine framework from Quviq, but such frameworks are now also available for Haskell, F#, Scala, Elixir, Java, etc. We present a typed state-machine framework for OCaml based on the QCheck library and illustrate a number concepts common to all such frameworks: state modeling, commands, interpreting commands, preconditions, and agreement checking.
Fri 28 Aug Times are displayed in time zone: Eastern Time (US & Canada) change
Fri 28 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change
09:00 - 11:00: ApplicationsOCaml at OCaml Chair(s): Marcello SeriBernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen Talks about new and existing OCaml applications and libraries. | |||
09:00 - 09:30 Talk | A Simple State-Machine Framework for Property-Based Testing in OCaml OCaml Jan MidtgaardUniversity of Southern Denmark | ||
09:30 - 10:00 Talk | The ImpFS filesystem OCaml Tom RidgeUniversity of Leicester, UK | ||
10:00 - 10:30 Talk | Irmin v2 OCaml Clément PascuttoTarides, Ioana CristescuINRIA, France, Craig FergusonTarides, Thomas GazagnaireTarides, Romain LiautaudTarides | ||
10:30 - 11:00 Talk | AD-OCaml: Algorithmic Differentiation for OCaml OCaml Markus MottlUnaffiliated |