Cited By
View all- Jain RTihanyi NNdhlovu MFerrag MCordeiro Ld'Amorim M(2024)Rapid Taint Assisted Concolic Execution (TACE)Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering10.1145/3663529.3663812(627-631)Online publication date: 10-Jul-2024
- Peled MRothenberg BItzhaky S(2023)SMT Sampling via Model-Guided ApproximationFormal Methods10.1007/978-3-031-27481-7_6(74-91)Online publication date: 3-Mar-2023
- Kind CCoelho JKind BPereira F(2022)Geração Automática de Benchmarks para Compilação PreditivaProceedings of the XXVI Brazilian Symposium on Programming Languages10.1145/3561320.3561323(59-67)Online publication date: 6-Oct-2022
- Show More Cited By