Applications

Below we discuss a number of applications that use BugZoo’s Python API. Note that whilst most of these examples are open-source, they are also considered a work-in-progress, and so documentation may be sparse.

Automated Program Repair: Darjeeling

Mutation Testing: Boggart

Static Analysis: Kaskara

Automated Test Generation: Houston