000190354 001__ 190354
000190354 005__ 20190316235741.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__ $$aLausanne$$bEPFL$$c2013
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$$aZamfir, Cristian$$g183199
000190354 720_2 $$0241982$$aCandea, George$$edir.$$g172241
000190354 8564_ $$s819422$$uhttps://infoscience.epfl.ch/record/190354/files/EPFL_TH5914.pdf$$yn/a$$zn/a
000190354 909C0 $$0252225$$pDSLAB$$xU11275
000190354 909CO $$ooai:infoscience.tind.io:190354$$pDOI$$pIC$$pthesis$$qDOI2$$qGLOBAL_SET
000190354 917Z8 $$x108898
000190354 917Z8 $$x108898
000190354 918__ $$aIC$$cIIF$$dEDIC2005-2015
000190354 919__ $$aDSLAB
000190354 920__ $$a2013-11-18$$b2013
000190354 970__ $$a5914/THESES
000190354 973__ $$aEPFL$$sPUBLISHED
000190354 980__ $$aTHESIS