Login / Signup
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving.
Felix Neubauer
Karsten Scheibler
Bernd Becker
Ahmed Mahdi
Martin Fränzle
Tino Teige
Tom Bienmüller
Detlef Fehrer
Published in:
SC²@SYNASC (2016)
Keyphrases
</>
constraint solving
source code
constraint propagation
data structure
constraint satisfaction problems
constraint programming
constraint logic programming
knowledge representation
upper bound
linear programming
detection method
false positives
monte carlo