Jordy Ruiz, Hugues Cassé. Using SMT Solving for the Lookup of Infeasible Paths in Binary Programs. In Francisco J. Cazorla, editor, 15th International Workshop on Worst-Case Execution Time Analysis, WCET 2015, July 7, 2015, Lund, Sweden. Volume 47 of OASICS, pages 95-104, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]
Abstract is missing.