Login / Signup
From Quick Fixes to Slow Fixes: Reimagining Static Analysis Resolutions to Enable Design Space Exploration.
Titus Barik
Yoonki Song
Brittany Johnson
Emerson R. Murphy-Hill
Published in:
ICSME (2016)
Keyphrases
</>
static analysis
design space exploration
dynamic analysis
source code
design space
computer architecture
java card
data mining
regular expressions
symbolic execution
abstract interpretation
database
databases
information systems
high level synthesis