Karine Even Mendoza|Karine Even, Even Mendoza Karine

Karine Even Mendoza|Karine Even, Even Mendoza Karine

King's College London - London / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 5210941
person_outline Karine Even Mendoza|Karine Even, Even Mendoza Karine's MOST POPULAR ARTICLES
1-) GrayC: Greybox Fuzzing of Compilers and Analysers for CK Even-Mendoza, A Sharma, AF Donaldson, C CadarISSTA 2023, 17-21 July, 2023, Seattle, USA: The ACM SIGSOFT International …, 2023302023
2-) HiFrog: SMT-based Function Summarization for Software VerificationL Alt, S Asadi, H Chockler, K Even-Mendoza, G Fedyukovich, ...International Conference on Tools and Algorithms for the Construction and …, 2017292017
3-) Enhancing Genetic Improvement Mutations Using Large Language ModelsA Brownlee, J Callan, K Even-Mendoza, A Geiger, C Hanna, J Petke, ...15th Symposium on Search Based Software Engineering (SSBSE): Lecture Notes …, 2023192023
4-) Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined BehaviourK Even-Mendoza, C Cadar, AF DonaldsonIEEE/ACM International Conference on Automated Software Engineering, New …, 2020182020
5-) CSMITHEDGE: More Effective Compiler Testing by Handling Undefined Behaviour Less ConservativelyK Even-Mendoza, C Cadar, AF DonaldsonEmpirical Software Engineering 27 (6), 35, 2022172022