Prototype that generates test cases for functions of an API, based on the API itself.

Thomas Braibant, Jonathan Protzenko and Gabriel Scherer

BEWARE: We are currently working on a new version. Stay tuned.