共 50 条
- [41] Model checking C plus plus programs SOFTWARE TESTING VERIFICATION & RELIABILITY, 2022, 32 (01):
- [42] FuzzBuilder: Automated building greybox fuzzing environment for C/C plus plus library 35TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE (ACSA), 2019, : 627 - 637
- [43] RADAR: A Tool for Debugging Regression Problems in C/C plus plus Software PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013), 2013, : 1335 - 1338
- [44] Model Checking of C and C plus plus with DIVINE 4 AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2017), 2017, 10482 : 201 - 207
- [45] The Control Toolbox - An Open-Source C plus plus Library for Robotics, Optimal and Model Predictive Control 2018 IEEE INTERNATIONAL CONFERENCE ON SIMULATION, MODELING, AND PROGRAMMING FOR AUTONOMOUS ROBOTS (SIMPAR), 2018, : 123 - 129
- [48] JIRL - A C plus plus Library for JPEG Compressed Domain Image Retrieval 2012 IEEE INTERNATIONAL SYMPOSIUM ON MULTIMEDIA (ISM), 2012, : 210 - 213
- [50] HPTT: A High-Performance Tensor Transposition C plus plus Library ARRAY'17: PROCEEDINGS OF THE 4TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON LIBRARIES, LANGUAGES, AND COMPILERS FOR ARRAY PROGRAMMING, 2017, : 56 - 62