Stefan Schulz, Christoph Bockisch: RedShell: Online Back-In-Time Debugging. Programming 2017: 1:1-1:2