Seuraa
Karine Even-Mendoza
Karine Even-Mendoza
Muut nimetKarine Even, Even Mendoza Karine
King's College London
Vahvistettu sähköpostiosoite verkkotunnuksessa kcl.ac.uk - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
332023
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
292017
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
262023
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
192020
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
182022
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
112023
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
102017
Function Summarization Modulo Theories.
S Asadi, M Blicha, G Fedyukovich, AEJ Hyvärinen, K Even-Mendoza, ...
LPAR, 56-75, 2018
82018
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
62023
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
52013
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
32023
Efficient SMT-Based Verification of Software Programs
K Even Mendoza
King’s College London, 2020
32020
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
32018
Large language model based mutations in genetic improvement
AEI Brownlee, J Callan, K Even-Mendoza, A Geiger, C Hanna, J Petke, ...
Automated Software Engineering 32 (1), 15, 2025
12025
Search+ LLM-based Testing for ARM Simulators
K Even-Mendoza, HD Menéndez, W Langdon, A Dakhama, J Petke, ...
IEEE/ACM, 2025
12025
Accelerating Quantum Eigensolver Algorithms With Machine Learning
A Bensoussan, E Chachkarova, K Even-Mendoza, S Fortz, C Lenihan
arXiv preprint arXiv:2409.13587, 2024
12024
Search+ LLM-based Testing for ARM Simulators
BR Bruce, A Dakhama, K Even-Mendoza, WB Langdon, HD Menendez, ...
ICSE SEIP 2025, 2024
2024
Enhancing Search-Based Testing with LLMs for Finding Bugs in System Simulators
A Dakhama, K Even-Mendoza, WB Langdon, HD Menéndez, J Petke
2024
Message from the Artifact Evaluation Chairs
K Even-Mendoza, R Monat
Leibniz International Proceedings in Informatics, LIPIcs 313, 2024
2024
Proceedings of the Special Issue of the 38th European Conference on Object-Oriented Programming (ECOOP 2024)
K Even-Mendoza, R Monat
Schloss Dagstuhl–Leibniz-Zentrum für Informatik 10, 1-12, 2024
2024
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20