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 à la QuickCheck requires building efficient generators for well-distributed random data satisfying complex logical predicates, but writing these generators can be difficult and error prone. We propose a domain-specific language in which generators are conveniently expressed by decorating predicates with lightweight(More)
  • 1