HiFrog: SMT-based Function Summarization for Software Verification L Alt, S Asadi, H Chockler, K Even-Mendoza, G Fedyukovich, ... International Conference on Tools and Algorithms for the Construction and …, 2017 | 28 | 2017 |
Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour K Even-Mendoza, C Cadar, AF Donaldson IEEE/ACM International Conference on Automated Software Engineering, New …, 2020 | 16 | 2020 |
CSMITHEDGE: More Effective Compiler Testing by Handling Undefined Behaviour Less Conservatively K Even-Mendoza, C Cadar, AF Donaldson Empirical Software Engineering 27 (6), 35, 2022 | 15 | 2022 |
Enhancing Genetic Improvement Mutations Using Large Language Models A Brownlee, J Callan, K Even-Mendoza, A Geiger, C Hanna, J Petke, ... 15th Symposium on Search Based Software Engineering (SSBSE): Lecture Notes …, 2023 | 13 | 2023 |
GrayC: Greybox Fuzzing of Compilers and Analysers for C K Even-Mendoza, A Sharma, AF Donaldson, C Cadar ISSTA 2023, 17-21 July, 2023, Seattle, USA: The ACM SIGSOFT International …, 2023 | 13 | 2023 |
Theory refinement for program verification AEJ Hyvärinen, S Asadi, K Even-Mendoza, G Fedyukovich, H Chockler, ... Theory and Applications of Satisfiability Testing–SAT 2017: 20th …, 2017 | 9 | 2017 |
Function Summarization Modulo Theories. S Asadi, M Blicha, G Fedyukovich, AEJ Hyvärinen, K Even-Mendoza, ... LPAR, 56-75, 2018 | 8 | 2018 |
StableYolo: Optimizing Image Generation for Large Language Models H Berger, A Dakhama, Z Ding, K Even-Mendoza, D Kelly, H Menendez, ... 15th Symposium on Search Based Software Engineering (SSBSE): Lecture Notes …, 2023 | 5 | 2023 |
Finding rare numerical stability errors in concurrent computations H Chockler, K Even, E Yahav Proceedings of the 2013 International Symposium on Software Testing and …, 2013 | 5 | 2013 |
SearchGEM5: Towards Reliable Gem5 with Search Based Software Testing and Large Language Models A Dakhama, K Even-Mendoza, WB Langdon, H Menendez, J Petke 15th Symposium on Search Based Software Engineering (SSBSE): Lecture Notes …, 2023 | 3 | 2023 |
Lattice-based refinement in bounded model checking K Even-Mendoza, S Asadi, AEJ Hyvärinen, H Chockler, N Sharygina Verified Software. Theories, Tools, and Experiments: 10th International …, 2018 | 3 | 2018 |
Artifact of GrayC: Greybox Fuzzing of Compilers and Analysers for C K Even-Mendoza, A Sharma, AF Donaldson, C Cadar Version GrayC-ISSTA-2023-V1. 0. GitHub Repository of GrayC: https://github …, 2023 | 2 | 2023 |
Efficient SMT-Based Verification of Software Programs K Even Mendoza King’s College London, 2020 | 2 | 2020 |
Large Language Model Based Mutations in Genetic Improvement AEI Brownlee, J Callan, K Even-Mendoza, A Geiger, C Hanna, J Petke, ... | | 2024 |
Artifact of GrayC: Greybox Fuzzing of Compilers and Analysers for C K Even-Mendoza, A Sharma, AF Donaldson, C Cadar https://zenodo.org/records/7978251, 2023 | | 2023 |
Lattice-based SMT for program verification K Even-Mendoza, AEJ Hyvärinen, H Chockler, N Sharygina Proceedings of the 17th ACM-IEEE International Conference on Formal Methods …, 2019 | | 2019 |
Finding rare numerical stability errors in concurrent computations K Even, E Yahav, H Chockler Computer Science Department, Technion, 2013 | | 2013 |