Scenario-Based Test Case Generation Using Event-B Models

Author(s):  
Q.A. Malik ◽  
J. Lilius ◽  
L. Laibinis
2021 ◽  
Vol 2 (1) ◽  
Author(s):  
Shreya Banerjee ◽  
Narayan C. Debnath ◽  
Anirban Sarkar

Sign in / Sign up

Export Citation Format

Share Document