共 50 条
- [3] On efficiency and optimization of C++ programs SOFTWARE-PRACTICE & EXPERIENCE, 1996, 26 (04): : 453 - 465
- [4] C Wolf - A toolset for extracting models from C programs FORMAL TECHNIQUE FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2002, PROCEEDINGS, 2002, 2529 : 260 - 275
- [7] A TEST VERIFICATION TOOL FOR C AND C++ PROGRAMS HEWLETT-PACKARD JOURNAL, 1991, 42 (02): : 83 - 92
- [10] An automatic defect detection for C++ programs Advanced Reliability Modeling, 2004, : 419 - 426