%0 Thesis %1 phd/ndltd/Wang14 %A Wang, Xi %D 2014 %K %T A differential approach to undefined behavior detection.

@phdthesis{phd/ndltd/Wang14, added-at = {2023-12-12T19:22:49.000+0100}, author = {Wang, Xi}, biburl = {https://www.bibsonomy.org/bibtex/23f1d7ae4ca7f55170308fd5c03ec2e70/admin}, ee = {http://hdl.handle.net/1721.1/93071}, interhash = {1fd7d5cfdffd654b7070de22c3064527}, intrahash = {3f1d7ae4ca7f55170308fd5c03ec2e70}, keywords = {}, note = {ndltd.org (oai:dspace.mit.edu:1721.1/93071)}, school = {Massachusetts Institute of Technology, Cambridge, MA, USA}, timestamp = {2023-12-12T19:22:49.000+0100}, title = {A differential approach to undefined behavior detection.}, year = 2014 }