Accelerating the debugging of FV traces using K-means clustering techniques | IEEE Conference Publication | IEEE Xplore