Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-09T21:14:05.689174Z
Paper Citation Record · LEDGER
SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering
As of 15 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.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
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.
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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+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-15T06:32:42.880941+00:00.
Pith citing papers
No inbound Pith citation observations are available.