Author:
Bouissou Olivier,Chapoutot Alexandre
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Detecting Simulink compiler bugs via controllable zombie blocks mutation;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07
2. Lie symmetries applied to interval integration;Automatica;2022-10
3. A Contract-Based Semantics and Refinement for Simulink;Dependable Software Engineering. Theories, Tools, and Applications;2022
4. Compositional Verification of Simulink Block Diagrams Using tock-$$CSP$$ and CSP-Prover;Lecture Notes in Computer Science;2022
5. SLEMI;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27