A Martingale Framework for Detecting Changes in Data Streams by Testing Exchangeability | IEEE Journals & Magazine | IEEE Xplore