Solution for PIL ABV with the C-SPY Debugger

  • Published 2013

Abstract

Nowadays, the most common tools and solutions available on the market for verifying ESW are based on structural code analysis and concentrate on checking that all structural items, e.g., executable statements, branches, and paths, within the ESW application have been exercised. A much more important and expensive task consists of checking if the software… (More)

8 Figures and Tables

Topics

  • Presentations referencing similar topics