•        0

The ConSequence project is about automatically concatenating sequences. The target is automatic model-based test generation: Sequences that describe tests are often designed manually. Automatically concatenating them results in better test suites.



comments powered by Disqus

Related Projects

Apache Commons Imaging - Java Imaging Library

Apache Commons Imaging, previously known as Apache Commons Sanselan, is a library that reads and writes a variety of image formats, including fast parsing of image info (size, color space, ICC profile, etc.) and metadata. It's slower, consequently, but perfectly portable. It's easier to use than ImageIO/JAI/Toolkit (Sun/Java's image support), supports more formats (and supports them more correctly). It also provides easy access to metadata.

SilverStripe - Award wining CMS

SilverStripe CMS is used to build websites, intranets, and web applications. SilverStripe CMS enables websites and applications to contain stunning design, great content, and compelling interactive and social functions. It is a power tool for professional web development teams, and web content authors rave about how easy it is to use.


Ani-Shell is a PHP remote shell, basically used for remote access and security pen testing. Ani-Shell provides a robust and a basic interface to access the file system, do some networking tweaks and even test your server for some common security vulnerabilities. The developer has tried to follow a coding standard which makes the code a little clean and easier to understand, Note: How you use this shell is exactly on you, and author pays no responsibility for what you use it for and what ma

LaTeX to RTF converter

LaTeX to RTF convertor that handles equations, figures, and cross-refe

Politeia - Game with political and social consequences.

Milestones Subversion Tips Resources Design Browse Source Source Changes Google Group

Execparse - A custom MSBuild task for parsing Exec output

A custom MSBuild task that inherits from the Exec MSBuild task. The task adds a parameter to allow parsing of the output using regular expressions, and reporting to the MSBuild logger (and consequently the VS.Net IDE). Example usage:

Feedcomposter - A syndication framework and web application

Feedcomposter is a Ruby on Rails application for providing a simple syndication service. FC offers a publishing interface, for posting, categorizing and tagging events, and a syndication feed interface (aiming to support all major syndication formats) which supplies aggregations of events defined by queries and profiles. The precise nature of categorization/tagging at publish time, and consequently the kinds of queries/profiles available to consumers of feeds is not fully elaborated as yet.

SimCal: The Choices of a Cal Student

A simulation of the life of a Cal student. Make virtual choices and see the virtual consequences!

Submarine-academic-cs-proj - C# implementation of the submarine game over network - done as an acdem

Submarine rules: 1) each player set his/hers submarines (which comes in sizes) on a board. 2) each player in his/hers turn, aim at a certain location on the opponents board and shoot - each shot has a consequence: miss - no damage was inflicted on the opponent hit - a part of one of the opponent's submarines was hit strike - one of the opponent's submarines was fully hit and has sunk. 3) the opponent does the same and so on till one of the player has sunk all of the opponent's submarines.

Formprint - A CSS/JQuery solution to laying out forms

Formprint is the product of nearly two weeks figuring out how to deal with the inadequacies of the box model as it pertains to laying out forms. Text Inputs don't take padding like normal boxes do and, as a consequence, they do not take fluid widths with finesse. Using JQuery and couple of css hooks, formprint acts as a templating system to allow for a modular, fluid-width, form layout. Check out the example for some insight into how it all works.