Description: Automatic test generator based on G-choreographies. It is well documented tool papers and the PhD thesis of Alex Coto (to appear)

Developed at: GSSI

Contacts: Emilio Tuosto

Available at: https://bitbucket.org/eMgssi/chorgram/ as part of ChorGram and at https://github.com/alxrcs/chortest as a standalone tool