This is the project page of Pachika, a tool that automatically generates fixes for program crashes based on object behavior models. More information on PACHIKA is available in this technical report. The models for bug JDO 28 referenced in the paper are available for failing and passing runs. You can download binaries and sources at the download page . We also provide a detailed howto that explains the usage of PACHIKA.
