Welcome to the Redmine forge of the Software Engineering department of the University of Cadiz. We host code and documentation for some of our projects. Please check the project list for more information. If you need help, please come over to the User Support Area.

Bienvenido a la forja Redmine del Departamento de Ingeniería Informática de la Universidad de Cádiz. Aquí se aloja código y documentación para algunos de nuestros proyectos. Si necesita más información, consulte la lista de proyectos. Si necesita ayuda, visite el Área de Soporte.

Some of the projects hosted in this forge include:

  • MuBPEL, a mutation testing tool for WS-BPEL 2.0.
  • Rodan, a test case generation tool based on a genetic algorithm for WS-BPEL 2.0.
  • SODM+T, an extended version of the SODM methodology assisting users with performance requirement design and testing.
  • Takuan, a dynamic invariant generator for WS-BPEL 2.0.

Latest news

Takuan: Takuan Contributes to Daikon
We are glad to announce that the Takuan invariant suppression module has been integrated into Dakion core
Added by Manuel Palomo Duarte about 3 years ago

User Support Area: Nexus upgraded to 2.9.0-04, Jenkins upgraded to 1.565.1
Nexus has been upgraded to 2.9.0-04 and Jenkins has been upgraded to 1.565.1.
Added by Antonio García Domínguez over 3 years ago

User Support Area: Redmine upgraded to 2.4.2, UCA LDAP is supported
Added by Antonio García Domínguez about 4 years ago

User Support Area: Nexus upgraded to 2.7.1-01
Added by Antonio García Domínguez about 4 years ago

User Support Area: Nexus upgraded to 2.7.0-04
Added by Antonio García Domínguez about 4 years ago

View all news

Latest projects

  • CAC++ (01/16/2017 05:41 PM)
  • TFG Pablo Tena Sanchez (07/13/2016 11:58 AM)
  • Coverage-Based Quality Metric (06/02/2016 10:55 AM)

    The definition of quality metrics to estimate the mutation operator effectiveness can help us identify the most valuable mutation operators and, eventually, a subset of operators providing a similar performance than the whole set.

    The Coverage-Based Quality Metric aims to value mutation operators depending on their usefulness to refine a test suite. The novelty of this quality metric is that it tackles the coverage of the test suite, as not all the mutants are executed by all the test cases. This metric works under the following two assumptions:...

  • Proyecto Kevin J. Valle-Gómez (03/28/2016 01:37 PM)
  • MuCPP Mutation Tool (02/18/2016 06:36 PM)

    MuCPP is a mutation testing tool for the C++ programming language. The tool includes class-based and traditional-based mutation operators which are applied using the Clang compiler. MuCPP is not subject to a framework testing so that you can use your own test suite....