共 50 条
- [3] Automatic generation of symbolic model for parameterized synchronous systems [J]. Journal of Computer Science and Technology, 2004, 19 : 812 - 819
- [5] A system for automatic test generation [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1995, 21 (06) : 288 - 292
- [6] Automatic test generation with AGATHA [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2003, 2619 : 591 - 596
- [7] Automatic Test Packet Generation [J]. IEEE-ACM TRANSACTIONS ON NETWORKING, 2014, 22 (02) : 554 - 566
- [9] Automatic test pattern generation [J]. FORMAL METHODS FOR HARDWARE VERIFICATION, 2006, 3965 : 30 - 55