
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 2020 | Author of Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour within the NIER track-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ASE 2020-profile
View general profile
View general profile