Toshihiro Kamiya: An algorithm for keyword search on an execution path. CSMR-WCRE 2014: 328-332