Klein, Amit, and Shmuel  Regev. 2017. ?Dynamic verification of a computer software application execution path (US patent 9703959)?.