• SmallCheck

  • Referenced in 19 articles [sw09736]
  • paper describes two Haskell libraries for property-based testing. Following the lead of QuickCheck, these...
  • QuickChick

  • Referenced in 5 articles [sw13283]
  • Foundational property-based testing. Integrating property-based testing with a proof assistant creates an interesting ... opportunity: reusable or tricky testing code can be formally verified using the proof assistant itself ... novel methodology for formally verified property-based testing and implement it as a foundational verification...
  • PropEr

  • Referenced in 2 articles [sw28178]
  • PropEr: a QuickCheck-inspired property-based testing tool for Erlang. PropEr is a tool ... automated, semi-random, property-based testing of Erlang programs. It is fully integrated with Erlang ... also be used for the model-based random testing of stateful systems. Recent releases ... property-based testing, a powerful extension that brings techniques from search-based testing into property...
  • Luck

  • Referenced in 3 articles [sw21716]
  • language for property-based generators. Property-based random testing `a la QuickCheck requires building efficient ... formal semantics and prove several fundamental properties, including the soundness and completeness of random generation ... Luck on common examples from the property-based testing literature and on two significant case...
  • PrologCheck

  • Referenced in 3 articles [sw14206]
  • Prologcheck -- property-based testing in prolog. We present PrologCheck, an automatic tool for property based...
  • Ask-Elle

  • Referenced in 2 articles [sw22629]
  • strategy-based model tracing and property-based testing. We have tested the feasibility...
  • Proof Pad

  • Referenced in 2 articles [sw29644]
  • system. Proof Pad also provides a property-based testing environment with random data generation...
  • CUTE

  • Referenced in 59 articles [sw00177]
  • CUTE: a concolic unit testing engine for C...
  • Isabelle

  • Referenced in 606 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Nitpick

  • Referenced in 59 articles [sw00622]
  • Nitpick is a counterexample generator for Isabelle/HOL that...
  • SINGULAR

  • Referenced in 1362 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • PVS

  • Referenced in 609 articles [sw03484]
  • PVS is a verification system: that is, a...
  • Haskell

  • Referenced in 842 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • z3

  • Referenced in 489 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • KLEE

  • Referenced in 40 articles [sw04894]
  • KLEE: Unassisted and Automatic Generation of High-Coverage...
  • Maude

  • Referenced in 657 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • GHC

  • Referenced in 102 articles [sw06691]
  • Secrets of the Glasgow Haskell Compiler inliner. Higher...
  • DART

  • Referenced in 68 articles [sw07260]
  • DART: directed automated random testing. We present a...
  • Euclide

  • Referenced in 3 articles [sw07261]
  • Euclide: A constraint-based testing framework for critical...