2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
Latest Publications

TOTAL DOCUMENTS

88
(FIVE YEARS 88)

H-INDEX

1
(FIVE YEARS 1)

Published By IEEE

9781728110752
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking

2020 ◽  
Author(s):  
Mitsuaki Tsuji ◽  
Toshinori Takai ◽  
Kazuki Kakimoto ◽  
Naoki Ishihama ◽  
Masafumi Katahira ◽  
...  
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Statistical Model Checking

Keywords-based test categorization for Extra-Functional Properties

2020 ◽  
Author(s):  
Muhammad Abbas ◽  
Abdul Rauf ◽  
Mehrdad Saadatmand ◽  
Eduard Paul Enoiu ◽  
Daniel Sundmark
Keyword(s):  
Functional Properties
Load More ...
Sign in / Sign up

Export Citation Format

Share Document