共 50 条
- [31] Efficient Large-scale Trace Checking Using MapReduce 2016 IEEE/ACM 38TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2016, : 888 - 898
- [33] Experiences from Large-Scale Model Checking: Verifying a Vehicle Control System with NuSMV 2021 14TH IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2021), 2021, : 372 - 382
- [34] PHASE TRANSITION AND REGULARIZED BOOTSTRAP IN LARGE-SCALE t-TESTS WITH FALSE DISCOVERY RATE CONTROL ANNALS OF STATISTICS, 2014, 42 (05): : 2003 - 2025
- [35] CONDITIONAL CALIBRATION FOR FALSE DISCOVERY RATE CONTROL UNDER DEPENDENCE ANNALS OF STATISTICS, 2022, 50 (06): : 3091 - 3118
- [37] More powerful control of the false discovery rate under dependence Statistical Methods and Applications, 2006, 15 (1): : 43 - 73