SYN-Sequence Selection Strategy for Testing Concurrent Programs Based on Little Strong Happened-Before

著录项

• 来源
  《武汉大学学报：自然科学英文版》 |2009年第004期|317-320|共4页
• 作者

  PU Fangli; LU Yansheng;

  展开▼
• 作者单位

  College;

  of;

  Computer;

  Science;

  and;

  Technology,;

  HuazhongUniversity;

  of;

  Science;

  and;

  Technology,;

  Wuhan;

  430074,;

  Hubei,China;

  展开▼
• 收录信息
• 原文格式 PDF
• 正文语种 CHI
• 中图分类 TP311.52;
• 关键词

  同步序列; 并发程序; 选择策略; 测试; 风流; 废热锅炉; 血红蛋白; 综合征;

  机译：同步序列;并发程序;选择策略;测试;风流;废热锅炉;血红蛋白;综合征;
• 入库时间 2022-08-19 04:15:40