José Monteiro,

R – INESC-ID Lisboa


In this talk, I will address the problem of finding a minimal set of execution paths that achieve a user-specified level of observability coverage. Under this metric, a program statement is only considered covered if its execution has influence in some output. Pseudo-Boolean Optimization (PBO) is used to model the problem of finding the paths that are most likely to increase code coverage. Generated paths are then validated to check for feasibility. This methodology was implemented into a fully functional tool that is capable of handling real programs specified in the C language.


Date: 2009-Sep-29     Time: 11:30:00     Room: 04

For more information: