Cited By
View all- Fan YRegehr JGrosser TDubach CSteuwer MXue JOttoni GQuintão Pereira F(2024)High-Throughput, Formal-Methods-Assisted Fuzzing for LLVMProceedings of the 2024 IEEE/ACM International Symposium on Code Generation and Optimization10.1109/CGO57630.2024.10444854(349-358)Online publication date: 2-Mar-2024
- Viganò ECornejo OPastore FBriand LGrundy J(2023)DaMAT: A Data-Driven Mutation Analysis ToolProceedings of the 45th International Conference on Software Engineering: Companion Proceedings10.1109/ICSE-Companion58688.2023.00047(165-169)Online publication date: 14-May-2023
- Vercammen SDemeyer SBorg M(2023)F-ASTMut mutation optimisations techniques using the Clang front-endSoftware Impacts10.1016/j.simpa.2023.10050016(100500)Online publication date: May-2023
- Show More Cited By