@inproceedings{Ama-Gan-Sch-Son-Stu_DIPL20,
  author    = {Roberto Amadini and 
		Graeme Gange and 
		Peter Schachte and 
		Harald S{\o}ndergaard and 
		Peter J. Stuckey}, 
  title     = {Abstract Interpretation, Symbolic Execution and Constraints},
  editor    = {F. S. {de Boer} and J. Mauro},
  booktitle = {Recent Developments in the Design and Implementation of 
		Programming Languages},
  series    = {OpenAccess Series in Informatics},
  volume    = {86}, 
  pages     = {7:1--7:19},
  publisher = {Schloss Dagstuhl-Leibniz-Zentrum f{\"u}r Informatik},
  year      = {2020},
  doi       = {10.4230/OASIcs.Gabbrielli.2020.7},
  url_Paper = {https://drops.dagstuhl.de/opus/volltexte/2020/13229/pdf/OASIcs-Gabbrielli-7.pdf},
  abstract  = {Abstract interpretation is a static analysis framework for 
		sound over-approximation of all possible runtime states of 
		a program. Symbolic execution is a framework for reachability
		analysis which tries to explore all possible execution paths 
		of a program. A shared feature between abstract interpretation
		and symbolic execution is that each---implicitly or 
		explicitly---maintains constraints during execution, 
		in the form of invariants or path conditions.
		We investigate the relations between the worlds of abstract 
		interpretation, symbolic execution and constraint solving, 
		to expose potential synergies.},
  keywords  = {Constraint programming, Symbolic execution, Abstract interpretation},
}

{"_id":"Zpy4LiBMSNTyKg2Tr","bibbaseid":"amadini-gange-schachte-sndergaard-stuckey-abstractinterpretationsymbolicexecutionandconstraints-2020","author_short":["Amadini, R.","Gange, G.","Schachte, P.","Søndergaard, H.","Stuckey, P. J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Roberto"],"propositions":[],"lastnames":["Amadini"],"suffixes":[]},{"firstnames":["Graeme"],"propositions":[],"lastnames":["Gange"],"suffixes":[]},{"firstnames":["Peter"],"propositions":[],"lastnames":["Schachte"],"suffixes":[]},{"firstnames":["Harald"],"propositions":[],"lastnames":["Søndergaard"],"suffixes":[]},{"firstnames":["Peter","J."],"propositions":[],"lastnames":["Stuckey"],"suffixes":[]}],"title":"Abstract Interpretation, Symbolic Execution and Constraints","editor":[{"firstnames":["F.","S."],"propositions":["de Boer"],"lastnames":[],"suffixes":[]},{"firstnames":["J."],"propositions":[],"lastnames":["Mauro"],"suffixes":[]}],"booktitle":"Recent Developments in the Design and Implementation of Programming Languages","series":"OpenAccess Series in Informatics","volume":"86","pages":"7:1–7:19","publisher":"Schloss Dagstuhl-Leibniz-Zentrum für Informatik","year":"2020","doi":"10.4230/OASIcs.Gabbrielli.2020.7","url_paper":"https://drops.dagstuhl.de/opus/volltexte/2020/13229/pdf/OASIcs-Gabbrielli-7.pdf","abstract":"Abstract interpretation is a static analysis framework for sound over-approximation of all possible runtime states of a program. Symbolic execution is a framework for reachability analysis which tries to explore all possible execution paths of a program. A shared feature between abstract interpretation and symbolic execution is that each—implicitly or explicitly—maintains constraints during execution, in the form of invariants or path conditions. We investigate the relations between the worlds of abstract interpretation, symbolic execution and constraint solving, to expose potential synergies.","keywords":"Constraint programming, Symbolic execution, Abstract interpretation","bibtex":"@inproceedings{Ama-Gan-Sch-Son-Stu_DIPL20,\n author = {Roberto Amadini and \n\t\tGraeme Gange and \n\t\tPeter Schachte and \n\t\tHarald S{\\o}ndergaard and \n\t\tPeter J. Stuckey}, \n title = {Abstract Interpretation, Symbolic Execution and Constraints},\n editor = {F. S. {de Boer} and J. Mauro},\n booktitle = {Recent Developments in the Design and Implementation of \n\t\tProgramming Languages},\n series = {OpenAccess Series in Informatics},\n volume = {86}, \n pages = {7:1--7:19},\n publisher = {Schloss Dagstuhl-Leibniz-Zentrum f{\\\"u}r Informatik},\n year = {2020},\n doi = {10.4230/OASIcs.Gabbrielli.2020.7},\n url_Paper = {https://drops.dagstuhl.de/opus/volltexte/2020/13229/pdf/OASIcs-Gabbrielli-7.pdf},\n abstract = {Abstract interpretation is a static analysis framework for \n\t\tsound over-approximation of all possible runtime states of \n\t\ta program. Symbolic execution is a framework for reachability\n\t\tanalysis which tries to explore all possible execution paths \n\t\tof a program. A shared feature between abstract interpretation\n\t\tand symbolic execution is that each---implicitly or \n\t\texplicitly---maintains constraints during execution, \n\t\tin the form of invariants or path conditions.\n\t\tWe investigate the relations between the worlds of abstract \n\t\tinterpretation, symbolic execution and constraint solving, \n\t\tto expose potential synergies.},\n keywords = {Constraint programming, Symbolic execution, Abstract interpretation},\n}\n\n","author_short":["Amadini, R.","Gange, G.","Schachte, P.","Søndergaard, H.","Stuckey, P. J."],"editor_short":["de Boer , F. S.","Mauro, J."],"key":"Ama-Gan-Sch-Son-Stu_DIPL20","id":"Ama-Gan-Sch-Son-Stu_DIPL20","bibbaseid":"amadini-gange-schachte-sndergaard-stuckey-abstractinterpretationsymbolicexecutionandconstraints-2020","role":"author","urls":{" paper":"https://drops.dagstuhl.de/opus/volltexte/2020/13229/pdf/OASIcs-Gabbrielli-7.pdf"},"keyword":["Constraint programming","Symbolic execution","Abstract interpretation"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/zarajoy/testbibtex/refs/heads/main/test.bib","dataSources":["yWvm3kzg5vKQAPLm7","ofmsZryxNDBSpE7j5","9aC4cxLD8D6oJ3FLN","wpkuJrZJJtqra3FbL","BNGFBQQncqevukxoe","q5pWX4XZgAS4TQBof","yb3uN577XrYa7qf57","9jmvjAEoFta6emcgS","XqcrNTrCCBr9mSd37","W7ih7WyQivP4EDh83"],"keywords":["constraint programming","symbolic execution","abstract interpretation"],"search_terms":["abstract","interpretation","symbolic","execution","constraints","amadini","gange","schachte","søndergaard","stuckey"],"title":"Abstract Interpretation, Symbolic Execution and Constraints","year":2020}