A comparison of single-cycle versus multiple-cycle proof testing strategies — ReaderExpo