Paper Citation Record · LEDGER

SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering

As of 10 August 2026, this Paper Citation Record lists 16 of 16 outbound references and 0 inbound Pith citation observations for arXiv:2501.19139.

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

pith.paper-citation-record.v1
2501.19139 v2

Coverage vector

measured 16 of 16 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-09T21:14:05.689174Z

measured 16 of 16 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+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

16 of 16 outbound references displayed

verified exact4
verified fuzzy8
unresolved4
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation fb3b3db8-ea58-4ad4-934e-1dafc8cb7c8f · outbound

This paper cites ACM Comput.

SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering ACM Comput

Reference 1

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-09T21:14:06.463164Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation f8bef9c3-c1d5-4335-ad1f-858f75bae43c · outbound

This paper cites In: Proceedings of the 27th International Con- ference on Evaluation and Assessment in Software Engineering, 5 https://itea4.org/project/smartdelta.html EASE ’23, p.

SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering In: Proceedings of the 27th International Con- ference on Evaluation and Assessment in Software Engineering, 5 https://itea4.org/project/smartdelta.html EASE ’23, p

Reference 2

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-09T21:14:06.280787Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation cf99eb17-9dc4-4886-8c1d-4e18029506f5 · outbound

This paper cites an unresolved cited work.

SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-09T21:14:05.609248Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84b46658-6d6e-467e-a9c8-5258de8769ed · outbound

This paper cites In: Large-Scale Com- plex IT Systems.

SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering In: Large-Scale Com- plex IT Systems

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T21:14:06.621269Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation fafbc824-98c2-4bea-abe7-e905dbfba6d2 · outbound

This paper cites Malardalen University Thesis DIV A (2023).

SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering Malardalen University Thesis DIV A (2023)

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T21:14:06.605526Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation ac789874-4140-4794-8068-6b6e9e3ed88d · outbound

This paper cites 79–88 (2010).

SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering 79–88 (2010)

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T21:14:06.589747Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation ab227520-87a9-4e95-980e-81b82f0f9465 · outbound

This paper cites an unresolved cited work.

SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-09T21:14:06.572982Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation a043dc8d-49fe-4ffc-91a5-b8b2a7e98bcb · outbound

This paper cites In: Proceedings of the 22nd International Systems and Software Product Line Conference- Volume 1, pp.

SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering In: Proceedings of the 22nd International Systems and Software Product Line Conference- Volume 1, pp

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T21:14:06.555294Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 20351b87-cce0-481e-89c7-841b45e60763 · outbound

This paper cites In: Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31–June 1, 2012.

SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering In: Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31–June 1, 2012

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T21:14:06.538343Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation f579d97c-9493-451c-a453-207eed8b966a · outbound

This paper cites an unresolved cited work.

SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-09T21:14:05.654952Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 107b527b-6aa2-47cf-a304-5d04456cf3e6 · outbound

This paper cites NALABS: Detecting Bad Smells in Natural Language Requirements and Test Specifications.

SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering NALABS: Detecting Bad Smells in Natural Language Requirements and Test Specifications

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-09T21:14:05.660410Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b336368e-8cb1-4b3b-8338-86b7e69771a3 · outbound

This paper cites Microprocessors and Microsystems 103, 104967 (2023).

SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering Microprocessors and Microsystems 103, 104967 (2023)

Reference 12

Resolution: verified exact; doi, observed 2026-08-09T21:14:05.728194Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation c63f1e9d-10fe-4606-a72e-14536c593929 · outbound

This paper cites Automotive Systems and Software Engineering: State of the Art and Future Trends pp.

SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering Automotive Systems and Software Engineering: State of the Art and Future Trends pp

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T21:14:06.519322Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 876be672-c58e-47e4-95b4-6a60b744f109 · outbound

This paper cites In: Proceedings of the 44th International Conference on Software Engineering: Software Engineering in Practice, ICSE- SEIP ’22, p.

SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering In: Proceedings of the 44th International Conference on Software Engineering: Software Engineering in Practice, ICSE- SEIP ’22, p

Reference 14

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-09T21:14:06.075073Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation cdd4f12e-f7e8-4e3f-9117-cd3246e770fd · outbound

This paper cites Empirical Software Engineering25, 1419–1457 (2020).

SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering Empirical Software Engineering25, 1419–1457 (2020)

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T21:14:06.501709Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 8f1b45ba-7f3b-4213-bca7-d852b744a45b · outbound

This paper cites In: Proceedings of the 32nd IEEE International Conference on Software Analysis, Evolution, and Reengineering, SANER 2025.

SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering In: Proceedings of the 32nd IEEE International Conference on Software Analysis, Evolution, and Reengineering, SANER 2025

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T21:14:06.481804Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Pith citing papers

No inbound Pith citation observations are available.