Model-Based Testing Community | Connecting the MBT world…

The workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-based Testing (JAMAICA) intends to foster the discussion on the current practices for automating and model-based testing activities among academia and industry (such as automotive, avionics, and factory automation). This should show the community what impact these activities may have on the overall […]

No tags

Visit the leading conference for software and embedded testing automation! Here the quote from the press release of the conference: The 2nd User Conference on Advanced Automated Testing (UCAAT) will be held in Munich between 16th and 18th September 2014. The event will introduce the latest innovations and best practices “from users for users” in […]

If you have evaluated, used, or are using any model-based testing approach, please take a few minutes to respond to the 2014 Model-based Testing User Survey. The 2014 survey is a collaboration of Dr. Anne Kramer (, Bruno Legeard (Smartesting), and Robert Binder (System Verification Associates). It is a follow up to the 2012 MBT […]

No tags



MBT at German Testing Day 2014

This years German Testing Day begins with a keynote highlight by Harry Robinson. In his talk “Use Model-based Test Techniques to Mistake-Proof Your Agile Process”, he will show “how recent work in model-based testing and high-volume automation allow teams to move faster and provide better quality deliverables throughout the entire development process.” “Harry Robinson is […]

No tags



Your Opinion about MBT

Dear all, Model-based testing is good for …. wait. We had this several times before. What is model-based testing about? Isn’t it just the combination of several techniques that have proven their efficiency already? In my opinion, we know already that modeling brings advantages because abstraction brings understanding, reusability, and a potential for automation. We […]

No tags

Jamaica is the workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-based Testing, co-located at the ISSTA conference. It intends to foster the discussion on the current practices for automated and model-based testing among academia and industry. This year, it will be held in California on July 21st, 2014. The deadline for […]

No tags



Product Line Testing in AK TOOP/MBT

Hi folks, the German working group for the testing of object-oriented programs / model-based testing (AK TOOP/MBT) had a meeting in November, during which we had two very interesting talks given by Danilo Beuche from pure-systems and Georgi Markov from Siemens (see the protocol in German for details). Both talks were about testing of product […]

No tags



Parallelization to speed up MBT

In contrast to classical manual testing, MBT proposes generating test cases automatically from formal models. But the number of generated test cases can become huge, especially if the specification is large, the test case generation algorithm too simple (e.g. based mainly on randomization), or some coverage criterion needs to be achieved. Consequently, MBT needs to […]

No tags

TAV35 is the annual workshop on software testing organized by the group “Test, Analysis and Verification (TAV)” of the German Informatics Society (Gesellschaft für Informatik e.V. (GI)). The programme contains many talks related to MBT, from both industry and academia: Automatisierte Erzeugung und Ausführung von Szenarien für den Test eines kamerabasierten Fahrerassistenzsystems, by Jörg Reiner […]

No tags

The Verification&Testing group at the University of Sheffield is conducting a short survey to learn about common practices of software testing during software maintenance. This survey is part of ongoing research on software test automation, and with your input they hope to make software testing more fun, and ultimately produce better software. Please, follow this […]

No tags

Older posts >>

Theme Design by
© by MBT Community 2011