000190354 001__ 190354
000190354 005__ 20190509132446.0
000190354 0247_ $$2doi$$a10.5075/epfl-thesis-5914
000190354 02470 $$2urn$$aurn:nbn:ch:bel-epfl-thesis5914-8
000190354 02471 $$2nebis$$a9996245
000190354 037__ $$aTHESIS
000190354 041__ $$aeng
000190354 088__ $$a5914
000190354 245__ $$aExecution Synthesis: A Technique for Automating the Debugging of Software
000190354 269__ $$a2013
000190354 260__ $$bEPFL$$c2013$$aLausanne
000190354 336__ $$aTheses
000190354 502__ $$aM. Grossglauser (président), I. Stoica, Y. Zhou, W. Zwaenepoel
000190354 6531_ $$aautomated debugging
000190354 6531_ $$aexecution synthesis
000190354 6531_ $$arecord-replay
000190354 6531_ $$asymbolic execution
000190354 700__ $$0243536$$g183199$$aZamfir, Cristian
000190354 720_2 $$aCandea, George$$edir.$$g172241$$0241982
000190354 8564_ $$uhttps://infoscience.epfl.ch/record/190354/files/EPFL_TH5914.pdf$$zn/a$$s819422$$yn/a
000190354 909C0 $$xU11275$$0252225$$pDSLAB
000190354 909CO $$pDOI$$pIC$$ooai:infoscience.tind.io:190354$$qDOI2$$qGLOBAL_SET$$pthesis
000190354 917Z8 $$x108898
000190354 917Z8 $$x108898
000190354 918__ $$dEDIC2005-2015$$cIIF$$aIC
000190354 919__ $$aDSLAB
000190354 920__ $$b2013$$a2013-11-18
000190354 970__ $$a5914/THESES
000190354 973__ $$sPUBLISHED$$aEPFL
000190354 980__ $$aTHESIS