FSA; Jermy Dick's method; formal specification; generator tool; stepwise refinement; test case; validation; verification;
机译:测试基于状态的正式规范的改进
机译:FLAME:一个用于通过自动规范测试验证的软件产品线自动化分析的正式框架
机译:形式化方法在基于逐步细化技术的信号系统中的应用
机译:通过正式规范生成的测试用例验证逐步改进
机译:从面向对象的规范到实现:正式的改进方法。
机译:无线传感器和Actor网络的混合连接性恢复算法的正式规范和验证
机译:基于逻辑公式逐步完善形式规范:从CO-OPN / 2规范到Java程序
机译:通过模型检查抽象形式规范生成软件测试