http://www.cs.wisc.edu/~paradyn/poster/paradyn.arch.html
Here is some more information about different parts of the system:
Back to Paradyn home page click here