Karine Even-Mendoza

Registered user since Thu 6 Aug 2020

Name: Karine Even-Mendoza

Country: United Kingdom

Affiliation: Imperial College London

Personal website: https://srg.doc.ic.ac.uk/people/karine-evenmendoza/

Research interests: Model checking, software verification and testing

Contributions

ASE 2020Author of Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour within the NIER track-track