机译:结合测试用例生成和运行时验证
automated testing; test case generation; model checking; symbolic execution; runtime verification; temporal logic; concurrency analysis; NASA rover controller; PROGRAMS; CHECKING; MONITORS;
机译:结合测试用例生成和运行时验证
机译:代理监视器:运行时验证与被动一致性测试的集成
机译:结合软件和硬件测试生成方法来验证VHDL模型
机译:结合测试和运行时验证技术
机译:将静态分析和运行时分析相结合,以验证和测试多线程程序。
机译:基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
机译:结合测试用例生成和运行时验证