Registers; Microprocessors; Tools; DSL; Syntactics; Maintenance engineering; Instruction sets;
机译:来自营销后售后质量采样和测试计划的药长规范和分析数据:超越规范结果的视角
机译:使用基于规范的测试技术为面向对象的程序生成测试用例
机译:TestEra:使用SAT的基于规范的Java程序测试
机译:在MicroTESK测试程序生成器中维护ISA规范
机译:基于规范的结构测试覆盖标准作为安全关键系统的测试数据生成器的有效性。
机译:胃肠道转录因子驱动器官规范和癌症中特定于世系的发育程序
机译:MicroTESK:用于微处理器的基于ADL的可重配置测试程序生成器