| Sequence mining and property verification for fault-localization in simulink models S Aloui Dkhil, MT Bennani, M Tekaya, H Ben Attia Sethom Theory and Applications of Dependable Computer Systems: Proceedings of the …, 2020 | 4 | 2020 |
| Aspect-oriented test case generation from Matlab/Simulink models M Tekaya, MT Bennani, MA Alagui, SB Ahmed Theory and Engineering of Complex Systems and Dependability: Proceedings of …, 2015 | 4 | 2015 |
| Test case generation for automotive applications M Tekaya, MT Bennani, A Youssef 2014 World Symposium on Computer Applications & Research (WSCAR), 1-6, 2014 | 4 | 2014 |
| Simautogen tool: test vector generation from large scale Matlab/Simulink models M Tekaya, MT Bennani, N Ebdelli, S Ben Ahmed Formal Techniques for Distributed Objects, Components, and Systems: 36th …, 2016 | 1 | 2016 |
| Équivalence entre Propriétes Simulink et Critères de Couverture de Test M Tekaya, MT Bennani, SB Ahmed, A Youssef CAL 10, 11, 2014 | | 2014 |
| Formal Syntactic and Semantic Models Verification in Aspect Oriented Design M Tekaya, MT Bennani, R Fouzai, N Machta, SB Ahmed | | |
