Karine Even-Mendoza
Karine Even-Mendoza
Verified email at imperial.ac.uk - Homepage
Cited by
Cited by
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
Theory Refinement for Program Verification
AEJ Hyvärinen, S Asadi, K Even-Mendoza, G Fedyukovich, H Chockler, ...
International Conference on Theory and Applications of Satisfiability …, 2017
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
Function Summarization Modulo Theories.
S Asadi, M Blicha, G Fedyukovich, AEJ Hyvärinen, K Even-Mendoza, ...
LPAR, 56-75, 2018
Lattice-Based Refinement in Bounded Model Checking
K Even-Mendoza, S Asadi, AEJ Hyvärinen, H Chockler, N Sharygina
Working Conference on Verified Software: Theories, Tools, and Experiments, 50-68, 2018
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
Efficient SMT-Based Verification of Software Programs
K Even Mendoza
King’s College London, 2020
Lattice-based SMT for program verification
K Even-Mendoza, AEJ Hyvärinen, H Chockler, N Sharygina
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods …, 2019
Finding rare numerical stability errors in concurrent computations
K Even, E Yahav, H Chockler
Computer Science Department, Technion, 2013
The system can't perform the operation now. Try again later.
Articles 1–9