Finding rare numerical stability errors in concurrent computations. - Hana Chockler; Karine Even; Eran Yahav (ISSTA, 2013)

Theory Refinement for Program Verification. - Antti E. J. Hyvärinen; Sepideh Asadi; Karine Even-Mendoza; Grigory Fedyukovich; Hana Chockler; Natasha Sharygina (SAT, 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 (TACAS (2), 2017)

Function Summarization Modulo Theories. - Sepideh Asadi; Martin Blicha; Grigory Fedyukovich; Antti E. J. Hyvärinen; Karine Even-Mendoza; Natasha Sharygina; Hana Chockler (LPAR, 2018)

Lattice-Based Refinement in Bounded Model Checking. - Karine Even-Mendoza; Sepideh Asadi; Antti E. J. Hyvärinen; Hana Chockler; Natasha Sharygina (VSTTE, 2018)

Lattice-based SMT for program verification. - Karine Even-Mendoza; Antti E. J. Hyvärinen; Hana Chockler; Natasha Sharygina (MEMOCODE, 2019)

Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour. - Karine Even-Mendoza; Cristian Cadar; Alastair F. Donaldson (ASE, 2020)

Efficient SMT-based verification of software programs. - Karine Even-Mendoza (2020)

CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively. - Karine Even-Mendoza; Cristian Cadar; Alastair F. Donaldson (Empir. Softw. Eng., 2022)

GrayC: Greybox Fuzzing of Compilers and Analysers for C. - Karine Even-Mendoza; Arindam Sharma; Alastair F. Donaldson; Cristian Cadar (ISSTA, 2023)

StableYolo: Optimizing Image Generation for Large Language Models. - Harel Berger; Aidan Dakhama; Zishuo Ding; Karine Even-Mendoza; David A. Kelly; Héctor D. Menéndez 001; Rebecca Moussa; Federica Sarro (SSBSE, 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 (SSBSE, 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 001; Justyna Petke (SSBSE, 2023)

Accelerating Quantum Eigensolver Algorithms With Machine Learning. - Avner Bensoussan; Elena Chachkarova; Karine Even-Mendoza; Sophie Fortz; Connor Lenihan (CoRR, 2024)

Front Matter, Table of Contents, Preface, Conference Organization. - Karine Even-Mendoza; Raphaël Monat (Dagstuhl Artifacts Ser., 2024)

Artifact of Search+LLM-based Testing for ARM Simulators. - Karine Even-Mendoza; Héctor D. Menéndez 001; William B. Langdon; Aidan Dakhama; Justyna Petke; Bobby R. Bruce (Zenodo, 2024)

Artifact of Search+LLM-based Testing for ARM Simulators. - Bobby R. Bruce; Aidan Dakhama; Karine Even-Mendoza; William B. Langdon; Héctor Menéndez 001; Justyna Petke (Zenodo, 2024)

Artifact of Search+LLM-based Testing for ARM Simulators. - Bobby R. Bruce; Aidan Dakhama; Karine Even-Mendoza; William B. Langdon; Héctor Menéndez 001; Justyna Petke (Zenodo, 2024)

Artifact of Search+LLM-based Testing for ARM Simulators. - Bobby R. Bruce; Aidan Dakhama; Karine Even-Mendoza; William B. Langdon; Héctor Menéndez 001; Justyna Petke (Zenodo, 2024)

Artifact of Search+LLM-based Testing for ARM Simulators. - Karine Even-Mendoza; Héctor Menéndez 001; William B. Langdon; Aidan Dakhama; Justyna Petke; Bobby R. Bruce (Zenodo, 2024)

Search+LLM-Based Testing for ARM Simulators. - Karine Even-Mendoza; Héctor D. Menéndez 001; William B. Langdon; Aidan Dakhama; Justyna Petke; Bobby R. Bruce (SEIP@ICSE, 2025)

Front Matter, Table of Contents, Preface, Conference Organization. - Karine Even-Mendoza; Raphaël Monat; Yannick Zakowski (Dagstuhl Artifacts Ser., 2025)

Artifact of Search+LLM-based Testing for ARM Simulators. - Karine Even-Mendoza; Héctor D. Menéndez 001; William B. Langdon; Aidan Dakhama; Justyna Petke; Bobby R. Bruce (Zenodo, 2025)

Artifact of Search+LLM-based Testing for ARM Simulators. - Karine Even-Mendoza; Héctor D. Menéndez 001; William B. Langdon; Aidan Dakhama; Justyna Petke; Bobby R. Bruce (Zenodo, 2025)

Artifact of Search+LLM-based Testing for ARM Simulators. - Karine Even-Mendoza; Héctor D. Menéndez 001; William B. Langdon; Aidan Dakhama; Justyna Petke; Bobby R. Bruce (Zenodo, 2025)

Artifact of Search+LLM-based Testing for ARM Simulators. - Karine Even-Mendoza; Héctor D. Menéndez 001; William B. Langdon; Aidan Dakhama; Justyna Petke; Bobby R. Bruce (Zenodo, 2025)

Artifact of Search+LLM-based Testing for ARM Simulators. - Karine Even-Mendoza; Héctor Menéndez 001; William B. Langdon; Aidan Dakhama; Justyna Petke; Bobby R. Bruce (Zenodo, 2025)

Large language model based mutations in genetic improvement. - Alexander E. I. Brownlee; James Callan; Karine Even-Mendoza; Alina Geiger; Carol Hanna; Justyna Petke; Federica Sarro; Dominik Sobania (Autom. Softw. Eng., 2025)

ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs. - Iti Shree; Karine Even-Mendoza; Tomasz Radzik (CoRR, 2025)

Enhancing search-based testing with LLMs for finding bugs in system simulators. - Aidan Dakhama; Karine Even-Mendoza; William B. Langdon; Héctor D. Menéndez 001; Justyna Petke (Autom. Softw. Eng., 2025)