Cited By
View all- Orvalho PJanota MManquinho V(2024)cfaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test CasesFormal Methods10.1007/978-3-031-71162-6_24(463-481)Online publication date: 9-Sep-2024
- Reinhard TFasse JJacobs BFerrara PHadarean L(2023)Completeness Thresholds for Memory Safety of Array Traversing ProgramsProceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis10.1145/3589250.3596143(47-54)Online publication date: 6-Jun-2023
- Brauckmann APolgreen EGrosser TO'Boyle M(2023)mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR Using Program Synthesis2023 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT)10.1109/PACT58117.2023.00012(39-50)Online publication date: 21-Oct-2023
- Show More Cited By