共 50 条
- [24] On test generation by input cube avoidance 2007 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2007, : 522 - +
- [29] Approaching the Soundness Barrier: A Near Optimal Analysis of the Cube versus Cube Test PROCEEDINGS OF THE 2023 ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, SODA, 2023, : 2761 - 2776