Professor Paul Jorgensen will participate in the tenth Model-Based Testing Workshop, in London, England on April 18. This workshop is by invitation, and is heavily academic, with a very distinguished board. he will present ” A Visual Formalism for Interacting Systems.”

Model-Based Testing is an approach to system specification and testing via formal models such as finite state machines. The main advantage is that test scenarios can be derived form the specifying model. this does two things: it automatically generates test scenarios. More importantly, Requirements Tracing, once the “holy grail” of software projects, is easily accomplished.

The full paper can be downloaded here.