Program

The workshop will take place in Room J1270.

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)
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

Co-located with

Sponsered by