10.1109/TFUZZ.2013.2282167