发布文献求助
已入深夜，您辛苦了！由于当前在线用户较少，发布求助请尽量完整地填写文献信息，科研通机器人24小时在线，伴您度过漫漫科研夜！祝你早点完成任务，早点休息，好梦！
已完结
  • 文献求助详情
标题
Effective Concurrency Testing for Go via Directional Primitive-Constrained Interleaving Exploration
基于方向图元约束交织探索的Go有效并发测试
相关领域
并发 计算机科学 交错 并行面向对象编程 调试 并行计算 程序设计语言 分布式计算 软件错误 程序设计范式 操作系统 软件 反应式程序设计 归纳程序设计
网址
https://doi.org/10.1109/ase56229.2023.00086
DOI
10.1109/ase56229.2023.00086 doi
其它 期刊：
作者：Zongze Jiang; Ming Wen; Yixin Yang; Chao Peng; Ping Yang; et al
出版日期：2023-09-11
求助人
悦耳凌柏 在 2025-12-02 22:49:10 发布自辽宁，悬赏 10 积分
下载 求助已完成，仅限求助人下载。
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
提交工单
相关文献
  1. Learning from mistakes
  2. Learning from mistakes
  3. Learning from Mistakes --- A Comprehensive Study on Real World Concurrency Bug Characteristics. In t...
  4. Learning from mistakes
  5. A software environment for concurrent coordinated programming
  6. Specific proposals for the use of petri nets in a concurrent programming course
  7. Adding high-level concurrency to EScala
  8. Handling exceptions in programs with hidden concurrency: New challenges for old solutions
  9. Programming concurrency and synchronisation in Actel
  10. Specific proposals for the use of petri nets in a concurrent programming course
　...点击展开更多...　
该求助已完结，感谢关注
如需该文献，请重新发布求助，前往发布
不忘初心，牢记使命，为科研工作者服务
请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习
更新
PDF的下载单位、IP信息已删除 (2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
kentonchow的应助被科研通管家采纳，获得100
刚刚
kentonchow的应助被科研通管家采纳，获得100
刚刚
Owen的应助被科研通管家采纳，获得10
刚刚
核桃的应助被科研通管家采纳，获得10
刚刚
刚刚
脑洞疼的应助被科研通管家采纳，获得10
刚刚
干净的海云完成签到 ，获得积分10
1秒前
1秒前
共享精神的应助被清脆的大开采纳，获得10
2秒前
小乔发布了新的文献求助10
3秒前
俭朴舞仙完成签到，获得积分10
4秒前
4秒前
4秒前
现代丹亦发布了新的文献求助20
4秒前
烟花的应助被无心的老五采纳，获得10
5秒前
Owen的应助被快乐傲南采纳，获得10
5秒前
SciGPT的应助被lll采纳，获得10
7秒前
王博林发布了新的文献求助10
11秒前
morena的应助被672采纳，获得30
11秒前
12秒前
领导范儿的应助被Dora采纳，获得10
12秒前
he完成签到，获得积分10
13秒前
TT完成签到，获得积分20
16秒前
16秒前
Lucas的应助被小屁孩采纳，获得10
16秒前
18秒前
酷波er的应助被wdsgkfjhn采纳，获得10
19秒前
19秒前
绿毛怪完成签到，获得积分10
20秒前
20秒前
21秒前
21秒前
油柑美式发布了新的文献求助10
22秒前
23秒前
Persist发布了新的文献求助10
26秒前
共享精神的应助被Herry-Jeremy采纳，获得10
27秒前
TT发布了新的文献求助10
27秒前
小屁孩发布了新的文献求助10
27秒前
28秒前
ZepHyR发布了新的文献求助10
29秒前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
The Complete Pro-Guide to the All-New Affinity Studio: The A-to-Z Master Manual: Master Vector, Pixel, & Layout Design: Advanced Techniques for Photo, Designer, and Publisher in the Unified Suite 1000
Synthesis and properties of compounds of the type A (III) B2 (VI) X4 (VI), A (III) B4 (V) X7 (VI), and A3 (III) B4 (V) X9 (VI) 500
Microbially Influenced Corrosion of Materials 500
Die Fliegen der Palaearktischen Region. Familie 64 g: Larvaevorinae (Tachininae). 1975 500
The YWCA in China The Making of a Chinese Christian Women’s Institution, 1899–1957 400
Numerical controlled progressive forming as dieless forming 400
热门求助领域 （近24小时）
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 纳米技术 计算机科学 内科学 化学工程 复合材料 物理化学 基因 遗传学 催化作用 冶金 量子力学 光电子学
热门帖子
关注 科研通微信公众号，转发送积分 5401059
求助须知：如何正确求助？哪些是违规求助？ 4520118
关于积分的说明 14078219
捐赠科研通 4432973
什么是DOI，文献DOI怎么找？ 2433966
邀请新用户注册赠送积分活动 1426138
关于科研通互助平台的介绍 1404738
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通