Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation

2014 ◽  
Author(s):  
Cassia de Souza Carvalho ◽  
Tatsuhiro Tsuchiya
Keyword(s):  
State Transition ◽  
Test Case Generation ◽  
Test Case ◽  
Model Checker ◽  
Coverage Criteria

scholarly journals Coverage criteria for test case generation using UML state chart diagram

2017 ◽  
Author(s):  
Yasir Dawood Salman ◽  
Nor Laily Hashim ◽  
Mawarny Md Rejab ◽  
Rohaida Romli ◽  
Haslina Mohd
Keyword(s):  
Test Case Generation ◽  
Test Case ◽  
Coverage Criteria ◽  
State Chart
Sign in / Sign up

Export Citation Format

Share Document