MiniChrest and Perceptron code.

Peter ca966031cc added MIT license %!s(int64=5) %!d(string=hai) anos
MiniChrest a9fc6145ab added published files %!s(int64=5) %!d(string=hai) anos
Perceptron a9fc6145ab added published files %!s(int64=5) %!d(string=hai) anos
LICENSE.txt ca966031cc added MIT license %!s(int64=5) %!d(string=hai) anos
README.md a9fc6145ab added published files %!s(int64=5) %!d(string=hai) anos

README.md

MiniChrest

This repository contains the MiniChrest and Perceptron code used in the paper:

  • P.C.R. Lane and F. Gobet, 'A theory-driven testing methodology for developing scientific software', Journal of Experimental and Theoretical Artificial Intelligence, 24:421-56, 2012.

The code is written in Common Lisp.