共 50 条
- [31] Witter: A Library for White-Box Testing of Introductory Programming Algorithms PROCEEDINGS OF THE 2023 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON SPLASH-E, SPLASH-E 2023, 2023, : 69 - 74
- [32] TETRABox - A Generic White-Box Testing Framework for Model Transformations 2013 20TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2013), VOL 1, 2013, : 75 - 82
- [33] Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution 2015 IEEE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2015,
- [35] White-Box Mutation Testing of Smart Contracts: A Quick Review VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, VECOS 2023, 2024, 14368 : 135 - 148
- [36] Whispec: White-box testing of libraries using declarative specifications LCSD - Proc. ACM SIGPLAN Symp. Libr.-Cent. Softw. Des., (11-20):
- [37] Grammar-Based White-Box Testing via Automated Constraint Path Generation EMERGING TECHNOLOGIES IN DATA MINING AND INFORMATION SECURITY, IEMIS 2018, VOL 1, 2019, 755 : 65 - 77
- [38] Aesop: White-Box Best-First Proof Search for Lean PROCEEDINGS OF THE 12TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2023, 2023, : 253 - 266
- [39] White-Box Traceable Dynamic Attribute Based Encryption 2017 INTERNATIONAL CONFERENCE ON SECURITY, PATTERN ANALYSIS, AND CYBERNETICS (SPAC), 2017, : 526 - 530
- [40] LPN-based Attacks in the White-box Setting IACR Transactions on Cryptographic Hardware and Embedded Systems, 2023, 2023 (04): : 318 - 343