Description: Static Deadlock Detection and Resolution in Go Programs. The tool first takes takes Go source code and transforms it into Mini-Go, a communication-centred version of the original Go program, Then,

Description: Implementation of binary session types for OCaml: session type inference, equi-recursive session types, polymorphic session types, context-free session types, session subtyping. Developed at: UNITO Contacts: Luca Padovani Available at: http://www.di.unito.it/~padovani/Software/FuSe/FuSe.html

Description: FABIoT is an Agent-based model (ABM) that mimics the operation of different scale IoT systems over the time. FABIoT offers the toolkit for the definition of IoT environments and event-driven

Description: The tool that automatically generates reproducible and human-readable test suites for Android apps in Espresso format, using as input sequences of interactions over widgets in the Android apps. Developed at:

Description: Automated test generation for Android applications Developed at: UBA Contacts: iarcuschin@dc.uba.ar Available at: https://github.com/FlyingPumba/evolutiz

Description: extension of Dingo-Hunter (https://github.com/nickng/dingo-hunter) that generates error messages when a Go program cannot be shown live or safe. Developed at: UBA Available at: https://github.com/DamiFur/gong, https://github.com/DamiFur/migo

Description: A research prototype Developed at: ULEIC Contacts: ndwalkinshaw@gmail.com Available at: https://bitbucket.org/nwalkinshaw/efsminferencetool

Description: Statically checks the usage of function calls in Elixir modules against behavioural descriptions based in session types for the service handler design pattern. Developed at: UOM Contacts: adrian.francalanza@um.edu.mt, gerard.tabone@um.edu.mt