Pith. sign in

Paper Citation Record · LEDGER

Data Sanity Check for Deep Learning Systems via Learnt Assertions

As of 23 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:1909.03835.

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

pith.paper-citation-record.v1
1909.03835 v3

Coverage vector

measured 33 of 33 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T04:41:20.824751Z

measured 33 of 33 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+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

33 of 33 outbound references displayed

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

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation adbf7af7-cbb6-436c-a237-40caf75af1a6 · outbound

This paper cites Real time road edges detection and road signs recognition,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Real time road edges detection and road signs recognition,

Reference 1

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:24.399628Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:19.834751Z digest=sha256:7770b42906c843b98dc8f262b120bfb17c019134dbf8553a7d603d675a0246bb

Observation 064213c1-1558-40f1-a836-2b55db14b14c · outbound

This paper cites Guest editorial deep learning in medical imaging: Overview and future promise of an exciting new technique,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Guest editorial deep learning in medical imaging: Overview and future promise of an exciting new technique,

Reference 2

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:24.297061Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:19.865442Z digest=sha256:3914cce95235e52cf4378d435c70354106e83f6f6cdf57c4c0ed222182390942

Observation 8da45b8c-f8ac-441e-860f-a789c890276a · outbound

This paper cites Testing advanced driver assistance systems using multi-objective search and neural networks,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Testing advanced driver assistance systems using multi-objective search and neural networks,

Reference 3

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:24.266319Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:19.894768Z digest=sha256:05ea7337cea8ca9bf092b03ea87773bb049f72eaa402845222f5f60e62393312

Observation b035224d-86b7-4487-b236-39f1c927f4df · outbound

This paper cites A domain strategy for computer program testing,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions A domain strategy for computer program testing,

Reference 4

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:24.191977Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:19.914848Z digest=sha256:07a5c23c2624efc0020c96eadfb975dc07e9fed5847b423495c0b1e3c743dd8a

Observation 4646c20b-e436-4bb9-89f3-647f070f6764 · outbound

This paper cites Mitv: multiple- implementation testing of user-input validators for web applications,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Mitv: multiple- implementation testing of user-input validators for web applications,

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:24.054754Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:19.964752Z digest=sha256:c46bde83ee38b24c25a3f1e1c884d4eb52bc814f2dcf13375f87c22a9bfdc74f

Observation 50a6e03c-e3de-44e7-9eb4-46058626ad8c · outbound

This paper cites Perturbation-based user-input- validation testing of web applications,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Perturbation-based user-input- validation testing of web applications,

Reference 6

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:23.914870Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:20.004231Z digest=sha256:dbddbf98cdbee268377ec0806b9b3bcb9687ef88ddd2bb6e64260c4f6b626e53

Observation 2f92fadf-29fc-4457-8a26-a1bf5437956f · outbound

This paper cites Semi-valid input coverage for fuzz testing,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Semi-valid input coverage for fuzz testing,

Reference 7

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:23.774758Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:20.064746Z digest=sha256:0ff161cd1f138eda9b543179cbceef76134b2084a3be8ee4ffbb478aec146cd0

Observation 124edf24-fa57-46fd-8f3d-0c6f454c382c · outbound

This paper cites Bugs as deviant behavior: A general approach to inferring errors in systems code,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Bugs as deviant behavior: A general approach to inferring errors in systems code,

Reference 8

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:23.620105Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:20.099777Z digest=sha256:63162e89a06e8c70a97131d4b28b51a5642045b42fb355fc3eb3bfab8dd886f8

Observation 4a541ffe-caa8-401e-a8fd-6607f9ecc353 · outbound

This paper cites Reducing the dimensionality of data with neural networks,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Reducing the dimensionality of data with neural networks,

Reference 9

Resolution
unresolved
no resolver link, observed 2026-08-14T04:41:20.134747Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:41:20.134747Z digest=sha256:31cf06680522d0a7fc0bbfcdec6fba19177d5c7dc9b1cebb0e9f85f734b8e0cb

Observation c246abbc-76a1-4c6d-8702-1de23bfb0286 · outbound

This paper cites Detection of traffic signs in real-world images: The German Traffic Sign Detection Benchmark,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Detection of traffic signs in real-world images: The German Traffic Sign Detection Benchmark,

Reference 10

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:23.390217Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:20.149339Z digest=sha256:a351de3b229bf517302e505de615f6f48b9d3bd539c321da1a2e6eb634860674

Observation b2b9bfbc-3341-4a0f-8dda-7801b237ff44 · outbound

This paper cites Scalable triangulation-based logo recognition,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Scalable triangulation-based logo recognition,

Reference 11

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:23.264838Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:20.184750Z digest=sha256:54ed7b58d41f32562ea92fa8efa5ed5bf0a0d2663007208a45db7a4380905b83

Observation 4c85f95b-9d88-4647-b7c1-b6e171c0f1d7 · outbound

This paper cites Gradient-based learning applied to document recognition,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Gradient-based learning applied to document recognition,

Reference 12

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:23.202966Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:20.264771Z digest=sha256:109ec63cbdc6963ab26eea3a670cf5ceed7af5e0f02b61f4307be75aed69f6f1

Observation ee9f17be-9cbf-430f-81e9-bf3b83d36ab4 · outbound

This paper cites Imagenet classification with deep convolutional neural networks,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Imagenet classification with deep convolutional neural networks,

Reference 13

Resolution
unresolved
no resolver link, observed 2026-08-14T04:41:20.293913Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:41:20.293913Z digest=sha256:008479b4b017aa6397d38f23a61d78c46ae7f63e3673a808c08b3a28e88c6dcf

Observation 67c7ba28-5f3d-469b-a7e5-931bb00a4787 · outbound

This paper cites Very Deep Convolutional Networks for Large-Scale Image Recognition.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Very Deep Convolutional Networks for Large-Scale Image Recognition

Reference 14

Resolution
unresolved
no resolver link, observed 2026-08-14T04:41:20.314741Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:41:20.314741Z digest=sha256:41221dd5467b4d022188cbc5a4b95b2040ae02c8000292baa593c6021c506770

Observation e437af4c-e761-444d-b440-9890f9c1794b · outbound

This paper cites Increased software reliability through input validation analysis and testing,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Increased software reliability through input validation analysis and testing,

Reference 15

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:23.014746Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:20.339335Z digest=sha256:93c3710ef5e5cd0c067cff33becd686d514fced65d2a24557943e63a11955363

Observation e90a27bd-cb7b-4c4e-ba97-cd2f9edc66dd · outbound

This paper cites Security testing of web applications: A research plan,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Security testing of web applications: A research plan,

Reference 16

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:22.903698Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:20.362599Z digest=sha256:c15e4dc0ca6d67145221b4488e18431d6cb2201cfdcb3a496502e165a0579768

Observation b305d7e2-48bc-48cc-a395-d9a217ac2c46 · outbound

This paper cites Semantic differential repair for input validation and sanitization,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Semantic differential repair for input validation and sanitization,

Reference 17

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:22.797241Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:20.393479Z digest=sha256:903ec0b556e97c62fe5b51be2477e69ee22bf389e8e4e9b61d86fa3453d2b017

Observation 347f35d4-1c19-4300-9fe7-8b87edf26697 · outbound

This paper cites Using parse tree validation to prevent SQL injection attacks,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Using parse tree validation to prevent SQL injection attacks,

Reference 18

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:22.664754Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:20.413048Z digest=sha256:eca3b2108cceb98c7b9295bee4ba3383ccf9d8647d9113af3177a9f45e884b14

Observation 49a3dc7a-79a0-49d9-b772-10e43e2cff02 · outbound

This paper cites Saner: Composing static and dynamic anal- ysis to validate sanitization in web applications,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Saner: Composing static and dynamic anal- ysis to validate sanitization in web applications,

Reference 19

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:22.545137Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:20.423579Z digest=sha256:b8a2b7d2f3afa75995ae918fd3185be061a76778faddf970596b7e3ad1df8d20

Observation 22e2156a-5f40-41a9-adf2-d8d126f0cef8 · outbound

This paper cites Predicting common web application vulnerabilities from input validation and sanitization code patterns,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Predicting common web application vulnerabilities from input validation and sanitization code patterns,

Reference 20

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:22.444750Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:20.434480Z digest=sha256:9447da320c94356bb6b0055c8da1ceb46848e2db366e6c2c6720eea246767d8b

Observation bb4011fb-8787-41d3-9d34-d27c3e6c5c37 · outbound

This paper cites Preventing input validation vulnerabilities in web applications through automated type analysis,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Preventing input validation vulnerabilities in web applications through automated type analysis,

Reference 21

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:22.325299Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:20.452352Z digest=sha256:809cb33ad4769aa56fbe0ceb0d42ee09b46757601ec744a671914d054cb41220

Observation ac0df6b7-0cc5-47e1-ab3d-dcb9872040fd · outbound

This paper cites Web application intrusion detection system for input validation attack,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Web application intrusion detection system for input validation attack,

Reference 22

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:22.208745Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:20.483919Z digest=sha256:46ce80701c1f8ed835dd925c04040895ec617e32d0f2f09a1e939ce4e5081b4b

Observation 94eb60ba-9df4-4b6a-a87c-524e3d26e1f2 · outbound

This paper cites Testing deep neural networks,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Testing deep neural networks,

Reference 23

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:22.128158Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:20.502303Z digest=sha256:6d3cabc4518c0d7e2307796100043ffb705a3ef51e0a9020e86d394d60f41c78

Observation b21be7fa-2d81-4088-bf46-abfd1c64529b · outbound

This paper cites TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing.

Data Sanity Check for Deep Learning Systems via Learnt Assertions TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing

Reference 24

Resolution
unresolved
no resolver link, observed 2026-08-14T04:41:20.556585Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:41:20.556585Z digest=sha256:4bcdc1dcb62af79006de3e595db0f966b2556174ccf4cc924a4e457631d6ecaf

Observation 7ccd2543-5e1f-4fbd-8d7b-ff351cf5151f · outbound

This paper cites MODE: automated neural network model debugging via state differential analysis and input selection,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions MODE: automated neural network model debugging via state differential analysis and input selection,

Reference 25

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:22.044738Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:20.593284Z digest=sha256:bf41816bca3d7de01679b38b371a59b57a1c69d0cf300b0562d30605dd1f420e

Observation c61cbfd3-e102-4e76-b507-aa8c44f8fe51 · outbound

This paper cites DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks.

Data Sanity Check for Deep Learning Systems via Learnt Assertions DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks

Reference 26

Resolution
verified exact
local_arxiv, observed 2026-08-14T04:41:21.024749Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:20.617874Z digest=sha256:d9a08ea2a55a8c640ced4f4d6dfa6ebf86ebb1445675b5b01c25333743b31fb3

Observation 66817e8f-3d5a-46a9-9b5e-f5102a395bb0 · outbound

This paper cites Deepmutation: Mutation testing of deep learning systems,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Deepmutation: Mutation testing of deep learning systems,

Reference 27

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:21.938453Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:20.684874Z digest=sha256:a159297c8a38e46fd2933c4f21dab9d824e7a2a72783e42937021a7929374971

Observation b1a2db65-8826-4029-8ac6-269ed779dda5 · outbound

This paper cites Deepgauge: multi- granularity testing criteria for deep learning systems,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Deepgauge: multi- granularity testing criteria for deep learning systems,

Reference 28

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:21.815322Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:20.710923Z digest=sha256:6733364d6ab4992d33c5fb584032c7115837e1de919e64c93116415afcf89bbb

Observation dff4f841-7eb2-4cf8-864b-1961ebd6408c · outbound

This paper cites Concolic testing for deep neural networks,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Concolic testing for deep neural networks,

Reference 29

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:21.703889Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:20.744750Z digest=sha256:54bfd9dfe6605be2aa9eb92d289df65636df79e4b28c4b198502f3599ebcf86e

Observation f54a864f-fe5a-4609-8de5-7554aab5e945 · outbound

This paper cites Deeproad: Gan-based metamorphic testing and input validation framework for autonomous driving systems,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Deeproad: Gan-based metamorphic testing and input validation framework for autonomous driving systems,

Reference 30

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:21.606409Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:20.782714Z digest=sha256:1676f4a593669c87dd482c10ca3fe4f85e43769a474cc9da64c6532501242c7d

Observation ee8b91cc-71d9-4d03-a3b7-6e0bda68175a · outbound

This paper cites Deepxplore: Automated whitebox testing of deep learning systems,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Deepxplore: Automated whitebox testing of deep learning systems,

Reference 31

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:21.494745Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:20.800312Z digest=sha256:464699bd6e13b75d5456bbabb1e3c1a9fbba82f1249117e3dc96c24dfde9a570

Observation 1a40b245-79bd-4113-9107-57c87f3f6602 · outbound

This paper cites Deeptest: automated testing of deep-neural-network-driven autonomous cars,.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Deeptest: automated testing of deep-neural-network-driven autonomous cars,

Reference 32

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T04:41:21.403131Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-14T04:41:20.824751Z digest=sha256:89f20af0693c084915d1a1659cc5f526d0d8d6256e70f4527d2c69d917e1c6e3

Observation eb3e146f-69b7-4961-a01e-5c93c4577707 · outbound

This paper cites Testing Deep Neural Networks.

Data Sanity Check for Deep Learning Systems via Learnt Assertions Testing Deep Neural Networks

Reference 2018

Resolution
unresolved
no resolver link, observed 2026-08-14T04:41:20.522035Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T04:41:20.522035Z digest=sha256:7d08384cb5135b5a040512f2ee5c362e35ec7a286640ac4a1687b6e2ed65bf2b

Pith citing papers

No inbound Pith citation observations are available.