@Article{cousot_et_al:DagRep.4.8.107,
author = {Cousot, Patrick and Kroening, Daniel and Sinz, Carsten},
title = {{Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352)}},
pages = {107--125},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {4},
number = {8},
editor = {Cousot, Patrick and Kroening, Daniel and Sinz, Carsten},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.8.107},
URN = {urn:nbn:de:0030-drops-48203},
doi = {10.4230/DagRep.4.8.107},
annote = {Keywords: Software quality, Bug finding, Verification, Decision procedures, SMT/SAT solvers}
}