Experience Report: Log-Based Behavioral Differencing | IEEE Conference Publication | IEEE Xplore