model-based-testing at Yahoo! Groups

Re: Reversed Test Design to MBT

mikakatara — Fri, 18 Sep 2009 14:15:00 GMT

I'm not sure how relevant this is to your particular problem, but you can check out our paper on synthesizing test models from test cases: Antti

Article on Model-Based Testing and Its Tools

lin.yaxiong — Mon, 31 Aug 2009 18:20:12 GMT

Check out a new article on Model-Based Testing http://www.qaguild.com/weekly_article.php?id=71. It gives a brief overview of what Model-Based Testing(MBT) is

Reversed Test Design to MBT

par_palhed — Wed, 19 Aug 2009 08:20:35 GMT

Hi, We are currently using Confirmiq Qtronic with great success but we also have a huge legacy of test scripts that was maually written in Expect/TCL. Does

New Deadline Extension for MoDeVVa Workshop at MODELS'09

stephan.weissleder — Tue, 28 Jul 2009 00:17:19 GMT

We apologize for double invitations. We received again some requests for another deadline extension. The new deadline for submissions to MoDeVVa is now August

Free MBT tool for academic and non-commercial use

testoptimal — Fri, 24 Jul 2009 15:37:41 GMT

Modeling and test generation are the two most critical steps in MBT process. TestOptimal has released the Community Edition (limited functionality) free to

Modeljunit

a.sakthivel7 — Fri, 17 Jul 2009 00:36:45 GMT

Modeljunit Hi... Modeljunit is a very useful tool. I found this Application very useful in my project, i got this from

Deadline Extension for MoDeVVa Workshop at MODELS'09

stephan.weissleder — Fri, 17 Jul 2009 00:36:15 GMT

MoDeVVa 2009 Co-located with MODELS 2009 http://www.modeva.org/2009 6th Workshop on Model Design, Verification and Validation ** Integrating Verification

Re: News for AGEDIS

a.sakthivel7 — Tue, 07 Jul 2009 15:32:10 GMT

AGEDIS - Achievements and project status In the first six months of activity, the project has: * Performed two evaluation

Re: News for AGEDIS

lin.yaxiong — Thu, 25 Jun 2009 06:10:15 GMT

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

Re: Model Based Testing -ActionScript

testoptimal — Fri, 19 Jun 2009 01:48:51 GMT

TestOptimal has just published release 2.1 which supports testing Adobe Flash and ActionScript.

Re: News for AGEDIS

Baris Güldali — Thu, 18 Jun 2009 16:12:22 GMT

Two open-source projects on mbt are the following: http://mbt.tigris.org/ http://www.cs.waikato.ac.nz/~marku/mbt/modeljunit/ Wikipedia links to many other

Re: News for AGEDIS

Robert Chrin — Thu, 18 Jun 2009 15:48:08 GMT

So are there any active projects going on with Model Based Testing, preferably open source?

Re: News for AGEDIS

Alan Hartman — Thu, 18 Jun 2009 05:13:24 GMT

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

Re: Test Model Toolkit

withrajeev — Thu, 04 Jun 2009 15:53:28 GMT

Thanks Harry, Will go through these links. Thanks, Rajeev

Re: Test Model Toolkit

harry robinson — Thu, 04 Jun 2009 00:44:00 GMT

Hi Rajeev, Test Model Toolkit was a state-based test tool created and used internally at Microsoft serveral years back. It was never available externally, and