1. “Testing Can Be Formal Too”: 30 Years Later;The French School of Programming;2023-10-11
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. Property-Based Test Case Generators for Free;Tests and Proofs;2019
4. Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts;Testing Software and Systems;2019
5. Testing Multi-Threaded Applications Using Answer Set Programming;International Journal of Software Engineering and Knowledge Engineering;2018-08