Home

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 almost 2 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 about 2 years ago

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

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

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

View all news

Latest projects

  • 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:...

  • 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....

  • MEdit4CEP (05/25/2015 08:16 PM)

    MEdit4CEP is a model-driven solution for real-time decision making in Event-Driven Service-Oriented Architecture (SOA 2.0). Its main aim is to make domain experts' tasks of defining both event patterns – situations of interest to be detected – and alerts for real time notification easier, hiding all implementation details from them....

  • Plugin MoDAS (10/07/2014 11:48 AM)

    MoDAS is a methodology and tool for Model-Driven Adaptable Services.

  • PTAC (09/20/2014 05:30 PM)

    PTAC (Passive Testing with Asynchronous Communications) is a passive testing tool developed by Azahara Camacho Magriñán and Inmaculada Medina-Bulo from UCASE Research Group of Universidad de Cádiz and Mercedes G. Merayo from Universidad Complutense de Madrid....