共 50 条
- [31] Synthesizing adaptive test strategies from temporal logic specifications Formal Methods in System Design, 2019, 55 : 103 - 135
- [32] Autolink - A tool for automatic test generation from SDL specifications 2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 114 - 125
- [33] From Object-Z specifications to ClassBench test suites SOFTWARE TESTING VERIFICATION & RELIABILITY, 2000, 10 (02): : 111 - 137
- [34] KVEST: Automated generation of test suites from formal specifications FM'99-FORMAL METHODS, 1999, 1708 : 608 - 621
- [37] TEST GENERATION FROM BOUNDED ALGEBRAIC SPECIFICATIONS USING ALLOY ICSOFT 2011: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATABASE TECHNOLOGIES, VOL 2, 2011, : 192 - 200
- [38] Generating test data from state-based specifications SOFTWARE TESTING VERIFICATION & RELIABILITY, 2003, 13 (01): : 25 - 53
- [40] Executable Test Case Generation from Specifications Written in Natural Language and Test Execution Environment 2021 IEEE 18TH ANNUAL CONSUMER COMMUNICATIONS & NETWORKING CONFERENCE (CCNC), 2021,