共 50 条
- [41] A portable Co-Verification system which generates testbench automatically ICFPT 2007: INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY, PROCEEDINGS, 2007, : 345 - +
- [42] THE DEFENSE-DEPARTMENT EVALUATES A QUALITY CIRCLE PROGRAM TRAINING AND DEVELOPMENT JOURNAL, 1983, 37 (11): : 98 - 100
- [43] DEFLAKER: Automatically Detecting Flaky Tests PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2018, : 433 - 444
- [44] NOVEL CAD SOFTWARE GENERATES DSP COEFFICIENTS - PAINLESSLY EDN MAGAZINE-ELECTRICAL DESIGN NEWS, 1983, 28 (17): : 137 - &
- [45] HALMA: A CAD-program for synthesis and optimization of delay-constrained switching-circuits 1600, De Gruyter Oldenbourg (28):
- [47] CLP(χ) for automatically proving program properties JOURNAL OF LOGIC PROGRAMMING, 1998, 37 (1-3): : 77 - 93