Title: Algorithmic Testing

                      Professor Doron A. Peled, Univ. of Warwick, UK

Testing is still the main method used to detect errors in software and
hardware. Although testing is often considered less formal than verification
or model checking, there are many formal techniques and algorithms invovled
in generating test cases. There are also various modern testing approaches
that combine testing and verification approaches. In this tutorial we will
see various classical and modern testing approaches, including:

1. Black box testing
2. Algorithms for comparing black box machines
3. White box testing
4. Generating test cases
5. Model checking of black box machines "black box checking"
6. Generating temporal test cases "unit checking".