Karine Even-Mendoza

Cited by

	All	Since 2020
Citations	173	150
h-index	8	7
i10-index	7	6

2014201520162017201820192020202120222023202420252 2 5 6 8 11 8 12 23 84 12

Public access

View all

14 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Hana ChocklerKing's College LondonVerified email at kcl.ac.uk
Justyna PetkeProfessor of Software Engineering, University College London, United KingdomVerified email at ucl.ac.uk
Antti E. J. HyvärinenSenior Research Scientist, CertoraVerified email at certora.com
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
Cristian CadarImperial College LondonVerified email at imperial.ac.uk
Alastair DonaldsonImperial College LondonVerified email at imperial.ac.uk
Sepideh AsadiUniversita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
Grigory FedyukovichFlorida State UniversityVerified email at cs.fsu.edu
Héctor D. MenéndezKing's College LondonVerified email at kcl.ac.uk
Aidan DakhamaKing's College LondonVerified email at kcl.ac.uk
Federica SarroProfessor, University College LondonVerified email at ucl.ac.uk
Arindam SharmaPhD candidate, Imperial College LondonVerified email at imperial.ac.uk
Alina GeigerResearch Assistant, Johannes Gutenberg University MainzVerified email at uni-mainz.de
Dominik SobaniaResearcher, Johannes Gutenberg University MainzVerified email at uni-mainz.de
Carol HannaUniversity College LondonVerified email at ucl.ac.uk
James CallanPhD Student, University College LondonVerified email at ucl.ac.uk
Alexander E.I. BrownleeSenior Lecturer, University of Stirling, previously Loughborough, Robert GordonVerified email at cs.stir.ac.uk
w b langdonUCLVerified email at cs.ucl.ac.uk
Eran YahavTechnion, IsraelVerified email at cs.technion.ac.il
Martin BlichaPostdoc at Università della Svizzera italiana, Lugano, SwitzerlandVerified email at usi.ch

Karine Even-Mendoza

Other namesKarine Even, Even Mendoza Karine

King's College London

Verified email at kcl.ac.uk - Homepage

Software Verification Programming Languages Testing Model Checking Compilers


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	32	2023
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	29	2017
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	25	2023
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	18	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	17	2022
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	11	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	10	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	6	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
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	3	2023
Efficient SMT-Based Verification of Software Programs K Even Mendoza King’s College London, 2020	3	2020
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
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	1	2025
Search+ LLM-based Testing for ARM Simulators K Even-Mendoza, HD Menéndez, W Langdon, A Dakhama, J Petke, ... IEEE/ACM, 2025	1	2025
Accelerating Quantum Eigensolver Algorithms With Machine Learning A Bensoussan, E Chachkarova, K Even-Mendoza, S Fortz, C Lenihan arXiv preprint arXiv:2409.13587, 2024	1	2024
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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors