{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:37Z","timestamp":1725663997603},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540547426"},{"type":"electronic","value":"9783540464464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540547428_53","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:12:44Z","timestamp":1330211564000},"page":"266-289","source":"Crossref","is-referenced-by-count":3,"title":["SESADA: An environment supporting software specialization"],"prefix":"10.1007","author":[{"given":"Alberto","family":"Coen-Porisini","sequence":"first","affiliation":[]},{"given":"Flavio","family":"Paoli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,2]]},"reference":[{"key":"15_CR1","unstructured":"A.V. Aho, R. Sethi, J.D. Ullman \u201cCompilers: principles, techniques, and tools\u201d, Addison-Wesley(1986)."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"T.J. Biggerstaff and A.J. Perlis, \u201cSoftware Reusability voll.1\u20132\u201d ACM Press, 1989.","DOI":"10.1145\/75722"},{"key":"15_CR3","unstructured":"W.W. Bledsoe \u201cThe Sup-Inf method in Presburger Arithmetic.\u201d Tech. Kept. Department of Mathematics \u2014 University of Texas, 1974."},{"key":"15_CR4","unstructured":"C.L. Chang, R.C. Lee \u201cSymbolic logic and mechanical theorem proving\u201d, Academic Press (1973)."},{"key":"15_CR5","first-page":"105","volume-title":"Symbad: a Symbolic Executor for sequential Ada programs","author":"A. Coen-Porisini","year":"1990","unstructured":"A. Coen-Porisini, F. DePaoli \u201cSymbad: a Symbolic Executor for sequential Ada programs.\u201d In Proceedings of the SAFECOMP '90 (Symposium on sfety of computer control system), Gatwick, U.K. 30 October\u20132 November 1990, Pergamon Press, pp. 105\u2013111."},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"A. Coen-Porisini, F. DePaoli, C. Ghezzi, D. Mandrioli \u201cSoftware Specialization via Symbolic Execution\u201d to appear on IEEE Transactions on Software Engineering, September 1991.","DOI":"10.1109\/32.92907"},{"key":"15_CR7","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0304-3975(82)90111-6","volume":"18","author":"A.P. Ershov","year":"1982","unstructured":"A.P. Ershov \u201cMixed computation: potential applications and problems for study.\u201d Theoretical Computer Science 18 (1982), 41\u201367.","journal-title":"Theoretical Computer Science"},{"key":"15_CR8","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/0020-0190(77)90078-3","volume":"6","author":"A.P. Ershov","year":"1977","unstructured":"A.P. Ershov \u201cOn the partial computation principle.\u201d Information Processing Letters 6, 2 (1977).","journal-title":"Information Processing Letters"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"IEEE Software \u201cMaintenance & Reverse Engineering & Design Recovery\u201d, vol. 7, n. 1, 1990.","DOI":"10.1109\/52.43044"},{"key":"15_CR10","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1002\/spe.4380150504","volume":"15","author":"R. Kemmerer","year":"1985","unstructured":"R. Kemmerer, S. Eckmann \u201cUNISEX a UNIx-based Symbolic EXecutor for Pascal.\u201d Software-Practice and Experience 15, 5 (May 1985).","journal-title":"Software-Practice and Experience"},{"key":"15_CR11","first-page":"7","volume":"19","author":"J.C. King","year":"1976","unstructured":"J.C. King \u201cSymbolic execution and program testing.\u201d Communications of the ACM 19, 7 (1976).","journal-title":"Communications of the ACM"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"J. Laski \u201cTesting in the program development cycle.\u201d Software Engineering Journal (March 1989).","DOI":"10.1049\/sej.1989.0012"},{"issue":"n.3","key":"15_CR13","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1145\/356914.356917","volume":"15","author":"H. Partsch","year":"1983","unstructured":"H. Partsch and R. Steinbruggen, \u201cProgram Transformation Systems\u201d Computing Surveys, vol. 15, n. 3, pp. 199\u2013236, 1983.","journal-title":"Computing Surveys"},{"key":"15_CR14","unstructured":"\u201cReference Manual for the Ada Programming Language\u201d, USA-DoD, 1983, ANSI\/MIL-STD-1815 A."}],"container-title":["Lecture Notes in Computer Science","ESEC '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540547428_53.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:24:06Z","timestamp":1619573046000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540547428_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540547426","9783540464464"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3540547428_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}