The course on ScalaCheck, given by its creator Rickard Nilsson (and author of the soon-to-be-released ScalaCheck: The Definitive Guide), gave a good overview of the generators that power the testing library.
Monday, June 10, 2013
Summer school on testing
During the past week, Adam attended the Third Halmstad Summer School on Testing. Topics covered both theoretical aspects of testing and applied tool-based sessions and included both testing and formal verification. Generator-driven testing was a common theme to most of the courses. Adam found ProofPad, the tool used in the ACL2 course, to be a surprisingly pleasant to use. It makes the interaction with the logic system comparatively easy and combines testing and verification in one streamlined workflow.
