2019 IEEE/ACM 6th International Workshop on Requirements Engineering and Testing (RET)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781728122748

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Title Page iii

2019 IEEE/ACM 6th International Workshop on Requirements Engineering and Testing (RET) ◽

10.1109/ret.2019.00002 ◽

2019 ◽

Keyword(s):

Title Page

A Software Tool to Convert Requirements to Test Cases

2019 IEEE/ACM 6th International Workshop on Requirements Engineering and Testing (RET) ◽

10.1109/ret.2019.00009 ◽

2019 ◽

Author(s):

Palash Bera ◽

Abhimanyu Gupta

Keyword(s):

Software Tool ◽

Test Cases

RET 2019 Organizing Committee

2019 IEEE/ACM 6th International Workshop on Requirements Engineering and Testing (RET) ◽

10.1109/ret.2019.00006 ◽

2019 ◽

Automata Based Test Generation with SpecPro

2019 IEEE/ACM 6th International Workshop on Requirements Engineering and Testing (RET) ◽

10.1109/ret.2019.00010 ◽

2019 ◽

Author(s):

Simone Vuotto ◽

Massimo Narizzano ◽

Luca Pulina ◽

Armando Tacchella

Keyword(s):

Test Generation

Author Index

2019 IEEE/ACM 6th International Workshop on Requirements Engineering and Testing (RET) ◽

10.1109/ret.2019.00011 ◽

2019 ◽

RET 2019 Committees

2019 IEEE/ACM 6th International Workshop on Requirements Engineering and Testing (RET) ◽

10.1109/ret.2019.00007 ◽

2019 ◽

Copyright Page

2019 IEEE/ACM 6th International Workshop on Requirements Engineering and Testing (RET) ◽

10.1109/ret.2019.00003 ◽

2019 ◽

Message from the RET 2019 Workshop Chairs

2019 IEEE/ACM 6th International Workshop on Requirements Engineering and Testing (RET) ◽

10.1109/ret.2019.00005 ◽

2019 ◽

Title Page i

2019 IEEE/ACM 6th International Workshop on Requirements Engineering and Testing (RET) ◽

10.1109/ret.2019.00001 ◽

2019 ◽

Keyword(s):

Title Page

A Requirements Modelling Language to Facilitate Avionics Software Verification and Certification

2019 IEEE/ACM 6th International Workshop on Requirements Engineering and Testing (RET) ◽

10.1109/ret.2019.00008 ◽

2019 ◽

Cited By ~ 1

Author(s):

Andres Paz ◽

Ghizlane El Boussaidi

Keyword(s):

Software Verification ◽

Modelling Language ◽

Requirements Modelling

2019 IEEE/ACM 6th International Workshop on Requirements Engineering and Testing (RET)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Title Page iii

A Software Tool to Convert Requirements to Test Cases

RET 2019 Organizing Committee

Automata Based Test Generation with SpecPro

Author Index

RET 2019 Committees

Copyright Page

Message from the RET 2019 Workshop Chairs

Title Page i

A Requirements Modelling Language to Facilitate Avionics Software Verification and Certification

2019 IEEE/ACM 6th International Workshop on Requirements Engineering and Testing (RET)
Latest Publications