Model-Based Testing Community | Connecting the MBT world…



1st Workshop on Requirements and Validation, Verification & Testing 2011

At the 25th of march we held the 1st International Workshop on Requirements and Validation, Verification  & Testing in conjunction with the ICST2011 in Berlin.

Major topics during the workshop were: checking requirements for consistency, completeness, and correctness. During the fruitfull discussions, we recognized that model-based testing can support this above mentioned challenges by representing the requirements as (formal) models and to use this model for validation, verification, and testing purposes.

Due to the positive feedback of the participating research community, we plan to organize this worshop again in 2012. More details about when and where the next ReVVerT workshop will take place will be announced on this website.

In the attached slides we summarized discussions and talks:


· ·

No comments yet.

Leave a Reply



Theme Design by
© by MBT Community 2011