共 29 条
- [4] A METHOD OF DERIVING MINIMAL COMPLETE SETS OF TEST INPUT SEQUENCES USING BOOLEAN DIFFERENCES IEEE COMPUTER GROUP NEWS, 1970, 3 (03): : 18 - &
- [5] On the lengths of protocol conformance test sequences using minimal input sets for UIOs COMPUTER APPLICATIONS IN INDUSTRY AND ENGINEERING, 2001, : 125 - 129
- [7] The derivation of minimal test sets for combinational logic circuits using Genetic Algorithms 40TH MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1 AND 2, 1998, : 39 - 42
- [8] Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT I, 2017, 10205 : 301 - 318