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-21T06:32:19.484+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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T13:00:21.435997Z digest=sha256:097482809cea5367b351cd591462bf44a01573ccc88790ea2bde8f90b05e1a69

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T13:00:21.660871Z digest=sha256:96f036f19d8fe53230ef4f2b7e37da4b9614afc72bc8df65bf9fb26a12fe2c3d

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-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T13:00:21.663887Z digest=sha256:3ebeba7b1e546589aaa60180a2e32de0d174e8bd738695266cbfcc32f1240159

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-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T13:00:21.667496Z digest=sha256:2609c815a1a8f2ddfa4f7abf54118fc2490cf6689d5309ebebf89a5c8995165a

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-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T13:00:21.670308Z digest=sha256:9a1a43560ad51c2494b05165a448b39121d6f1156b2d8359e9c81039b57a45e4

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T13:00:21.676107Z digest=sha256:6c62ac08be68e09b37c4b955b2c03de1a625481ae192519c82c3cd370899b635

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-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T13:00:21.679292Z digest=sha256:938eed923dd73814dfc3547a0d7a43b153cd20284f75c8ce23901ae29203548a

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-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T13:00:21.682115Z digest=sha256:5869f0f1b1736a0497b1ef96465a061df282d19379060f3e216cf804e9cb45c8

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T13:00:21.699024Z digest=sha256:6bdfde43febf223f58cb6f79e50bb9458166879f4764c7401a9cb21a93bf6bb4

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T13:00:21.704751Z digest=sha256:980186b504276b47e6867a1f1361aea1564bcfc988aee4399bbb57d9187a7815

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T13:00:21.720850Z digest=sha256:30510451ecc2a09e4f2a7c42fd833258141b05b979e4388408a7331a0df7e838

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-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T13:00:21.723788Z digest=sha256:7c072dde2a28c3fc307f708d9c88da5d74f88a6f63ff0cd63cb11df960d0cd8f

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-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T13:00:21.726364Z digest=sha256:68880934abe96f310388500e916444556042a021e8879720e84a09e4c10a08ee

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-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T13:00:21.729225Z digest=sha256:0d0e22ded19d8385253e78aa6a802c7c1b423337e88fd5afa752ed9c809484f6

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-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T13:00:21.731810Z digest=sha256:5c6e63be0d8c30b72934e50d53bd2ee4852977812fb771ecfa3024103e63cc99

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T13:00:21.739562Z digest=sha256:9ea357074d8d6c785c08761933d779fa8ec8e75357646fe0cfd7d24b7504366c

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-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T13:00:21.742134Z digest=sha256:3018f5a6208695eed60fbe980feac8a364aa906f56e4e7a5b6d141405f9af7fc

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T13:00:21.747753Z digest=sha256:71aaa0ff19dc8ab96a029765b5892de61e26e10132def10b3c544a5c133916af

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T13:00:21.755459Z digest=sha256:342aaf2e86c5d3c28f652a9b5ea403b7397d37a4bb5f8a3fe2d798156a85d0ba

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T13:00:21.763930Z digest=sha256:40722c5f6ee09552543574df6a075dfaf2c91978e9f37578ab287928ed70ae23

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T13:00:21.769182Z digest=sha256:85651238f155622257ef752117052b92e2fce672ca4cc72ff2750426ba79146d

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T13:00:21.779778Z digest=sha256:7d1a4d379a5e062f81f1aea41e8ff5bb8c67f86d989762ca02b3a74acc0bb01b

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T13:00:21.785171Z digest=sha256:9be48a239d13463ff6a36fd4737aab400634361a895861b5f7b987b96518d462

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-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T13:00:21.787797Z digest=sha256:388dc5849d1753ac8931408a51ab9ad3ec5525735e06a565ee0314684076dd3e

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-21T06:32:19.484+00:00.

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

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-21T06:32:19.484+00:00.

source=pdf_text observed=2026-08-06T13:00:21.792859Z digest=sha256:5221614d9b518812662573c0fc90c8fe599f89b019efcfdd9035f8937ee6dab8

Pith citing papers

No inbound Pith citation observations are available.