Abstract path testing with PathCrawler

Abstract

PathCrawler is a tool developed by CEA List for the automatic generation of test inputs to ensure the coverage of all feasible execution paths of a C function. Due to its concolic approach and depth-first exhaustive search strategy implemented in Prolog, PathCrawler is particularly efficient in the generation of tests to cover the fully expanded tree of… (More)
DOI: 10.1145/1808266.1808272

8 Figures and Tables

Topics

  • Presentations referencing similar topics