#OnlineFirst RATEN: an efficient robustness analysis and test enhancement framework for state machines Majid Babaei & Yann-Gaël Guéhéneuc doi.org/10.1007/s102...

RATEN: an efficient robustness...