First Page | Document Content | |
---|---|---|
Date: 2010-05-19 11:16:51Carnegie Mellon University Concolic testing Taint checking Mellon Symbolic execution Software engineering | All You Ever Wanted to Know About Dynamic Taint Analysis & Forward Symbolic ExecutionAdd to Reading ListSource URL: oakland31.cs.virginia.eduDownload Document from Source WebsiteFile Size: 722,16 KBShare Document on Facebook |