Testing, Property Based Testing, Agile, Software Engineering.
Property-Based Testing 起源於 2000 年由 Koen Claessen 及 John Hughes 兩位教授所寫的 QuickCheck: a lightweight tool for random testing of Haskell programs 論文中所介紹的 QuickCheck 此 Haskell 的 testing framework。此後，也啟發各個語言的 Property-Based Testing framework，例如： Python 的 Hypothesis、Erlang 的 PropEr、Rust 的 quickcheck、JS/TS