See the LITMUS Wiki page for an explanation of this tool.