Pith. sign in

Paper Citation Record · LEDGER

Black-Box Bug-Amplification for Multithreaded Software

As of 21 August 2026, this Paper Citation Record lists 55 of 55 outbound references and 0 inbound Pith citation observations for arXiv:2507.21318.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2507.21318 v1

Coverage vector

measured 55 of 55 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T13:00:21.792859Z

measured 55 of 55 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

55 of 55 outbound references displayed

  • verified exact1
  • verified fuzzy49
  • unresolved5
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 761dc5a2-45b8-403f-8572-e3e840949774 · outbound

This paper cites Why Do Computers Stop and What Can Be Done About It?.

Black-Box Bug-Amplification for Multithreaded Software Why Do Computers Stop and What Can Be Done About It?

Reference 1

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.257354Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:20.933330Z digest=sha256:e7519f24f0de95c6954a5fc15da773b3ee65355928b86a062410377b7962dd41

Observation 00549e66-2378-428e-b8f9-b821ff20f47a · outbound

This paper cites Intermittent Failures in Hardware and Software.

Black-Box Bug-Amplification for Multithreaded Software Intermittent Failures in Hardware and Software

Reference 2

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.249629Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.050538Z digest=sha256:750d6a8e6e3c2868cf4a51de6e5b1a6a6ce1c995e10b6566a96981a2d2d0caaf

Observation ecdbe45c-2bcc-4c27-a683-fa3928097dd4 · outbound

This paper cites Finding and Reproducing Heisenbugs in Concurrent Programs.

Black-Box Bug-Amplification for Multithreaded Software Finding and Reproducing Heisenbugs in Concurrent Programs

Reference 3

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.241976Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.145121Z digest=sha256:a7c84ef2100c453eec8f3793fc05ce73bdcf19d0a3fddb28c5094a7f449748af

Observation c5a1c173-0013-4d73-a15e-655e80caeb43 · outbound

This paper cites A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs.

Black-Box Bug-Amplification for Multithreaded Software A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs

Reference 4

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.234275Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.265460Z digest=sha256:7f044e9e0b377e83d889381053e1f9c1f423c1e7946d95e4cc70567690d9c685

Observation f4f756b4-92f6-4e5a-be87-78af680963ec · outbound

This paper cites Levin and David A.

Black-Box Bug-Amplification for Multithreaded Software Levin and David A

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.226773Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.435997Z digest=sha256:73fc13413c5ebb70a1a3400568145d3e426392eb6e22e90b4401265d9056e460

Observation ecf93d61-bfee-4ab9-9e93-a3dad38cd166 · outbound

This paper cites Necula and Koushik Sen.

Black-Box Bug-Amplification for Multithreaded Software Necula and Koushik Sen

Reference 6

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.219071Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.606303Z digest=sha256:c18bea5973495b3bdeec1a9ba7575409837cb2b6c5d289d8e91cddf82abd15ec

Observation 8afe6290-e021-4d1e-81ad-b9b6e680815e · outbound

This paper cites DeepFL: Integrating Multiple Fault Diagnosis Dimensions for Deep Fault Localization.

Black-Box Bug-Amplification for Multithreaded Software DeepFL: Integrating Multiple Fault Diagnosis Dimensions for Deep Fault Localization

Reference 7

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.211452Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.660871Z digest=sha256:63d0566f745b598f47377c4a4108126c4660ef1e65bae683a86201de94a41648

Observation d99dcae0-e543-4e1e-ad09-6dbebd70f674 · outbound

This paper cites Learn&Fuzz: Machine Learning for Input Fuzzing.

Black-Box Bug-Amplification for Multithreaded Software Learn&Fuzz: Machine Learning for Input Fuzzing

Reference 8

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.203834Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.663887Z digest=sha256:5b2fa17de0fec9c828ebf74c6747ba706c02fd43127b094dc566b4436f442a40

Observation 95999c44-4bf4-4074-9ae7-d8af63ad88b2 · outbound

This paper cites Lukman and Shan Lu and Haryadi S.

Black-Box Bug-Amplification for Multithreaded Software Lukman and Shan Lu and Haryadi S

Reference 9

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.196248Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.667496Z digest=sha256:246aa1db21f017301be6c5948ce48740df3c1bbe4a7aeda154c61abde02d4cdf

Observation 59e99619-90a1-4579-a68e-8ba4954e1de4 · outbound

This paper cites Goldberg.

Black-Box Bug-Amplification for Multithreaded Software Goldberg

Reference 10

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.188878Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.670308Z digest=sha256:4ce484a3a6c2aeea36ffeadd196608dde85e34ce5d2c79755c82fba4885bb60d

Observation 2768482f-5c91-473a-9f83-d9de3b8f5da2 · outbound

This paper cites an unresolved cited work.

Black-Box Bug-Amplification for Multithreaded Software Unresolved cited work

Reference 11

Resolution
unresolved
raw_fallback, observed 2026-08-06T13:00:22.181278Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.673298Z digest=sha256:39bd448de0d78619b90dd3fefea2f00d33e4f40b7f9e219c4c538e481a768b2a

Observation 7317de17-fdb4-45a0-b8d1-61120f075218 · outbound

This paper cites an unresolved cited work.

Black-Box Bug-Amplification for Multithreaded Software Unresolved cited work

Reference 12

Resolution
unresolved
raw_fallback, observed 2026-08-06T13:00:22.174137Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.676107Z digest=sha256:36f2f0578e634470787c15baacbf392b50b7eafbc3e4453a877322e180134dab

Observation 4b2f92ab-4fe9-498b-ae28-913ee57c472e · outbound

This paper cites Generalized Coverage Criteria for Combinatorial Sequence Testing.

Black-Box Bug-Amplification for Multithreaded Software Generalized Coverage Criteria for Combinatorial Sequence Testing

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.167009Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.679292Z digest=sha256:19654af48fcc97af0edfe98643697e21bc4f5799a1d51d38304043a970d59bfd

Observation bb567546-87b3-4b7d-ae78-32d1aa94129b · outbound

This paper cites Wasserstein and Nicole A.

Black-Box Bug-Amplification for Multithreaded Software Wasserstein and Nicole A

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.159377Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.682115Z digest=sha256:52ac97343b6776092d6889f1a842c75425157b2d7cb7b4e1024be535bd97ce5c

Observation b8d18c1b-fa88-4e95-903b-a11139434a78 · outbound

This paper cites LLM-Powered Test Case Generation for Detecting Bugs in Plausible Programs.

Black-Box Bug-Amplification for Multithreaded Software LLM-Powered Test Case Generation for Detecting Bugs in Plausible Programs

Reference 15

Resolution
unresolved
no resolver link, observed 2026-08-06T13:00:21.685001Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T13:00:21.685001Z digest=sha256:eb6a6ce07e7e4de1a7eed7f1bfd167576d4ce3ccebd755c6c43b9ec68fc3caee

Observation e2972da1-8225-4fa4-8e3f-3d6ac7ff664c · outbound

This paper cites Ouédraogo and Laura Plein and Kader Kaboré and Andrew Habib and Jacques Klein and David Lo and Tegawendé F.

Black-Box Bug-Amplification for Multithreaded Software Ouédraogo and Laura Plein and Kader Kaboré and Andrew Habib and Jacques Klein and David Lo and Tegawendé F

Reference 16

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.151762Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.688495Z digest=sha256:28156e1e4760b5ade61a6c4860a6a6c4e29472c6525c1bd9842d6a8218f272c5

Observation 98537df7-df7d-4c34-8465-89c72b132a9f · outbound

This paper cites Should we really use post-hoc tests based on mean-ranks?.

Black-Box Bug-Amplification for Multithreaded Software Should we really use post-hoc tests based on mean-ranks?

Reference 17

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.144125Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.691281Z digest=sha256:dca57557193957e306035cab89a2d7a6d26a9ec6df30074a5f5fbffd9b2e1eda

Observation c7756f2f-3679-4340-8841-038720064433 · outbound

This paper cites A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs.

Black-Box Bug-Amplification for Multithreaded Software A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs

Reference 18

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.135614Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.693809Z digest=sha256:9767fa873300464ade793709a444f45f207fec43a95e02f969b3085ffecfe3db

Observation 848fb916-6ee5-404d-8fc9-01bc876a3fd3 · outbound

This paper cites OpenMP Aware MHP Analysis for Improved Static Data -Race Detection.

Black-Box Bug-Amplification for Multithreaded Software OpenMP Aware MHP Analysis for Improved Static Data -Race Detection

Reference 19

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.128082Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.696315Z digest=sha256:26e2353618e6bbfcc56f7f5bc5c691a90a0119955af102d4dd6d9872531cfb40

Observation 1c46ba78-b9f8-4972-92db-edf45996676d · outbound

This paper cites Matsakis and Felix S.

Black-Box Bug-Amplification for Multithreaded Software Matsakis and Felix S

Reference 20

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.120502Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.699024Z digest=sha256:952131f6700449a9a5d879c53724daa9458711cb4a52c4e5bbc94b8174f889e1

Observation 75902280-24c1-45d7-9dac-9a7f07bdc390 · outbound

This paper cites DeepRace: Finding Data Race Bugs via Deep Learning.

Black-Box Bug-Amplification for Multithreaded Software DeepRace: Finding Data Race Bugs via Deep Learning

Reference 21

Resolution
verified exact
local_arxiv, observed 2026-08-06T13:00:21.826467Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.701757Z digest=sha256:06f4204374dd97d1a67355f9b62e063e498f4c08eae2197501be2fae00f1e242

Observation 1f113979-6033-42aa-9456-53a2076e49cb · outbound

This paper cites an unresolved cited work.

Black-Box Bug-Amplification for Multithreaded Software Unresolved cited work

Reference 22

Resolution
unresolved
raw_fallback, observed 2026-08-06T13:00:22.113048Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.704751Z digest=sha256:20e9deccbd1e3948f264f0795426350736ebe72d9d63cab952b333e6dae10688

Observation ef7991d9-a120-4619-a7ab-634bfc881ccd · outbound

This paper cites an unresolved cited work.

Black-Box Bug-Amplification for Multithreaded Software Unresolved cited work

Reference 23

Resolution
unresolved
raw_fallback, observed 2026-08-06T13:00:22.105544Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.707276Z digest=sha256:30589846cf4a631ff14873e049b86f1259fb0f6e2d37ff815f8aa59c400a66c8

Observation 24a0befb-4bfe-430e-be07-adfa5152e510 · outbound

This paper cites Engineering Record And Replay For Deployability.

Black-Box Bug-Amplification for Multithreaded Software Engineering Record And Replay For Deployability

Reference 24

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.098258Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.709656Z digest=sha256:c5dbaa28af25b4c4f85846cd0c1d6ae83353fd6f05f1ad4c4cac4148fc664db8

Observation e520ce49-4442-4e25-bb74-79802aeb8715 · outbound

This paper cites Holzmann.

Black-Box Bug-Amplification for Multithreaded Software Holzmann

Reference 25

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.091017Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.712434Z digest=sha256:b40e8d2ec73b11f5f93b8ed68754e41fe5638b4961e7c06a018ff49fc594d9b3

Observation f3b1729b-3f14-47dd-966e-51f5cb703d16 · outbound

This paper cites Clarke and Armin Biere and Richard Raimi and Yunshan Zhu.

Black-Box Bug-Amplification for Multithreaded Software Clarke and Armin Biere and Richard Raimi and Yunshan Zhu

Reference 26

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.083600Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.715182Z digest=sha256:e667316d953a0debbd768596752da3915c0450745af8c90fe1463b646ac30887

Observation c26e7651-a60f-4a74-83e5-5a9a7de5ff1a · outbound

This paper cites Namjoshi and Richard J.

Black-Box Bug-Amplification for Multithreaded Software Namjoshi and Richard J

Reference 27

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.075268Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.717970Z digest=sha256:f0ae0756af1f7a2a37277544266269a6a368a3ecfa41cdf6bfe1151944a9a333

Observation a674eff3-a5d2-4404-9e3c-baed1fc4403f · outbound

This paper cites Smolka and Radu Grosu.

Black-Box Bug-Amplification for Multithreaded Software Smolka and Radu Grosu

Reference 28

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.067925Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.720850Z digest=sha256:0e1e577f934b8fd3831c2226b521a497b63c0c82bcbaa989b5f3399aa4b74247

Observation 18591c5d-ea9e-40f8-8478-5792a46fd75f · outbound

This paper cites KRACE: Data Race Fuzzing for Kernel File Systems.

Black-Box Bug-Amplification for Multithreaded Software KRACE: Data Race Fuzzing for Kernel File Systems

Reference 29

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.060090Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.723788Z digest=sha256:7942fb87b089f8e6e399278680363bf84be9156ed170f72a438872651c6ec583

Observation 2e79dc52-5dfb-407d-b727-b46b184e47ea · outbound

This paper cites Learning from Mistakes: A Comprehensive Study on Real World Concurrency Bug Characteristics.

Black-Box Bug-Amplification for Multithreaded Software Learning from Mistakes: A Comprehensive Study on Real World Concurrency Bug Characteristics

Reference 30

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.052725Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.726364Z digest=sha256:58c698566fb66f916844981a2971780ca17b649df597fea268ee32e3ae1928df

Observation 0fe34674-9790-469b-b612-598fb397076e · outbound

This paper cites Engler and Joseph C.

Black-Box Bug-Amplification for Multithreaded Software Engler and Joseph C

Reference 31

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.045292Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.729225Z digest=sha256:21fa2801552307cc8674048c4e3076fd11f058adea056f045c03224f23a3e645

Observation 57703c71-af2f-457a-8438-3486a08d7a5d · outbound

This paper cites RACEBENCH: A Benchmark Suite for Data Race Detection Tools.

Black-Box Bug-Amplification for Multithreaded Software RACEBENCH: A Benchmark Suite for Data Race Detection Tools

Reference 32

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.037310Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.731810Z digest=sha256:8c877831261c0441d7e84688990d82b8c0e87ecc722d84620db4715adbc154a7

Observation 35c95905-c619-4be7-9715-5b513452a40b · outbound

This paper cites ConSeq: Detecting Concurrency Bugs Through Sequential Errors.

Black-Box Bug-Amplification for Multithreaded Software ConSeq: Detecting Concurrency Bugs Through Sequential Errors

Reference 33

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.029388Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.734447Z digest=sha256:b0b5c6711f227e82c057199a9d3bb62b476b5885c6996959a0cb95ac4b8f739f

Observation e35a05af-f9b7-441b-a561-c5b580f3b7af · outbound

This paper cites JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs.

Black-Box Bug-Amplification for Multithreaded Software JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs

Reference 34

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.021531Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.736964Z digest=sha256:ab7b8da2f50f0081b72f1ff31b927523cd3bc50b8e111e5b725cd4a1b59d906e

Observation b1008cbb-3b97-4875-8d2a-0d0edbe1118b · outbound

This paper cites Defects4J.

Black-Box Bug-Amplification for Multithreaded Software Defects4J

Reference 35

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.013502Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.739562Z digest=sha256:308e49c04fb42ed2ee7a8cc4695ca8c4a7650e75ac3c5bf5cc3a4be7bb66c0ea

Observation 6b093660-baa9-4db4-b320-a9e15c9ee0b1 · outbound

This paper cites BEARS: An Extensible Java Bug Benchmark for Automatic Program Repair Studies.

Black-Box Bug-Amplification for Multithreaded Software BEARS: An Extensible Java Bug Benchmark for Automatic Program Repair Studies

Reference 36

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:22.005203Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.742134Z digest=sha256:3cd34463c9bdfb24aacf1a46fd34623a3212ba1d28db786cfdc014744dab8207

Observation 994fe532-6c87-4036-9ad7-e6c05c4b7407 · outbound

This paper cites How Often Do Single -Statement Bugs Occur?: The ManySStuBs4J Dataset.

Black-Box Bug-Amplification for Multithreaded Software How Often Do Single -Statement Bugs Occur?: The ManySStuBs4J Dataset

Reference 37

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:21.996812Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.744767Z digest=sha256:dda4d79d85b6825a7a5d40b84f1f15561990b02d4dbffad7e653f6a3ee6838d5

Observation 7060a40f-57d1-46ae-9701-b53b31a916a8 · outbound

This paper cites Understanding Real-World Concurrency Bugs in Go.

Black-Box Bug-Amplification for Multithreaded Software Understanding Real-World Concurrency Bugs in Go

Reference 38

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:21.988745Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.747753Z digest=sha256:2a7ed21c8b335bf9755c8405493fdbedba6d8cd62b3b44475aa74eaaf1995ffa

Observation 90b22543-c55b-4cd7-8f36-aac6312e6a06 · outbound

This paper cites GoBench: A Benchmark Suite of Real-World Go Concurrency Bugs.

Black-Box Bug-Amplification for Multithreaded Software GoBench: A Benchmark Suite of Real-World Go Concurrency Bugs

Reference 39

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:21.981162Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.750157Z digest=sha256:a777a088eaf5a84bd90be6c71789a4aafc85ef7f9ad6282209ed45202a146eda

Observation ecbd503e-587a-4334-990b-8122990bdb18 · outbound

This paper cites ConFuzzius: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts.

Black-Box Bug-Amplification for Multithreaded Software ConFuzzius: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts

Reference 40

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:21.973516Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.752802Z digest=sha256:b15f80778af2b1df75e38350a49bd9cbcbfb5a3650505133e97d4546cab3372e

Observation f97ee066-1953-4c1d-be07-34b605bbc928 · outbound

This paper cites DART: Directed Automated Random Testing.

Black-Box Bug-Amplification for Multithreaded Software DART: Directed Automated Random Testing

Reference 41

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:21.966005Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.755459Z digest=sha256:01206c3dc62e5561adc6cf5279d2d1995a0fddacc077bccffb2a75709e2b70b2

Observation 922b24d4-0353-40fd-8269-8668758d2919 · outbound

This paper cites and Grumberg, Orna and Jha, Somesh and Lu, Yuan and Veith, Helmut.

Black-Box Bug-Amplification for Multithreaded Software and Grumberg, Orna and Jha, Somesh and Lu, Yuan and Veith, Helmut

Reference 42

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:21.958632Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.758177Z digest=sha256:fd1e6c4837f573f68c789108ee3c75886432f234d0e72071b3e0066f7208833d

Observation 678232e2-49f9-4d60-b247-24dbd7f1217f · outbound

This paper cites Bianchi and Mauro Pezzè.

Black-Box Bug-Amplification for Multithreaded Software Bianchi and Mauro Pezzè

Reference 43

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:21.950925Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.761052Z digest=sha256:f3013b3b643a8ef160473bed355693a6f39f7c3a21b51601f54ca2830d697851

Observation ed8c7773-1679-4f11-aef1-07001c517574 · outbound

This paper cites Artificial Intelligence Applied to Software Testing: A Tertiary Study.

Black-Box Bug-Amplification for Multithreaded Software Artificial Intelligence Applied to Software Testing: A Tertiary Study

Reference 44

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:21.943514Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.763930Z digest=sha256:9a8ce2f5e737a34ce92c938754d2119a60984efa13ff364e277488c2ee3790af

Observation e4bafd29-c429-4e21-9041-99d0eb8fa784 · outbound

This paper cites Probabilistic Concurrency Testing for Weak Memory Programs.

Black-Box Bug-Amplification for Multithreaded Software Probabilistic Concurrency Testing for Weak Memory Programs

Reference 45

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:21.935335Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.766723Z digest=sha256:9076e8afaae4379faa720814efc2ddfb6ddb374419cfb68b575d51c733cecc23

Observation 31d119ec-ffbb-4ed1-acab-7e315cfa1082 · outbound

This paper cites Effective Concurrency Testing for Go via Directional Primitive Scheduling.

Black-Box Bug-Amplification for Multithreaded Software Effective Concurrency Testing for Go via Directional Primitive Scheduling

Reference 46

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:21.926918Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.769182Z digest=sha256:0652601c22f3ca87d2c3c7bfa5fbad45bf484f455331a10906ef8a5239bb4a6e

Observation 96afa68e-fca5-44b7-aada-b4b350d3aefc · outbound

This paper cites Fray: An Efficient General-Purpose Concurrency Testing Platform for JVM.

Black-Box Bug-Amplification for Multithreaded Software Fray: An Efficient General-Purpose Concurrency Testing Platform for JVM

Reference 47

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:21.917791Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.772080Z digest=sha256:fc560db629569618c42e56118f45be76eba4cff9623048fcfab2be4b88152c98

Observation 94b07e8c-eda4-4b99-91c0-d8b91940d6ea · outbound

This paper cites Concurrency Testing in the Linux Kernel via eBPF.

Black-Box Bug-Amplification for Multithreaded Software Concurrency Testing in the Linux Kernel via eBPF

Reference 48

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:21.909455Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.774595Z digest=sha256:a893e374658928881de8de39b47023a502615bdc45a47900b05a3011f01e5c60

Observation 0fcaa81e-0f28-4e11-8a73-db2bff1b8fbf · outbound

This paper cites CARDSHARK: Understanding and Stabilizing Linux Kernel Concurrency Bugs Against the Odds.

Black-Box Bug-Amplification for Multithreaded Software CARDSHARK: Understanding and Stabilizing Linux Kernel Concurrency Bugs Against the Odds

Reference 49

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:21.901432Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.777112Z digest=sha256:c0f1af0819d4e1d69aa676afa00b0242c0435aca71035419e8f573f91b128575

Observation e4532725-7a59-41c3-abd7-18f4782c15ea · outbound

This paper cites and Rowe, Anthony.

Black-Box Bug-Amplification for Multithreaded Software and Rowe, Anthony

Reference 50

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:21.892953Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.779778Z digest=sha256:5b764f1371aa19745807ffed1762b851dde7c787de6077c9c08aafcf716563ea

Observation 88aac81a-6c3d-428a-82f5-7d391accf6ca · outbound

This paper cites On the Effect of Instrumentation on Test Flakiness.

Black-Box Bug-Amplification for Multithreaded Software On the Effect of Instrumentation on Test Flakiness

Reference 51

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:21.883344Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.782576Z digest=sha256:e393c45fd5c661d81c430b68f7b22d153e40c979855fd1182c3dab440a9e99e5

Observation 7e12311e-b6fc-4c80-97f9-683a9926e287 · outbound

This paper cites Nekara: A Generalized Concurrency Testing Library.

Black-Box Bug-Amplification for Multithreaded Software Nekara: A Generalized Concurrency Testing Library

Reference 52

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:21.874676Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.785171Z digest=sha256:4ca17d13bb355f9df46bc0b15cdcfac5c9ac3107676e7cc71eb74571246e8ae3

Observation c7d2c2b0-5553-4cec-96e8-2e8750009c8b · outbound

This paper cites Fast simulation of rare events in queueing and reliability models.

Black-Box Bug-Amplification for Multithreaded Software Fast simulation of rare events in queueing and reliability models

Reference 53

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:21.865662Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.787797Z digest=sha256:1ea0056e5343ac3eb97ed8b9a0a04285b2bee98d959a1e2b1b99e8ccd6b6c255

Observation efa66e80-09af-4092-865b-4ba74e9ca4ab · outbound

This paper cites Younes and Reid G.

Black-Box Bug-Amplification for Multithreaded Software Younes and Reid G

Reference 54

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:21.855872Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.790318Z digest=sha256:598cf6481f9ce9e5f1c27fff82aebd5a4463f45c22be1725ac7298786c4c0455

Observation 489967e6-7d1b-4e8d-8a88-02caf444055b · outbound

This paper cites Selectively Uniform Concur- rency Testing.

Black-Box Bug-Amplification for Multithreaded Software Selectively Uniform Concur- rency Testing

Reference 55

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T13:00:21.846007Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-06T13:00:21.792859Z digest=sha256:7c036f82239691f316f83d9a2c25c0d22ec708ba25b18b36f494962da1ae57f8

Pith citing papers

No inbound Pith citation observations are available.