OCL Class Specs Testbed

Brought to you by: einestine1

Downloads: 0 This Week

Last Update: 2012-12-01

Browse Code

Test Sequences from OCL class specifications.
Test Sequence Optimization using Muti Objective Genetic Algorithm
Automated Generation and Optimization of the Object Constraint Language (OCL) based test sequences

Other Useful Business Software

Go From AI Idea to AI App Fast

One platform to build, fine-tune, and deploy ML models. No MLOps team required.

Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.

Try Free

Rate This Project

User Reviews

Be the first to post a review of OCL Class Specs Testbed!

2011-10-19

Go From AI Idea to AI App Fast

One platform to build, fine-tune, and deploy ML models. No MLOps team required.

Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.

Try Free

Recommended Projects

Solid Python
A comprehensive gradient-free optimization framework written in Python
Nevergrad
A Python toolbox for performing gradient-free optimization
moosha-ai
An intelligent virtual assistant (IVA) or intelligent personal assista
HealthCard: JavaCard + JML specs
Prototype of a Java Card application for smart cards and its client application. It was developed with the support of JML (Java Modeling Language) used to formally specify the requirements for developing the HealthCard application in Java Card.
Jenetics: Java Genetic Algorithm Library
The source code has been migrated and is now hosted on Github: https://github.com/jenetics/jenetics Jenetics is an advanced Genetic Algorithm, Evolutionary Algorithm and Genetic Programming library, respectively, written in modern day Java. It is designed with a clear separation of the several algorithm concepts, e. g. Gene, Chromosome, Genotype, Phenotype, Population and fitness Function. Jenetics allows you to minimize or maximize the given fitness function without tweaking it. In contrast to other GA implementations, the library uses the concept of an evolution stream (EvolutionStream) for executing the evolution steps. Since the EvolutionStream implements the Java Stream interface, it works smoothly with the rest of the Java Stream API. Other repositories: - https://github.com/jenetics/jenetics Maven: - https://mvnrepository.com/artifact/io.jenetics