Scenario-Based Test Case Generation Using Event-B Models

Author(s):  
Q.A. Malik ◽  
J. Lilius ◽  
L. Laibinis

2019 ◽  
Vol 7 (9) ◽  
pp. 95-101
Author(s):  
Venus Grover ◽  
Jitender Kumar






2021 ◽  
Vol 2 (1) ◽  
Author(s):  
Shreya Banerjee ◽  
Narayan C. Debnath ◽  
Anirban Sarkar






Sign in / Sign up

Export Citation Format

Share Document