Stride: Search-based deterministic replay in polynomial time via bounded linkage.

Jinguo Zhou, Xiao Xiao, Charles Zhang

Browse the full ICSE paper archive.