{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,12,3]],"date-time":"2023-12-03T11:49:54Z","timestamp":1701604194601},"reference-count":16,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Languages"],"published-print":{"date-parts":[[1993,1]]},"DOI":"10.1016\/0096-0551(93)90025-v","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T23:04:53Z","timestamp":1060297493000},"page":"197-216","source":"Crossref","is-referenced-by-count":4,"title":["Array representation in symbolic execution"],"prefix":"10.1016","volume":"18","author":[{"given":"Alberto","family":"Coen-Porisini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Flavio","family":"De Paoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0096-0551(93)90025-V_BIB1","series-title":"Computer Program Testing","first-page":"65","article-title":"Symbolic evaluations methods\u2014implementations and applications","author":"Clarke","year":"1981"},{"key":"10.1016\/0096-0551(93)90025-V_BIB2","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/360248.360252","article-title":"Symbolic execution and program testing","volume":"19","author":"King","year":"1976","journal-title":"Commun. ACM"},{"key":"10.1016\/0096-0551(93)90025-V_BIB3","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1109\/TSE.1976.233817","article-title":"A System to generate test data and symbolically execute programs","volume":"2","author":"Clarke","year":"1976","journal-title":"Trans. Softw. Engng."},{"key":"10.1016\/0096-0551(93)90025-V_BIB4","doi-asserted-by":"crossref","first-page":"870","DOI":"10.1109\/32.57624","article-title":"Automated software test data generation","volume":"16","author":"Korel","year":"1990","journal-title":"Trans. Softw. Engng"},{"key":"10.1016\/0096-0551(93)90025-V_BIB5","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1109\/TSE.1976.233835","article-title":"On the automated generation of program test data","volume":"2","author":"Ramamoorty","year":"1976","journal-title":"Trans. Softw. Engng"},{"key":"10.1016\/0096-0551(93)90025-V_BIB6","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1002\/spe.4380150504","article-title":"UNISEX a UNIx\u2014based Symbolic EXecutor for Pascal","volume":"15","author":"Kemmerer","year":"1985","journal-title":"Softw. Pract. Exper."},{"key":"10.1016\/0096-0551(93)90025-V_BIB7","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1145\/356674.356677","article-title":"An introduction to proving the correctness of programs","volume":"8","author":"Hanter","year":"1976","journal-title":"Comp. Surv."},{"key":"10.1016\/0096-0551(93)90025-V_BIB8","doi-asserted-by":"crossref","DOI":"10.1109\/32.92907","article-title":"Software Specialization via Symbolic Execution","volume":"17","author":"Coen-Porisini","year":"1991","journal-title":"Trans. Softw. Eng."},{"key":"10.1016\/0096-0551(93)90025-V_BIB9","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1007\/3-540-16042-6_6","article-title":"Program simplification via symbolic execution","volume":"206","author":"Ghezzi","year":"1985","journal-title":"Lect. Notes Comput. Sci."},{"key":"10.1016\/0096-0551(93)90025-V_BIB10","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1109\/TSE.1977.231144","article-title":"Symbolic Testing and the DISSECT Symbolic Evaluation system","volume":"4","author":"Howden","year":"1977","journal-title":"Trans. Softw. Engng"},{"key":"10.1016\/0096-0551(93)90025-V_BIB11","series-title":"Proceedings of the International Conference on Safety, Security and Reliability Related Computer for the 1990's\u2014SafeComp '90","first-page":"105","article-title":"Symbad: a symbolic executor of sequential Ada programs","author":"Coen-Porisini","year":"1990"},{"key":"10.1016\/0096-0551(93)90025-V_BIB12","series-title":"Third European Software Engineering Conference-ESEC '91","article-title":"SESADA, an environment for software specialization","author":"Coen-Porisini","year":"1991"},{"key":"10.1016\/0096-0551(93)90025-V_BIB13","series-title":"The denotational description of programming languages","author":"Gordon","year":"1975"},{"key":"10.1016\/0096-0551(93)90025-V_BIB14","series-title":"Denotational Semantics: the Scott-Strachey approach to Programming Language Theory","author":"Stoy","year":"1977"},{"key":"10.1016\/0096-0551(93)90025-V_BIB15","series-title":"Compilers: Principles, Techniques, and Tools","author":"Aho","year":"1986"},{"key":"10.1016\/0096-0551(93)90025-V_BIB16","first-page":"19","article-title":"Assigning meaning to programs","volume":"19","author":"Floyd","year":"1967"}],"container-title":["Computer Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:009605519390025V?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:009605519390025V?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T07:25:57Z","timestamp":1552634757000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/009605519390025V"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,1]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1993,1]]}},"alternative-id":["009605519390025V"],"URL":"https:\/\/doi.org\/10.1016\/0096-0551(93)90025-v","relation":{},"ISSN":["0096-0551"],"issn-type":[{"value":"0096-0551","type":"print"}],"subject":[],"published":{"date-parts":[[1993,1]]}}}