3 citations · 3 across the 1 of their papers we have counts for
1 paper
Janice Chin, David Pearce
Automated specification-based testing has a long history with several notable tools having emerged. For example, QuickCheck for Haskell focuses on testing against user-provided pro…