Software

Here is the list of software projects we develop and maintain.

Descartes

Descartes is a PIT plugin that implements and analyzes extreme mutants. It is able to discover methods that are executed by a test suite, yet their behavior is not properly tested.

Diversification Toolkit

Set of tools to monitor and automatically synthesize variants of Java programs.

Familiar

A is a language for importing, exporting, composing, decomposing, editing, configuring, computing “diffs”, refactoring, reverse engineering, testing, and reasoning about (multiple) feature models.

GEMOC Studio

Provides generic components through Eclipse technologies for the development, integration, and use of heterogeneous executable modeling languages.

Kevoree

Set of tools enabling distributed reconfigurable software development.

Melange

A language and its platform for assembling and integrating multiple domain-specific languages (DSL).