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: