Software performance engineering using virtual time program execution. - Nikolaos Baltas (2013)