共 50 条
- [8] Data-driven Verification of Synthetic Gene Networks [J]. 2013 IEEE 52ND ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2013, : 4074 - 4079
- [10] DaMAT: A Data-driven Mutation Analysis Tool [J]. 2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION, 2023, : 165 - 169