aPET Web Site

aPET is a glass-box test-case generator for ABS programs, a concurrent, object-oriented, modeling language that features functional data-types (for more information on the ABS language go here). aPET is based on symbolic execution on CLP (Constraint Logic Programming) and it therefore consists in two main phases: 1) The ABS program is translated into a semantically equivalent CLP program, and 2) the CLP program is symbolically executed in CLP controlled by a termination and coverage criterion.

aPET Eclipse plugin (recommended)

The aPET Eclipse plugin is completely integrated within the main ABS Tool suite, an Eclipse plugin which includes facilities for creating, managing and running ABS projects, features like debugging, visualization, analysis and testing, etc.

Installation instructions:

Usage instructions:

aPET Command-line