"GENEE: a benchmark generator for static analysis tools of ..."

Christian Eichler, Peter Wägemann, Wolfgang Schröder-Preikschat (2019)

Details and statistics

DOI: 10.1145/3312480.3313170

access: closed

type: Conference or Workshop Paper

metadata version: 2019-04-05

a service of  Schloss Dagstuhl - Leibniz Center for Informatics