Black-box testing based on colorful taint analysis. - Chen, Kai; Feng, DengGuo; Su, PuRui; Zhang, YingJun (SCIENCE CHINA Information Sciences, 2012)