@techreport{TD:849KHR,
	att_abstract={{The broad goals of verifiable visualization rely on correct algorithmic implementations. We extend a framework for verification of isosurfacing implementations to check topological properties. Specifically, we use stratified Morse theory and digital topology to design algorithms which verify topological invariants. Our extended framework reveals unexpected behavior and coding mistakes in popular publicly-available isosurface codes.
}},
	att_authors={cs929g},
	att_categories={C_CCF.6, C_NSS.1, C_IIS.7},
	att_copyright={{}},
	att_copyright_notice={{}},
	att_donotupload={},
	att_private={false},
	att_projects={IV_INFOVIS},
	att_tags={},
	att_techdoc={true},
	att_techdoc_key={TD:849KHR},
	att_url={http://web1.research.att.com:81/techdocs_downloads/TD:849KHR_DS1_2012-01-06T20:33:53.863Z.pdf},
	author={Carlos Scheidegger and Tiago Etiene and Luiz Nonato and Mike Kirby and Tom Peters and Claudio Silva and Julien Tierny and Valerio Pascucci},
	institution={{IEEE Transactions on Visualization and Computer Graphics}},
	month={January},
	title={{Topology Verification for Isosurface Extraction}},
	year=2012,
}