{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T14:14:46Z","timestamp":1730211286473,"version":"3.28.0"},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1109\/csmr-wcre.2014.6747216","type":"proceedings-article","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T16:03:45Z","timestamp":1394208225000},"page":"450-453","source":"Crossref","is-referenced-by-count":5,"title":["JMODEX: Model extraction for verifying security properties of web applications"],"prefix":"10.1109","author":[{"given":"Petru Florin","family":"Mihancea","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Minea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","first-page":"277","article-title":"The cL-Atse protocol analyser","volume":"4098","author":"turuani","year":"2006","journal-title":"Proceedings of RTA'06 Ser LNCS"},{"key":"2","first-page":"143","article-title":"Toward automated detection of logic vulnerabilities in web applications","author":"felmetsger","year":"2010","journal-title":"Proceedings of the 19th USENIX Conference on Security"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/2046707.2046774"},{"journal-title":"Advanced Compiler Design Implementation","year":"1997","author":"muchnick","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2009.5351147"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.187"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-007-0041-y"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337234"}],"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\/06747216.pdf?arnumber=6747216","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T14:19:47Z","timestamp":1490278787000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6747216\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/csmr-wcre.2014.6747216","relation":{},"subject":[],"published":{"date-parts":[[2014,2]]}}}