235 followers
ProSyT (https://t.co/mSnWPB3Uqs). Translates Erlang input specs to Prolog for generating inputs. Automatic interleaving of syntactic generation & semantic solving. Unlike other constraint solving approaches, possible to specify distribution of values.