A framework for testing programs
