Here is the list of software projects we develop and maintain.
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.
Set of tools to monitor and automatically synthesize variants of Java programs.
A is a language for importing, exporting, composing, decomposing, editing, configuring, computing “diffs”, refactoring, reverse engineering, testing, and reasoning about (multiple) feature models.
Provides generic components through Eclipse technologies for the development, integration, and use of heterogeneous executable modeling languages.
Set of tools enabling distributed reconfigurable software development.
A language and its platform for assembling and integrating multiple domain-specific languages (DSL).