Abstract: A system comprising: at least one hardware processor; and a non-transitory computer-readable storage medium having stored thereon program commands, the program commands executable by the at least one hardware processor to: receive a sequence of computer program instructions, analyze the received sequence of program instructions to indicate execution points associated with non-deterministic program instructions, execute the sequence of computer program instructions while capturing program state data, wherein said program state data is associated with at least some of said indicated execution points, and, generate a replay of said execution, wherein said generating comprises inserting said captured program state data at said associated execution points.