共 50 条
- [31] EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2023, 2023, 13994 : 541 - 546
- [32] HVLearn: Automated Black-box Analysis of Hostname Verification in SSL/TLS Implementations 2017 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP), 2017, : 521 - 538
- [33] Self-Improving Safety Performance of Reinforcement Learning Based Driving with Black-Box Verification Algorithms 2023 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, ICRA, 2023, : 5631 - 5637
- [38] Black-box testing based on colorful taint analysis Science China Information Sciences, 2012, 55 : 171 - 183
- [39] An Adversarial Attack Based on Multi-objective Optimization in the Black-Box Scenario: MOEA-APGA II INFORMATION AND COMMUNICATIONS SECURITY (ICICS 2019), 2020, 11999 : 603 - 612
- [40] Adaptive Scenario Subset Selection for Min-Max Black-Box Continuous Optimization PROCEEDINGS OF THE 2021 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE (GECCO'21), 2021, : 697 - 705