共 50 条
- [3] CodeSurfer/x86 - A platform for analyzing x86 executables COMPILER CONSTRUCTION, PROCEEDINGS, 2005, 3443 : 250 - 254
- [6] Model checking x86 executables with CodeSurfer/x86 and WPDS++ COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2005, 3576 : 158 - 163
- [9] Security Testing of Software on Embedded Devices Using x86 Platform COLLABORATE COMPUTING: NETWORKING, APPLICATIONS AND WORKSHARING, COLLABORATECOM 2016, 2017, 201 : 497 - 504