Program

The workshop will take place in Room J1270. For more information check these pages on travelling to Karlskrona, the conference venue and generally useful things to know.

Download the RET'14 Workshop program.

Tuesday, August 26, 2014
08:30
-
08:45
Welcome and Introductions (Michael Felderer)
08:45
-
09:45
Keynote: Magnus Ohlsson
09:45
-
10:00
Sponsor presentation (Björn Regnell)
Coffee Break (10:00-10:30)
10:30
-
11:35

RET Challenges and Practices

Session Chair: Elizabeth Bjarnason


  • Revisiting the Challenges in Aligning RE and V&V: Experiences from the Public Sector
  • On the Delicate Balance between RE and Testing: Experiences from a Large Company
  • Testers Learning Requirements
  • A/B Testing: A Promising Tool for Customer Value Evaluation

11:35
-
12:30

Quality Requirements

Session Chair: Michael Unterkalmsteiner


  • Position on Metrics for Security in Requirements Engineering
  • Verifying Security Requirements using Model Checking Technique for UML-Based Requirements Specification
  • Using Automated Tests for Communicating and Verifying Non-functional Requirements
Lunch Break (12:30-14:00)
14:00
-
15:00

Formal Languages and Models

Session Chair: Markus Borg


  • C&L: Generating Model Based Test Cases from Natural Language Requirements Descriptions
  • The Observer-Based Technique for Requirements Validation in Embedded Real-Time Systems
  • Towards the Automated Generation of Abstract Test Cases from Requirements Models
Coffee Break (15:00-15:30)
15:30
-
17:00
Mapping exercise (Elizabeth Bjarnason)
17:00
-
17:30
Sum-up and Workshop closing (Michael Felderer)
Key dates
Early-Bird Registration closes: July 14
Paper Submission: May 26June 2
Author Notification: June 23
Camera-Ready Due: July 7
Workshop Date: August 26, 2014
Sponsered by