参考文献 ↑ "Data.Collections.Properties" . hackage.haskell.org . ↑ Pennebaker, Andrew (mcandre) (2011年10月13日). "qc" . GitHub . 2011年 12月9日 取得 . ↑ Zito, Andrea (nivox) (2014年7月27日). "quickcheck4c" . GitHub . 2014年 7月27日 取得 . ↑ Vokes, Scott (2015年3月30日). "Theft: C言語のプロパティベーステスト" . GitHub . 2015年 11月16日 取得 。 ↑ 「QuickCheck」 。Software.legiasoft.com 。 2011年12 月 9日 取得 。 ↑ "CppQuickCheck" . GitHub . 2015年 3月30日 取得 . ↑ 「RapidCheck」 . GitHub . 2015年 3月30日 取得 。 ↑ Pennebaker, Andrew (mcandre). "cluckcheck" . GitHub . 2011年 12月9日 取得 . ↑ Draper, Reid (reiddraper) (2013年5月9日). "simple-check" . GitHub . 2013年 8月21日 取得 。 ↑ Draper, Reid (reiddraper) (2014年3月27日). "org.clojure/test.check" . GitHub . 2014年 3月27日 取得 . ↑ "cl-quickcheck" . Cliki . 2011年 12月9日 取得 . ↑ Pennebaker, Andrew (mcandre) (2011年10月27日). "dashcheck" . GitHub . 2011年 12月9日 取得 。 ↑ "elm-explorations/test" . GitHub . 2018年 11月20日 取得 . ↑ Thomas, Dave (pragdave) (2017年7月17日). "quixir: Elixir のプロパティベーステスト" . GitHub . 2019年 4月1日 取得 。 ↑ Alfert, Klaus. "propcheck: Elixir のプロパティベースのテスト" . GitHub . 2021 年 2 月 1 日 取得 . ↑ 「PropEr: QuickCheckにインスパイアされたErlang用のプロパティベースのテストツール」 。GitHub 。 2019年 5月8日 取得 。 ↑ "FsCheck" . GitHub . 2015年6月25日. 2011年 6月25日 取得 . ↑ Pennebaker, Andrew (mcandre) (2011年10月13日). "factcheck" . GitHub . 2011年 12月9日 取得 。 ↑ leanovate (2016年4月26日). "Gopter" . GitHub . 2016年 4月26日 取得 。 ↑ Pennebaker, Andrew (mcandre) (2011年10月17日). "IoCheck" . GitHub . 2011年 12月9日 取得 。 ↑ "FunctionalJava の QuickCheck モジュール" . FunctionalJava . 2015 年 8 月 14 日 取得 . ↑ "Quickcheck for Java" . Quickcheck.dev.java.net . 2011年11月17日の オリジナルからアーカイブ済み。 2011年 12月9日 取得 。 ↑ "JCheck" . JCheck . 2011年 12月9日 取得 . ↑ "junit-quickcheck" . junit-quickcheck . 2013年 7月3日 取得 . ↑ "JUnit5プラットフォーム用jqwik" . jqwik . 2017年 6月19日 取得 . ↑ "Quick Theories Java 8 のプロパティ テスト" . ncredinburgh . 2017 年 10 月 30 日 取得 . ↑ "jetCheck: Java 8 のプロパティベーステスト" . JetBrains . 2018年 7月10日 取得 . ↑ Thompson, Darrin (darrint). "qc.js" . Bitbucket . 2011年8月7日の オリジナルからアーカイブ済み。 2011年 12月9日 取得 。 ↑ クロックフォード、ダグラス。 「jscheck」 。GitHub 。 2017年10 月 21日 取得 。 ↑ Dubien, Nicolas (dubzzz). "fast-check" . GitHub . 2018年 2月3日 取得 . ↑ "JSVerify — JavaScript のプロパティベースのテスト。QuickCheck と同様です" . jsverify.github.io . ↑ "Checkers.jl" . GitHub . 2018年 4月8日 取得 . ↑ 「lgtunit」 。 2020年 2月26日 取得 。 ↑ "lua-quickcheck" . GitHub . 2017年 2月25日 取得 . ↑ "QuickCheck.wl — Wolfram 言語のプロパティベースの自動テスト - オンライン技術ディスカッション グループ—Wolfram コミュニティ" . community.wolfram.com . 2021 年 7 月 11 日 取得 . ↑ Pennebaker, Andrew (mcandre). "objcheck" . GitHub . 2011年 12月9日 取得 . ↑ Cruanes, Simon. "QuickCheck に触発された OCaml のプロパティベーステスト" . GitHub . 2022 年 9 月 1 日 取得 . ↑ 「テスト：LectroTest：チュートリアル」 。LectroTest プロジェクトは、Koen ClaessenとJohn HughesによるHaskellのQuickCheckモジュールに触発されたものです。 ↑ "library(quickcheck)" . ↑ Amaral, Claudio; Florido, Mario; Costa, Vitor Santos (2014). "PrologCheck - Prologにおけるプロパティベースのテスト" . 第12回国際関数型および論理プログラミングシンポジウム（FLOPS 2014）論文集 . Lecture Notes in Computer Science. Vol. 8475. pp. 1–17 . doi : 10.1007/978-3-319-07151-0_1 . ISBN 978-3-319-07150-3 。↑ オストライヒャー、ステファン（ステオス）。 「PhpQuickCheck」 。 GitHub 。 2015 年 11 月 12 日 に取得 。 ↑ Wahl, Matthias (mfelsche). "ponycheck" . GitHub . 2018年 12月26日 取得 . ↑ MacIver, David (2016年4月16日). "QuickCheck in Every Language" . 2022年 8月1日 取得 。 ↑ "quickcheck: R におけるプロパティベーステスト" . GitHub . 2022 年 3 月 17 日。 ↑ 「クイックチェック」 .docs.racket -lang.org . ↑ "QuickChick" . GitHub . 2019年 8月26日 取得 . ↑ Pennebaker, Andrew (mcandre) (2017年9月14日). "Rubycheck: QuickCheckユニットテストフレームワークのRuby移植版" . GitHub . ↑ Gallant, Andrew (BurntSushi). "QuickCheck for Rust (with shrinking)" . GitHub . 2015年 5月27日 取得 . ↑ 「Rust の仮説のようなプロパティ テスト 」 。GitHub 。 ↑ "ScalaCheck" . GitHub . 2016年 6月30日 取得 . ↑ "scalaprops/scalaprops" . GitHub . 2016年 6月30日 取得 . ↑ "nyaya" . GitHub . 2016年 6月30日 取得 . ↑ "Scheme-Check: PLT Scheme 用のランダム化ユニットテスト" 。2005 年 2 月 12 日に オリジナルからアーカイブされました 。Scheme-Check は、PLT Scheme でランダム化ユニットテストを実装するモジュールです。Scheme-Check を使用すると、多数の個別のテストを作成する代わりに、コードのプロパティを指定すると、Scheme-Check がそれらのプロパティをテストするための大量のランダムデータセットを生成します。Scheme-Check は基本的に QuickCheck の Scheme への移植です。 ↑ Mejr, Antero. "SRFI 252: プロパティテスト" . スキーム実装要求 . 2024年 4月25日 取得 . ↑ Pennebaker, Andrew (mcandre). "QuickSmash" . GitHub . 2011年 12月9日 取得 . ↑ "QCheck/SML" . Contrapunctus . 2011年11月22日. 2011年 12月9日 取得 . ↑ "SwiftCheck: QuickCheck for Swift" . GitHub . 2017年11月3日。 ↑ Dubien, Nicolas (dubzzz). "fast-check" . GitHub . 2018年 2月3日 取得 . ↑ チン、ジャニス。 「QuickCheck for Whiley」 （PDF） 。 2020年 4月20日 取得 。
さらに読む Claessen, Koen; Hughes, John (2002). "Testing Monadic Programs with QuickCheck" ( PostScript ) . SIGPLAN Notices . 37 (12): 47– 59. CiteSeerX 10.1.1.111.1618 . doi : 10.1145/636517.636527 . 2006年 1月29日 取得 . Claessen, Koen & Hughes, John (2000). "QuickCheck: Haskell プログラムのランダム テストのための軽量ツール" (PDF) . Proceedings of the International Conference on Functional Programming (ICFP), ACM SIGPLAN . 2006 年 1 月 29 日 取得 . Claessen, Koen & Hughes, John (2003). "QuickCheck による仕様ベーステスト" . The Fun of Programming, Cornerstones of Computing, Jeremy Gibbons and Oege de Moor (Eds.) . Palgrave: 17–40 . 2007 年 7 月 4 日のオリジナルからアーカイブ済み。2006年 1 月 29 日 取得 。 Claessen, Koen (2004 年 8 月)。「QuickCheck: 仕様に基づくランダム テスト」。テストの動向に関するサマー インスティテュートでのプレゼンテーション: 理論、技術、ツール 。2007年 4 月 30 日にオリジナル( PPT )からアーカイブ済み。2006 年 1 月 29 日 に取得 。 Claessen, Koen; Runciman, Colin; Chitil, Olaf & Hughes, John (2002). "QuickCheck と Hat を使用した遅延評価関数型プログラムのテストとトレース" . Advanced Functional Programming: 4th International School, Lecture Notes in Computer Science . 2638 . Springer Verlag: 59–99 . 2006 年 10 月 12 日にオリジナル( PostScript ) からアーカイブ済み。2006年 1 月 29 日 に取得 。 