Diane Gallois-Wong

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Property-based random testing in the style of QuickCheck demands efficient generators for well-distributed random data satisfying complex logical predicates, but writing these generators can be difficult and error prone. We propose a better alternative: a domain-specific language in which generators are expressed by decorating predicates with lightweight(More)
  • 1