News
Deadlines have changed. There is a new submission format
-- 11.02.2011 --
Workshop program is online
-- 07.01.2011 --
Submission deadline extension: new deadline is January 10, 2011
-- 20.12.2010 --
Submission deadline extension: new deadline is January 7, 2011
-- 29.11.2010 --
Submission site is open
-- 14.09.2010 --
Call for Papers is out
-- 28.08.2010 --
ReVVerT site is online
Program
Session 1: Tracing/Mapping of Requirements (08:30 - 10:00)
08:30 : Welcome + Foreword08:35 : Keynote by Joachim Wegener (Berner & Mattner).
Title : Tracing of Requirements and Test Cases (slides)
09:30 : Zeinab Alizadeh Barmi, Amir Hossein Ebrahimi and Robert Feldt. Alignment of requirements specification and testing - A systematic mapping study
Morning Break (10:00 - 10:30)
Session 2: Requirements for Testing (10:30 - 12:00)
10:30 : Jörg Holtmann, Jan Meyer and Markus von Detten. Automatic Validation and Correction of Formalized, Textual Requirements (slides)11:00 : Invited talk by Ömer Gürsoy (itemis). Requirements Engineering and Management with Eclipse (slides)
11:30 : Holger Funke. Model Based Test Specifications (slides)
Lunch (12:00 - 14:00)
Session 3: Requirements-Based Testing (14:00 - 15:30)
14:00 : Marc-Florian Wendland, Ina Schieferdecker and Alain-Georges Vouffo Feudjio. Requirements-driven testing with behavior trees (slides)14:30 : Invited talk by Florian Prester (sepp.med). Requirements-Based Model-Centric Testing (slides)
15:15 : Preparation of Breakout Sessions.
Afternoon Break (15:30 - 16:00)
Session 4: Breakout + Discussion (16:00 - 17:30)
16:00 : Breakout Sessions.16:45 : Presentations of Breakout Sessions.
17:25 : Conclusion.