Login / Signup
Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes.
Steven Arzt
Eric Bodden
Published in:
ICSE (2014)
Keyphrases
</>
data flow
control flow
database machine
symbolic execution
data transfer
incremental learning
digital signal processing
object oriented software
systolic array
computer programs
object oriented
incremental update
business processes
formal semantics
incremental updating