Not quite the same, but reminded me of reversible debugging: https://www.gnu.org/software/gdb/news/reversible.html
Listed in this Hacker News thread we have 7 implementations in gdb, plus rr and WinDBG.
I'll add one more, an in-house hypervisor that I help develop. Stuff like finding "all concurrency bugs" as in this article would be a matter of scripting it up. BTW, we're hiring: https://news.ycombinator.com/item?id=19797601
So that's at least 10, counting the gdb backends distinctly except lumping the Linux native x86 and x86_64 together.
We actually have another gdb remote backend supporting reverse execution that's in active use but not publicly available yet --- Pernosco.