{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:51Z","timestamp":1763468091645},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/icse.2012.6227186","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T17:24:04Z","timestamp":1341854644000},"page":"277-287","source":"Crossref","is-referenced-by-count":47,"title":["Automated repair of HTML generation errors in PHP applications using string constraint solving"],"prefix":"10.1109","author":[{"given":"Hesam","family":"Samimi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Max","family":"Schafer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shay","family":"Artzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Todd","family":"Millstein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Tip","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurie","family":"Hendren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1028979"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985811"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1961204.1961205"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375599"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926423"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985828"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1276933.1276935"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368112"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"20","first-page":"419","article-title":"From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility","author":"steimann","year":"2009","journal-title":"ECOOP"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.31"},{"journal-title":"Usage Statistics and Market Share of PHP for Websites","year":"0","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/11924661_22"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.38"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_1"},{"journal-title":"A Constraint Solver for Software Engineering Finding Models and Cores of Large Relational Specifications","year":"2009","author":"torlak","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100047"},{"key":"9","first-page":"426","article-title":"HTML Validation of Context-Free Languages","author":"m\ufffdller","year":"2011","journal-title":"FOSSACS"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1060745.1060809"}],"event":{"name":"2012 34th International Conference on Software Engineering (ICSE 2012)","start":{"date-parts":[[2012,6,2]]},"location":"Zurich","end":{"date-parts":[[2012,6,9]]}},"container-title":["2012 34th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6218989\/6227015\/06227186.pdf?arnumber=6227186","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T15:57:41Z","timestamp":1490111861000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6227186\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/icse.2012.6227186","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}