F. Ramos,
N. Sabino,
P. Adão,
D. Naumann,
J. Fragoso Santos,
Toward Tool-Independent Summaries for Symbolic Execution,
European Conference on Object-Oriented Programming ECOOP,
Seattle, Washington,
United States,
Vol. 263,
pp. 1 - 29,
July,
2023,
| Abstract
| Full text (PDF 1 MB)
| BibTex
F. Ramos,
N. Sabino,
P. Adão,
D. Naumann,
J. Fragoso Santos,
Toward Tool-Independent Summaries for Symbolic Execution (Artifact),
European Conference on Object-Oriented Programming ECOOP,
Seattle, Washington,
United States,
Vol. 9,
pp. 1 - 4,
July,
2023,
| Abstract
| Full text (PDF 648 KBs)
| BibTex