共 50 条
- [4] DEBUGGING C-PROGRAMS WITH THE BLIT [J]. AT&T BELL LABORATORIES TECHNICAL JOURNAL, 1984, 63 (08): : 1633 - 1647
- [5] Detecting Exception Handling Bugs in C plus plus Programs [J]. 2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE, 2023, : 1084 - 1095
- [6] PORTABILITY OF C-PROGRAMS AND UNIX SYSTEM [J]. BELL SYSTEM TECHNICAL JOURNAL, 1978, 57 (06): : 2021 - 2048
- [7] A REVERSE ENGINEERING MODEL FOR C-PROGRAMS [J]. INFORMATION SCIENCES, 1993, 68 (1-2) : 155 - 189
- [9] Formal Architecture Modeling of Sequential C-Programs [J]. FORMAL ASPECTS OF COMPONENT SOFTWARE, 2016, 9539 : 312 - 329