Path-exploration lifting: hi-fi tests for lo-fi emulators.

Lorenzo Martignoni, Stephen McCamant, Pongsin Poosankam, Dawn Song, Petros Maniatis

Browse the full ASPLOS paper archive.