A Lesson on Structural Testing With

Download Now Free registration required

Executive Summary

PathCrawler is a test generation tool developed at CEA LIST for structural testing of C programs. The new version of PathCrawler is developed in an entirely novel form: that of a test-case generation web service which is freely accessible at This service allows many test-case generation sessions to be run in parallel in a completely robust and secure way. This paper presents in the form of a lesson on structural software testing, showing its benefits, limitations and illustrating the usage of the tool on simple examples.

  • Format: PDF
  • Size: 97.9 KB