See: https://en.wikipedia.org/wiki/Computronium

(2008)

Discussed in 2017: https://news.ycombinator.com/item?id=16002444 (5 comments)

What validation approaches are on the table? A syscall extractor + LLVM libFuzzer? Harnessing KVM/QEMU for syscall replay? It’d be incredible to see how practical these tests are integrated into CI pipelines.