Model-Based Testing Community | Connecting the MBT world…

CAT | news



Call for Papers: QuoMBaT Workshop at ISSTA 2013

Call for papers: Workshop of Quality of Model-Based Testing (QuoMBaT)   Model-based testing (MBT) is an advanced testing technique that is becoming more and more popular in the software testing community. Several experience reports and success stories have been presented and published so far. However, the capabilities and limitations of MBT still need to […]

No tags



Spec Explorer’s future

Spec Explorer 2010 is one of the most successful model-based testing tools. Unfortunately, there is only a Spec Explorer extension to Visual Studio (VS) 2010. Many questions of whether and when Spec Explorer will be available for VS 2012 have been asked in the original Spec Explorer forum. The answers varied, and the forum has […]

No tags



ATAMI Workshop 2012 in Berlin

Hi all, the ATAMI workshop is going to take place at the end of September 2012 in Berlin. The program is complete now and we also have many interesting talks about model-based testing: Please feel free to join our workshop. By the way: it is going to be in German … 😉 Cheers, Stephan […]

· ·

Invited Talk on Model-Based Testing for Cyber-Physical Systems – Exploration of Theory and Practice at Model-Driven Development Day, May 9th, 2012 in ‘s-Hertogenbosch, The Netherlands Model-Based Testing for Cyber-Physical Systems – Dr. Justyna Zander –, SimulatedWay and Harvard University March 1st, 2012   The ever growing pervasion of software-intensive systems into physical, technical, business, and social areas […]

· · ·

… is the title of the recently published book by Justyna Zander, Ina Schiederdecker, and Pieter J. Mosterman. This book provides an overview of the state-of-the-art in model-based testing for embedded systems. Consisting of 22 contributions divided into 6 parts the book covers the following MBT domains: key concepts for MBT test generation, e.g., automatic […]




2011 MBT User Survey

I’ve released the final report for the survey I conducted of model-based testing users. Thanks much to the MBTUC I conference organizers for supporting this and to all who responded.  If you have questions or comments, please post it here (comment function) and I’ll reply. Bob Binder  

No tags



A View Back at the MBTUC

In October this year, the 1st Model-Based Testing User Conference took place in Berlin. This event was initiated by the European Telecommunications Standards Institute (ETSI) and it is the first international MBT event, which is solely focused on the application of MBT in the industry. Since there are many academic conferences and workshops about MBT […]

· · ·

I have a sense that the just completed MBT User Conference in Berlin will be a historic milestone.  Please take a few minutes to respond to this survey so we’ll have a datapoint to go with it. Thanks in advance, Bob Binder




ISO 26262 and MBT

Actually, we have planned to provide a blog post considering the role of MBT in the ISO 26262 standard (standard for functional safety in the automotive domain). In the first baselines (2008) of ISO 26262  MBT  was highly recommended (++) for functional software unit testing (Table 16 in Part 6). Unfortunately,  this recommendation was removed […]

· ·

It is well-known that model-based testing helps to comply to safety-relevant standards because it strongly supports code coverage measurement and traceability from tests to requirements, which are required by almost all safety-relevant standards. Additionaly, model-based testing is (highly) recommended by the IEC 61508 for the development of safety-relevant systems!! As a consequence, the whole discussion […]


<< Latest posts

Older posts >>

Theme Design by
© by MBT Community 2011