{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:23:06Z","timestamp":1743063786572},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1109\/csmr-wcre.2014.6747187","type":"proceedings-article","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T21:03:45Z","timestamp":1394226225000},"page":"328-332","source":"Crossref","is-referenced-by-count":2,"title":["An algorithm for keyword search on an execution path"],"prefix":"10.1109","author":[{"given":"Toshihiro","family":"Kamiya","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"3","first-page":"502","article-title":"An extensible sAT-Solver","author":"een","year":"2004","journal-title":"Proc 6th Int'l Conf Theory and Applications of Satisfiability Testing (SAT'03) LNCS 2919"},{"key":"2","first-page":"84","article-title":"Structured programming","author":"dijkstra","year":"1970","journal-title":"Softw Eng Techniques"},{"key":"10","first-page":"125","article-title":"Soot-A java optimization framework","author":"vallee-rai","year":"1999","journal-title":"Proc IBM Centre for Advanced Studies Conf 1999 (CASCON'99)"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173737"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2013.6613854"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44674-5_15"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050043"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2011.21"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321663"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065018"}],"event":{"name":"2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering and Reverse Engineering (CSMR-WCRE)","start":{"date-parts":[[2014,2,3]]},"location":"Antwerp, Belgium","end":{"date-parts":[[2014,2,6]]}},"container-title":["2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6736725\/6747152\/06747187.pdf?arnumber=6747187","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T22:30:55Z","timestamp":1490308255000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6747187\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/csmr-wcre.2014.6747187","relation":{},"subject":[],"published":{"date-parts":[[2014,2]]}}}