Software Testing (ppt file)
Software testing
Online Testing of Nondeterministic Systems with the Reactive Planning Tester