[PDF][PDF] Execution replay for intrusion analysis

GW Dunlap - 2006 - eecs.umich.edu
Securing today's computers is an urgent and difficult problem. Over the last thirty years,
Moore's law has been a great boon to the computer industry, doubling the size and …

JVM independent replay in Java

V Schuppan, M Baur, A Biere - Electronic Notes in Theoretical Computer …, 2005 - Elsevier
Deterministic replay can help to understand the cause of a failing execution of a multi-
threaded program. Stepwise browsing of a counterexample serves the same purpose in the …

JPR: Replaying JPF traces using standard JVM

K Wang, S Khurshid, M Gligoric - ACM SIGSOFT Software Engineering …, 2018 - dl.acm.org
Java PathFinder (JPF) is a backtrackable Java Virtual Machine (JVM), which is implemented
in Java and runs on a standard JVM (eg, Oracle HotSpot). Thus, a JPF developer can use off …