CoopREP: Cooperative record and replay of concurrency bugs-Reference-Cited by-同舟云学术

CoopREP: Cooperative record and replay of concurrency bugs

Author:

Machado Nuno¹²^ORCID,Romano Paolo²,Rodrigues Luís²

Affiliation:

1. HASLab-INESC TEC; Universidade do Minho; Braga Portugal

2. INESC-ID, Instituto Superior Técnico; Universidade de Lisboa; Lisbon Portugal

Funder

Fundação para a Ciência e a Tecnologia

project “TEC4Growth-Pervasive Intelligence, Enhancers and Proofs of Concept

North Portugal Regional Operational Programme

PORTUGAL 2020 Partnership Agreement

European Regional Development Fund

Publisher

Wiley

Subject

Safety, Risk, Reliability and Quality,Software

Reference32 articles.

1. S. Park Probabilistic replay with execution sketching on multiprocessors SOSP '09 ACM Big Sky, Montana, USA 2009 177 192

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12

2. RAProducer: efficiently diagnose and reproduce data race bugs for binaries via trace analysis;Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis;2021-07-11