Karine Even-Mendoza

According to our database, Karine Even-Mendoza authored at least 13 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

SearchGEM5: Towards Reliable Gem5 with Search Based Software Testing and Large Language Models.

Aidan Dakhama, Karine Even-Mendoza, William B. Langdon, Héctor D. Menéndez, Justyna Petke

Proceedings of the Search-Based Software Engineering - 15th International Symposium, 2023

Enhancing Genetic Improvement Mutations Using Large Language Models.

Alexander E. I. Brownlee, James Callan, Karine Even-Mendoza, Alina Geiger, Carol Hanna, Justyna Petke, Federica Sarro, Dominik Sobania

Proceedings of the Search-Based Software Engineering - 15th International Symposium, 2023

StableYolo: Optimizing Image Generation for Large Language Models.

Harel Berger, Aidan Dakhama, Zishuo Ding, Karine Even-Mendoza, David Kelly, Héctor D. Menéndez, Rebecca Moussa, Federica Sarro

Proceedings of the Search-Based Software Engineering - 15th International Symposium, 2023

GrayC: Greybox Fuzzing of Compilers and Analysers for C.

Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian Cadar

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022

CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively.

Karine Even-Mendoza, Cristian Cadar, Alastair F. Donaldson

Empir. Softw. Eng., 2022

2020

Efficient SMT-based verification of software programs.

Karine Even-Mendoza

PhD thesis, 2020

Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour.

Karine Even-Mendoza, Cristian Cadar, Alastair F. Donaldson

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

Lattice-based SMT for program verification.

Karine Even-Mendoza, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

2018

Lattice-Based Refinement in Bounded Model Checking.

Karine Even-Mendoza, Sepideh Asadi, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Function Summarization Modulo Theories.

Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

2017

HiFrog: SMT-based Function Summarization for Software Verification.

Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Theory Refinement for Program Verification.

Antti E. J. Hyvärinen, Sepideh Asadi, Karine Even-Mendoza, Grigory Fedyukovich, Hana Chockler, Natasha Sharygina

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

2013

Finding rare numerical stability errors in concurrent computations.

Hana Chockler, Karine Even, Eran Yahav

Proceedings of the International Symposium on Software Testing and Analysis, 2013