pun: Fun with Properties; Towards a Programming Language With Built-in Facilities for Program Validation

Triera Gashi, Sophie Adeline Solheim Bosio, Joachim Tilsted Kristensen +1

Property-based testing is a powerful method to validate program correctness. It is, however, not widely use in industry as the barrier of entry can be very high. One of the hindran…