Pith. sign in

Paper Citation Record · LEDGER

Black-Box Bug-Amplification for Multithreaded Software

As of 22 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-22T06:32:14.747728+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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-06T13:00:21.660871Z digest=sha256:203073f3266ba4bf5ed72d5c9a5c2a71cd9069cc87e0e7a6909a712fcf836c06

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-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-06T13:00:21.663887Z digest=sha256:17b1e3167a005095fe2975c4c23b2f9a471a1c096b339d00fdfc431f7dcedf3e

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-06T13:00:21.670308Z digest=sha256:62f92c51ed7f6a456d5129429118c30220590033d2c2c12a5be8ff9eafd6e456

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-06T13:00:21.679292Z digest=sha256:2e1a264339f42dc5154a149e634ab8f091a07e23bd255acca9279a1879a2503f

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-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-06T13:00:21.682115Z digest=sha256:8e26364a83987a0082feaeed8a3ae0484bbcd256b0f4808a8dc9385d4605c9ae

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:766b4c7819af2aea15721eebe758b96b4db9f497074ccf1e9a2c71f56031767a

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-06T13:00:21.720850Z digest=sha256:131f2a3aee9e89f9d51fd66c7a4b0f5ef235d1a8bd8fccc9b281ad0778b8ae31

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-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-06T13:00:21.723788Z digest=sha256:1e06a7ced6c4a7897542f9216e0ebecc26d053d9225759353fd1633e03eb0110

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-06T13:00:21.731810Z digest=sha256:9784ebc3fb2db84109009222ca641efca6ab6884272de6e23838d52f9def29c9

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-06T13:00:21.742134Z digest=sha256:662ab6bd182223738bede71d804a04be9d889368885a4bbf33d4132b523e18ea

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-06T13:00:21.763930Z digest=sha256:7d5cfe44e35e1dbda0dad3f07f8d32d60350750b9446176598daea451e1a4bab

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

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

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-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-06T13:00:21.792859Z digest=sha256:2088b052747947f0068040c8ae7a0ff3510c1bcc9a29472032aed39936bae2a9

Pith citing papers

No inbound Pith citation observations are available.