Fingerprint
Dive into the research topics of 'SMT-Based False Positive Elimination in Static Program Analysis'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
SMT-Based False Positive Elimination in Static Program Analysis
Maximilian Junker, Ralf Huuck, Ansgar Fehnker, Alexander Knapp
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
27
Citations
(Scopus)