Working Around Loops for Infeasible Path Detection in Binary Programs.

Jordy Ruiz Hugues Cassé Marianne De Michiel

Published in: SCAM (2017)

Keyphrases

automatic detection
detection method
detection scheme
detection accuracy
false positives
detection algorithm
image segmentation
shortest path
change detection
detection rate
non binary
automated detection
databases
false alarms
multi class
search space
objective function
website
e learning