10.1109/TFUZZ.2013.2260757