The Community for Technology Leaders
2014 IEEE 1st International Workshop on Requirements Engineering and Testing (RET) (2014)
Karlskrona, Sweden
Aug. 26, 2014 to Aug. 26, 2014
ISBN: 978-1-4799-6334-8
TABLE OF CONTENTS

[Front matter] (PDF)

pp. i-ii

Contents (PDF)

pp. 1

On the delicate balance between RE and Testing: Experiences from a large company (Abstract)

Krzysztof Wnuk , Department of Computer Science, Lund University, Sweden
Linus Ahlberg , Department of Computer Science, Lund University, Sweden
Johannes Persson , Department of Computer Science, Lund University, Sweden
pp. 1-3

Revisiting the challenges in aligning RE and V&V: Experiences from the public sector (Abstract)

Jacob Larsson , Capgemini Sverige AB, Växjö Office, Sweden
Markus Borg , Dept. of Computer Science, Lund University, Sweden
pp. 4-11

Testers learning requirements (Abstract)

Hans Hartmann , OBJENTIS Software Integration GmbH, Vienna, Austria
pp. 12-15

A/B testing: A promising tool for customer value evaluation (Abstract)

Peitsa Hynninen , Aalto University, Espoo, Finland
Marjo Kauppinen , Aalto University, Espoo, Finland
pp. 16-17

Verifying security requirements using model checking technique for UML-based requirements specification (Abstract)

Yoshitaka Aoki , Graduate School of Engineering and Science, Shibaura Institute of Technology, 307 Fukasaku, Minuma-ku, Saitama-City, 337-8570, Japan
Saeko Matsuura , Graduate School of Engineering and Science, Shibaura Institute of Technology, 307 Fukasaku, Minuma-ku, Saitama-City, 337-8570, Japan
pp. 18-25

Using automated tests for communicating and verifying non-functional requirements (Abstract)

Robert Lagerstedt , Global System Management, Sony Mobile Communications AB, Lund, Sweden
pp. 26-28

Position on metrics for security in requirements engineering (Abstract)

Mahwish Kundi , Department of Computer Science, University of Leicester, UK
Ruzanna Chitchyan , Department of Computer Science, University of Leicester, UK
pp. 29-31

C&L: Generating model based test cases from natural language requirements descriptions (Abstract)

Edgar Sarmiento , Departamento de Informática- PUC-Rio, Rio de Janeiro - Brasil
Julio Cesar Sampaio do Prado Leite , Departamento de Informática- PUC-Rio, Rio de Janeiro - Brasil
Eduardo Almentero , Departamento de Matemática - DEMAT, Universidade Federal Rural do Rio de Janeiro - UFRRJ, Seropédica - Brasil
pp. 32-38

Towards the automated generation of abstract test cases from requirements models (Abstract)

Maria Fernanda Granda , DSIC, Universitat Politècnica de València, Spain
Nelly Condori-Fernandez , Department of Computer Science, VU University, Amsterdam, Netherlands
Tanja E.J. Vos , DSIC, Universitat Politècnica de València, Spain
Oscar Pastor , DSIC, Universitat Politècnica de València, Spain
pp. 39-46

The observer-based technique for requirements validation in embedded real-time systems (Abstract)

Jiale Zhou , School of Innovation, Design and Engineering, Mälardalen University, Västerås, Sweden
Yue Lu , School of Innovation, Design and Engineering, Mälardalen University, Västerås, Sweden
Kristina Lundqvist , School of Innovation, Design and Engineering, Mälardalen University, Västerås, Sweden
pp. 47-54
95 ms
(Ver 3.3 (11022016))