Author:
Brummayer Robert,Biere Armin
Cited by
55 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Evaluation of the fixed‐point iteration of minimizing delta debugging;Journal of Software: Evolution and Process;2024-06-23
2. MuFuzz: Sequence-Aware Mutation and Seed Mask Guidance for Blockchain Smart Contract Fuzzing;2024 IEEE 40th International Conference on Data Engineering (ICDE);2024-05-13
3. SMT Solver Validation Empowered by Large Pre-Trained Language Models;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
4. HornFuzz: Fuzzing CHC solvers;Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering;2023-06-14
5. Detecting Logic Bugs of Join Optimizations in DBMS;Proceedings of the ACM on Management of Data;2023-05-26