2014 IEEE 1st International Workshop on Requirements Engineering and Testing (RET)

Frontmatter

RET Challenges and Practices
Mon, Aug 25, 10:30 - 11:35, J1270 (Chair: Elizabeth Bjarnason)

On the Delicate Balance between RE and Testing: Experiences from a Large Company
Krzysztof Wnuk, Linus Ahlberg, and Johannes Persson
(Lund University, Sweden)

@InProceedings{RET14p1, author = {Krzysztof Wnuk and Linus Ahlberg and Johannes Persson}, title = {On the Delicate Balance between RE and Testing: Experiences from a Large Company}, booktitle = {Proc.\ RET}, publisher = {IEEE}, pages = {1-0}, doi = {}, year = {2014}, } Article: rews14retmain-retmainid6-p (type: Position paper, 8 pages) doi:

Revisiting the Challenges in Aligning RE and V&V: Experiences from the Public Sector
Jacob Larsson and Markus Borg
(Capgemini, Sweden; Lund University, Sweden)

@InProceedings{RET14p9, author = {Jacob Larsson and Markus Borg}, title = {Revisiting the Challenges in Aligning RE and V&V: Experiences from the Public Sector}, booktitle = {Proc.\ RET}, publisher = {IEEE}, pages = {9-8}, doi = {}, year = {2014}, } Article: rews14retmain-retmainid13-p (type: Position paper, 8 pages) doi:

Testers Learning Requirements
Hans Hartmann
(OBJENTIS Software Integration, Austria)

@InProceedings{RET14p17, author = {Hans Hartmann}, title = {Testers Learning Requirements}, booktitle = {Proc.\ RET}, publisher = {IEEE}, pages = {17-16}, doi = {}, year = {2014}, } Article: rews14retmain-retmainid7-p (type: Position paper, 8 pages) doi:

A/B Testing: A Promising Tool for Customer Value Evaluation
Peitsa Hynninen and Marjo Kauppinen
(Aalto University, Finland)

@InProceedings{RET14p25, author = {Peitsa Hynninen and Marjo Kauppinen}, title = {A/B Testing: A Promising Tool for Customer Value Evaluation}, booktitle = {Proc.\ RET}, publisher = {IEEE}, pages = {25-24}, doi = {}, year = {2014}, } Article: rews14retmain-retmainid3-p (type: Position paper, 8 pages) doi:

Quality Requirements
Mon, Aug 25, 11:35 - 12:30, J1270 (Chair: Michael Unterkalmsteiner)

Verifying Security Requirements using Model Checking Technique for UML-Based Requirements Specification
Yoshitaka Aoki and Saeko Matsuura
(Shibaura Institute of Technology, Japan)

@InProceedings{RET14p33, author = {Yoshitaka Aoki and Saeko Matsuura}, title = {Verifying Security Requirements using Model Checking Technique for UML-Based Requirements Specification}, booktitle = {Proc.\ RET}, publisher = {IEEE}, pages = {33-32}, doi = {}, year = {2014}, } Article: rews14retmain-retmainid8-p (type: Full length technical, 8 pages) doi:

Using Automated Tests for Communicating and Verifying Non-functional Requirements
Robert Lagerstedt
(Sony Mobile Communications, Sweden)

@InProceedings{RET14p41, author = {Robert Lagerstedt}, title = {Using Automated Tests for Communicating and Verifying Non-functional Requirements}, booktitle = {Proc.\ RET}, publisher = {IEEE}, pages = {41-40}, doi = {}, year = {2014}, } Article: rews14retmain-retmainid2-p (type: Position paper, 8 pages) doi:

Position on Metrics for Security in Requirements Engineering
Mahwish Kundi and Ruzanna Chitchyan
(University of Leicester, UK)

@InProceedings{RET14p49, author = {Mahwish Kundi and Ruzanna Chitchyan}, title = {Position on Metrics for Security in Requirements Engineering}, booktitle = {Proc.\ RET}, publisher = {IEEE}, pages = {49-48}, doi = {}, year = {2014}, } Article: rews14retmain-retmainid10-p (type: Position paper, 8 pages) doi:

Formal Languages and Models
Mon, Aug 25, 14:00 - 15:00, J1270 (Chair: Markus Borg)

C&L: Generating Model Based Test Cases from Natural Language Requirements Descriptions
Edgar Sarmiento, Julio Cesar Sampaio do Prado Leite, and Eduardo Almentero
(PUC-Rio, Brazil; Federal Rural University of Rio de Janeiro, Brazil)

@InProceedings{RET14p57, author = {Edgar Sarmiento and Julio Cesar Sampaio do Prado Leite and Eduardo Almentero}, title = {C&L: Generating Model Based Test Cases from Natural Language Requirements Descriptions}, booktitle = {Proc.\ RET}, publisher = {IEEE}, pages = {57-56}, doi = {}, year = {2014}, } Article: rews14retmain-retmainid14-p (type: Full length technical, 7 pages) doi:

Towards the Automated Generation of Abstract Test Cases from Requirements Models
Maria Fernanda Granda, Nelly Condori-Fernández, Tanja E. J. Vos, and Oscar Pastor
(University of Cuenca, Ecuador; VU University Amsterdam, Netherlands; Universidad Politécnica de Valencia, Spain)

@InProceedings{RET14p64, author = {Maria Fernanda Granda and Nelly Condori-Fernández and Tanja E. J. Vos and Oscar Pastor}, title = {Towards the Automated Generation of Abstract Test Cases from Requirements Models}, booktitle = {Proc.\ RET}, publisher = {IEEE}, pages = {64-63}, doi = {}, year = {2014}, } Article: rews14retmain-retmainid11-p (type: Full length technical, 8 pages) doi:

The Observer-Based Technique for Requirements Validation in Embedded Real-Time Systems
Jiale Zhou, Yue Lu, and Kristina Lundqvist
(Mälardalen University, Sweden)

@InProceedings{RET14p72, author = {Jiale Zhou and Yue Lu and Kristina Lundqvist}, title = {The Observer-Based Technique for Requirements Validation in Embedded Real-Time Systems}, booktitle = {Proc.\ RET}, publisher = {IEEE}, pages = {72-71}, doi = {}, year = {2014}, } Article: rews14retmain-retmainid5-p (type: Full length technical, 8 pages) doi:

proc time: 0.02