Comput. Sci. Dept., Brigham Young Univ. Provo, Provo, UT;
formal specification; object-oriented programming; abstract-concrete model; concurrency; data abstraction; error prone process; high level specification; model based testing; model checker; model checking; predicate abstraction; refinement condition; run time environment; software component; software environment; source code; symbolic execution; test case generation; Abstraction; Component Based Software;
机译:使用模型检查来验证事件驱动软件的环境生成
机译:可靠性驱动的汽车软件部署基于参数化概率模型检查
机译:基于模型检查和基于模型的工业软件开发测试
机译:使用模型检查部署到新环境中的软件组件的测试案例
机译:特定领域的环境生成,用于模块化软件模型检查
机译:考虑故障排除效率和错误产生的测试覆盖软件可靠性模型
机译:用于软件组件模型检查的规范和环境的生成
机译:软件模型检测的自动环境生成