Open source projects: mbt http://mbt.tigris.org/ and ModelJUnit
http://www.cs.waikato.ac.nz/~marku/mbt/modeljunit/. Comercial products:
TestOptimal, Conformiq, Test Designer by LEIRIOS.

--- In model-based-testing@yahoogroups.com, "Robert Chrin" <rchrin@...> wrote:
>
> So are there any active projects going on with Model Based Testing, preferably
open source?
>
> --- In model-based-testing@yahoogroups.com, Alan Hartman <alan.hartman.gm@>
wrote:
> >
> > The AGEDIS project is no longer active. The papers etc. are still available
> > on the website www.agedis.de.Work in model driven testing continues in the
> > MODELPLEX project, but the AGEDIS project is long gone.
> >
> >
> > On Sat, May 30, 2009 at 7:22 AM, henry_umana <henry_umana@> wrote:
> >
> > >
> > >
> > > Hi, anyone knows if AGEDIS project is active? I'm reading about that and
> > > I'm interested in papers, tools related.
> > > Thanks
> > >
> > >
> > >
> >
>