VMHunt: A Verifiable Approach to Partially-Virtualized Binary Code Simplification
AEG: Automatic Exploit Generation
Accuracy of electronic apex locators to detect root canal perforations with inserted metallic posts: an ex vivo study