embedded software

A MILP-based approach to path sensitization of embedded software

FREE-DOWNLOAD [PDF] JC Costa… – Proceedings of the Conference on Design, …, 2009
Abstract—We propose a new methodology based on Mixed Integer Linear Programming
(MILP) for determining the input values that will exercise a specified execution path in a
program. In order to seamlessly handle variable values, pointers and arrays, and variable