1. Automatically generating test cases for safety-critical software via symbolic execution;Journal of Systems and Software;2023-05
2. Automated Test Case Generation for Safety-Critical Software in Scade;2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP);2023-05
3. A regression testing approach for Lustre/SCADE programs;Proceedings of the Sixth International Symposium on Information and Communication Technology;2015-12-03
4. Automated test generation using model checking: an industrial evaluation;International Journal on Software Tools for Technology Transfer;2014-11-21
5. Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker;2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops;2013-03