Armando Miraglia Dirk Vogt Herbert Bos Andy Tanenbaum Cristiano Giuffrida Peeking into the Past: Efficient Checkpoint-Assisted Time-Traveling Debugging. 455-466 2016 ISSRE https://doi.org/10.1109/ISSRE.2016.9 https://doi.ieeecomputersociety.org/10.1109/ISSRE.2016.9 conf/issre/2016 db/conf/issre/issre2016.html#MiragliaVBTG16