CONCURRIT
a domain specific language for reproducing concurrency bugs
release_iwrufg3nargpdd6dxcgled47q4
by
Tayfun Elmas,
Jacob Burnim,
George Necula,
Koushik Sen
Cited By
References to this release by other works.| Showing 1 - 2 of 2 references (in 87ms) | ||
|---|---|---|
|
via crossref |
Scenic: a language for scenario specification and scene generation
Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia 2019 ACM-SIGPLAN Symposium on Programming Language Design and Implementation doi:10.1145/3314221.3314633 dblp:conf/pldi/FremontDGYSS19 | |
|
via crossref |
A Heuristic Framework to Detect Concurrency Vulnerabilities
Changming Liu, Deqing Zou, Peng Luo, Bin B. Zhu, Hai Jin 2018 Annual Computer Security Applications Conference doi:10.1145/3274694.3274718 dblp:conf/acsac/LiuZLZ018 | |