Thursday, January 19, 2017

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

John Hughes (computer scientist)

  • Test data generation
  • QuickCheck