Random testing of program properties
