Testing a simple C program

Testing a circular buffer (about 15 minutes)

Testing a simple reactive system: an elevator controller

Testing iOS / OSX code