Identifying Future Field Accesses in Exhaustive State Space Traversal Pavel Par´ızek, Ondˇrej Lhot´ak David R. Cheriton School of Computer Science, University of Waterloo {pparizek,olhotak - David R. Cheriton School of Computer Science - Document - PDFSEARCH.IO

First Page	Meta Content
	Identifying Future Field Accesses in Exhaustive State Space Traversal Pavel Par´ızek, Ondˇrej Lhot´ak David R. Cheriton School of Computer Science, University of Waterloo {pparizek,olhotak}@uwaterloo.ca Add to Reading List Document Date: 2011-10-22 14:35:51 Open Document File Size: 229,30 KB Share Result on Facebook

Identifying Future Field Accesses in Exhaustive State Space Traversal Pavel Par´ızek, Ondˇrej Lhot´ak David R. Cheriton School of Computer Science, University of Waterloo {pparizek,olhotak}@uwaterloo.caAdd to Reading List