digraph G {
	rankdir=LR;
	ranksep=0.25;
	ratio=compress;
	size="8.5,8.5";
	node[fontsize=24.0, fontname="Helvetica"]

	AUT_ -> I_ 
	I_ -> AUTI_ 
	AUTI_ -> OG_
	AUTF_ -> Re_ 
	TC_ -> OG_
	SF_ -> OG_
	OG_ -> CI_
	CI_ -> Re_ 
	AUT_  [shape=box, label="Application\nUnder Test", URL="#application"]
	AUTI_ [shape=box, label="Application\nUnder Test,\nInstrumented", URL="#application-instrumented"]
	OG_   [label="Oracle\nGenerator" URL="#oracle-generator"]
	SF_   [shape=box, label="Supporting\nFiles", URL="#supporting-files"]
	TC_   [shape=box, label="Test Cases", URL="#test-cases"]
	AUTF_ [shape=box, label="Application\nUnder Test,\nFaulty", URL="#application-faulty"]
	CI_   [shape=box, label="Coverage\nInformation" URL="#coverage-information"]
	I_    [label="Instrumentor" URL="#instrumentor"]
	Re_   [shape=box, label="Report" URL="#report"]
}