{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T11:31:10Z","timestamp":1778499070349,"version":"3.51.4"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/ase.2015.23","type":"proceedings-article","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T22:14:45Z","timestamp":1452204885000},"page":"331-341","source":"Crossref","is-referenced-by-count":13,"title":["Synthesizing Web Element Locators (T)"],"prefix":"10.1109","author":[{"given":"Kartik","family":"Bajaj","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karthik","family":"Pattabiraman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali","family":"Mesbah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","year":"0"},{"key":"ref32","year":"0"},{"key":"ref31","article-title":"Minisat v l. 13-a sat solver with confiict-clause minimization","author":"sorensson","year":"2005","journal-title":"SAT"},{"key":"ref30","year":"0"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/CADCG.2009.5246850"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2501988.2502040"},{"key":"ref34","year":"0"},{"key":"ref10","first-page":"101","author":"fujishima","year":"1998","journal-title":"Proc Int Conference of Intelligent User Interfaces"},{"key":"ref11","year":"0"},{"key":"ref12","year":"0"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1145\/1925844.1926423","author":"gulwani","year":"2011","journal-title":"ACM SIGPLAN Notices"},{"key":"ref14","author":"gulwani","year":"0","journal-title":"WAMBSE (Workshop on Advances in Model-Based Software Engineering) Special Issue Infosys Labs Briefings 2012"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2012.69"},{"key":"ref16","year":"0"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/QUATIC.2010.25"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/VL.1995.520818"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/B978-155860688-3\/50012-9"},{"key":"ref28","year":"0"},{"key":"ref4","first-page":"43","author":"bajaj","year":"2014","journal-title":"Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering (ASE)"},{"key":"ref27","year":"0"},{"key":"ref3","first-page":"2014","year":"0"},{"key":"ref6","first-page":"2015","year":"0"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/WSE.2013.6642415"},{"key":"ref5","first-page":"11","article-title":"System and method for generating an xpath expression","author":"boehm","year":"2006"},{"key":"ref8","year":"0"},{"key":"ref7","year":"0"},{"key":"ref2","article-title":"Selectable methods for generating robust xpath expressions","author":"abe","year":"2007"},{"key":"ref9","author":"cypher","year":"1993","journal-title":"Watch What I Do Programming by Demonstration"},{"key":"ref1","article-title":"Generating and utilizing robust XPath expressions","author":"abe","year":"2006"},{"key":"ref20","year":"0"},{"key":"ref22","first-page":"1","author":"leotta","year":"2015","journal-title":"Proc Int'l Conf on Software Testing Verification and Validation (ICST)"},{"key":"ref21","year":"0"},{"key":"ref24","first-page":"131","author":"miller","year":"1999","journal-title":"USENIX Annual Technical Conference General Track"},{"key":"ref23","author":"lieberman","year":"2001","journal-title":"Your Wish Is My Command Programming by Example"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2013.18"},{"key":"ref25","author":"myers","year":"1993"}],"event":{"name":"2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","location":"Lincoln, NE, USA","start":{"date-parts":[[2015,11,9]]},"end":{"date-parts":[[2015,11,13]]}},"container-title":["2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx7\/7371449\/7371976\/07372022.pdf?arnumber=7372022","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T03:15:09Z","timestamp":1498274109000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/7372022\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":36,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/ase.2015.23","relation":{},"subject":[],"published":{"date-parts":[[2015,11]]}}}