SE tools
- TAOM4E: a Tool for Agent Oriented Modeling, including the t2x Jadex agent generation tool (Eclipse plug-ins).
- SCORE: a Tool for supporting Requirements Prioritization with the CBRank approach.
- EvoSuite: a Tool for automated test case generation for Java (FBK-SE is one of the project contributors).
- M[agi]C a Tool for test case generation that combines combinatorial testing and model-based testing.


