@conference {4700,
	title = {Generic Value-Set Analysis on Low-Level Code},
	booktitle = {The 5th Analytic Virtual Integration of Cyber-Physical Systems Workshop},
	year = {2014},
	month = {2014},
	address = {Rome, Italy},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/2_paper.pdf},
	author = {Zhenkai Zhang and Xenofon Kousoukos}
}
