ReVVerT 2011

Home

Program

Call For Papers

Submission

Committees

Important Dates

ICST 2011

Contacts


News

-- 17.02.2011 --
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 + Foreword
08: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.

End of the Workshop