共 50 条
- [21] Bounded Model Checking of C plus plus Programs Based on the Qt Framework 2015 IEEE 4TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS (GCCE), 2015, : 179 - 180
- [22] A Resizable C plus plus Container using Virtual Memory PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), 2021, : 481 - 488
- [23] On Design Inference from Binaries Compiled using Modern C plus plus Defenses PROCEEDINGS OF THE 22ND INTERNATIONAL SYMPOSIUM ON RESEARCH IN ATTACKS, INTRUSIONS AND DEFENSES, 2019, : 17 - 30
- [24] DeClassifier: Class-Inheritance Inference Engine for Optimized C plus plus Binaries PROCEEDINGS OF THE 2019 ACM ASIA CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (ASIACCS '19), 2019, : 28 - 40
- [25] Towards a C plus plus -based design methodology facilitating sequential equivalence checking 43RD DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2006, 2006, : 93 - +
- [27] Static call graph generator for C plus plus using debugging information 14TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2007, : 127 - +
- [28] CFIXX: Object Type Integrity for C plus 25TH ANNUAL NETWORK AND DISTRIBUTED SYSTEM SECURITY SYMPOSIUM (NDSS 2018), 2018,
- [29] BinaryRTS: Cross-language Regression Test Selection for C plus plus Binaries in CI 2023 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST, 2023, : 327 - 338
- [30] hpnmg: A C plus plus Tool for Model Checking Hybrid Petri Nets with General Transitions NASA FORMAL METHODS (NFM 2020), 2020, 12229 : 369 - 378