%0 Thesis %1 phd/basesearch/Anand12 %A Anand, Saswat %D 2012 %K %T Techniques to facilitate symbolic execution of real-world programs.

@phdthesis{phd/basesearch/Anand12, added-at = {2023-12-13T04:04:25.000+0100}, author = {Anand, Saswat}, biburl = {https://www.bibsonomy.org/bibtex/2019e25951000c6fefb790557c9bb8e31/admin}, ee = {https://www.base-search.net/Record/d79750e80583ec586b5e8f643a948406f302504a4e83fe316de203295759bd47}, interhash = {919dac4f1cfb5da9fd1c86121c513e71}, intrahash = {019e25951000c6fefb790557c9bb8e31}, keywords = {}, note = {base-search.net (ftgeorgiatech:oai:smartech.gatech.edu:1853/44733)}, school = {Georgia Institute of Technology, Atlanta, GA, USA}, timestamp = {2023-12-13T04:04:25.000+0100}, title = {Techniques to facilitate symbolic execution of real-world programs.}, year = 2012 }