Multi-objective Test Suite Optimization for Event-B Models
Keyword(s):
Keyword(s):
2010 ◽
Vol 83
(4)
◽
pp. 689-701
◽
Keyword(s):
2014 ◽
Vol 27
(2)
◽
pp. 863-875
◽
Keyword(s):
2016 ◽
Vol 8
(8)
◽
pp. 59-65
◽