Mihai Christodorescu, Vinod Ganapathy: Dynamic Analysis. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 365-367