{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,20]],"date-time":"2025-07-20T03:34:46Z","timestamp":1752982486479},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030450922"},{"type":"electronic","value":"9783030450939"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-45093-9_59","type":"book-chapter","created":{"date-parts":[[2020,4,14]],"date-time":"2020-04-14T23:03:45Z","timestamp":1586905425000},"page":"491-498","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Solving String Constraints with Approximate Parikh Image"],"prefix":"10.1007","author":[{"given":"Petr","family":"Jank\u016f","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lenka","family":"Turo\u0148ov\u00e1","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,4,15]]},"reference":[{"key":"59_CR1","doi-asserted-by":"crossref","unstructured":"Abdulla, P.A., et al.: String constraints for verification. In: CAV 2014, pp. 150\u2013166 (2014)","DOI":"10.1007\/978-3-319-08867-9_10"},{"key":"59_CR2","doi-asserted-by":"crossref","unstructured":"Barcel\u00f3, P., Figueira, D., Libkin, L.: Graph logics with rational relations. Proc. ACM Program. Lang. 9, 30 (2013)","DOI":"10.2168\/LMCS-9(3:1)2013"},{"key":"59_CR3","unstructured":"Barner, S.: H3 mit gleichheitstheorien. Master\u2019s thesis, Technical University of Munich, Germany (2006)"},{"key":"59_CR4","first-page":"49:1","volume":"3","author":"T Chen","year":"2019","unstructured":"Chen, T., Hague, M., Lin, A.W., R\u00fcmmer, P., Wu, Z.: Decision procedures for path feasibility of string-manipulating programs with complex operations. Proc. ACM Program. Lang. 3, 49:1\u201349:30 (2019)","journal-title":"Proc. ACM Program. Lang."},{"key":"59_CR5","unstructured":"G. co. 2015. Google closure library (referred in Nov 2015) (2015). \nhttps:\/\/developers.google.com\/closure\/library\/"},{"issue":"POPL","key":"59_CR6","first-page":"1","volume":"2","author":"L Hol\u00edk","year":"2018","unstructured":"Hol\u00edk, L., Jank\u016f, P., Lin, A.W., R\u00fcmmer, P., Vojnar, T.: String constraints with concatenation and transducers solved efficiently. PACMPL 2(POPL), 1\u201332 (2018)","journal-title":"PACMPL"},{"key":"59_CR7","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/2643134","volume":"57","author":"C Kern","year":"2014","unstructured":"Kern, C.: Securing the tangled web. ACM 57, 38\u201347 (2014)","journal-title":"ACM"},{"key":"59_CR8","doi-asserted-by":"crossref","unstructured":"Liang, T., Reynolds, A., Tinelli, C., Barrett, C., Deters, M.: A DPLL(T) theory solver for a theory of strings and regular expressions. In: CAV 2014 (2014)","DOI":"10.1007\/978-3-319-08867-9_43"},{"key":"59_CR9","doi-asserted-by":"crossref","unstructured":"Lin, A.W., Barcel\u00f3, P.: String solving with word equations and transducers: towards a logic for analysing mutation XSS. In: POPL, pp. 123\u2013136 (2016)","DOI":"10.1145\/2914770.2837641"},{"key":"59_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/3-540-46432-8_17","volume-title":"Foundations of Software Science and Computation Structures","author":"C Morvan","year":"2000","unstructured":"Morvan, C.: On rational graphs. In: Tiuryn, J. (ed.) FoSSaCS 2000. LNCS, vol. 1784, pp. 252\u2013266. Springer, Heidelberg (2000). \nhttps:\/\/doi.org\/10.1007\/3-540-46432-8_17"},{"key":"59_CR11","unstructured":"OWASP: The ten most critical web application security risks (2013). \nhttps:\/\/www.owasp.org\/images\/f\/f8\/OWASP_Top_10_-_2013.pdf"},{"key":"59_CR12","doi-asserted-by":"crossref","unstructured":"Trinh, M., Chu, D., Jaffar, J.: Progressive reasoning over recursively-defined strings. In: CAV 2016, pp. 218\u2013240 (2016)","DOI":"10.1007\/978-3-319-41528-4_12"},{"key":"59_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/11532231_25","volume-title":"Automated Deduction \u2013 CADE-20","author":"KN Verma","year":"2005","unstructured":"Verma, K.N., Seidl, H., Schwentick, T.: On the complexity of equational horn clauses. In: Nieuwenhuis, R. (ed.) CADE 2005. LNCS (LNAI), vol. 3632, pp. 337\u2013352. Springer, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/11532231_25"},{"key":"59_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-319-41528-4_13","volume-title":"Computer Aided Verification","author":"H-E Wang","year":"2016","unstructured":"Wang, H.-E., Tsai, T.-L., Lin, C.-H., Yu, F., Jiang, J.-H.R.: String analysis via automata manipulation with logic circuit representation. In: Chaudhuri, S., Farzan, A. (eds.) CAV 2016. LNCS, vol. 9779, pp. 241\u2013260. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-41528-4_13"},{"key":"59_CR15","doi-asserted-by":"crossref","unstructured":"Zheng, Y., et al.: Z3str2: an efficient solver for strings, regular expressions, and length constraints. Formal Meth. Syst. Des. 50(2\u20133), 249\u2013288 (2014)","DOI":"10.1007\/s10703-016-0263-6"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2013 EUROCAST 2019"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-45093-9_59","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,14]],"date-time":"2020-04-14T23:13:04Z","timestamp":1586905984000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-45093-9_59"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030450922","9783030450939"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-45093-9_59","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"15 April 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EUROCAST","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Aided Systems Theory","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Las Palmas de Gran Canaria","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 February 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 February 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"eurocast2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/eurocast2019.fulp.ulpgc.es\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}