机译:具有标记事件结构的并发系统的基于模型的测试
INRIA and LSV École Normale SupÉrieure de Cachan Cachan Cedex France;
CNRS Grenoble France;
INRIA and LSV École Normale SupÉrieure de Cachan Cachan Cedex France;
CNRS Grenoble France;
UniversitÉ Paris-Sud Orsay France;
model-based testing; true concurrency; conformance relation; event structures; strong concurrency; weak concurrency;
机译:并发系统的基于模型的测试:基于展开的测试选择
机译:使用系统实体结构的MATLAB / Simulink模型基于模型的测试方法
机译:具有谓词排序约束的并发程序的基于模型的测试
机译:使用事件结构为并发系统生成测试用例
机译:CDSSpec:在C / C ++ 11内存模型下测试并发数据结构
机译:基于模型的仿真器用于测试ARDS患者的机械通气的基于规则的决策支持系统。
机译:使用事件结构生成并发系统的测试用例