Multi-objective Test Suite Optimization for Event-B Models

Author(s):  
Ionuţ Dincǎ
2014 ◽  
Vol 27 (2) ◽  
pp. 863-875 ◽  
Author(s):  
Aftab Ali Haider ◽  
Aamer Nadeem ◽  
Shahzad Rafiq

Sign in / Sign up

Export Citation Format

Share Document