Dynamic verification of a computer software application execution path (US patent 9703959)