An optimized test data selection strategy references a sam pling file that identifies data
attributes that serve as the basis of the test data selection strategy. By analyzing fields and …

A system, method and computer program product to refine an original complex CFG into a
simpler CFG showing interesting paths and reducing interfering paths with dynamic input for …

A computer implemented method, an computerized apparatus and a computer program
product for validating revised computer programs. The method performed by a computerized …

A method includes, by one or more computing devices, determining instructions for a
computing device to be evaluated, creating a first symbolic test driver including one or more …

Abstract Information about a set of maintenance tasks and time windows includes a cost
value per task per time window. Based on the information, a data model generator …

Method, apparatus and product for symbolic execution of alternative branches. The method
comprising reaching, during symbolic execution of a Control Flow Graph (CFG) of a …

(57) ABSTRACT A system for providing ongoing verification of released software
components utilizes feedback from a pool of devices that each locally execute a verification …

BACKGROUND As usage of electronic devices increases, so does the number of Software
programs run on these devices. Typi cally when a software program is developed, it is …