Showing posts with label QuickCheck. Show all posts
Showing posts with label QuickCheck. Show all posts

Thursday, January 19, 2017

John Hughes (computer scientist): Computerphile: Code Checking Automation

John Hughes (computer scientist)

  • Test data generation
  • QuickCheck