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 | |||||||||||||||||||||||||||||||||||||||||
Using general profile