"Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code."

Fraser Brown, Deian Stefan, Dawson R. Engler (2020)

Details and statistics

DOI:

access: open

type: Conference or Workshop Paper

metadata version: 2021-01-29

a service of  Schloss Dagstuhl - Leibniz Center for Informatics