{"as_of":"2026-08-10T10:07:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:87f60a89b4212eef2ffd395492c600541a4868a91f0713270132c66dba3a9682","coverage":[{"denominator":16,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":16,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-09T21:14:05.689174Z","state":"measured"},{"denominator":16,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":16,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2501.19139/citation-record","integrity":"/paper/2501.19139/integrity","json":"/paper/2501.19139/citation-record.json","paper":"/paper/2501.19139"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T21:14:06.454970Z","title":"ACM Comput","venue":null,"work_id":"467c14c5-aec6-430c-84fd-1c63ecf618d9","year":1998},"citing_paper":{"arxiv_id":"2501.19139","last_updated":"2025-02-26T12:16:32Z","snapshot_observed_at":"2026-08-09T21:08:22.365177Z","submitted_at":"2025-01-31T13:47:48Z","title":"SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-09T21:14:05.596455Z"},"links":{"citing_paper":"/paper/2501.19139"},"observation_digest":"sha256:686f900168d0f4c25918971b452e8e67b3f8cf7029fc0d60a7c377d44a2a3259","observation_id":"fb3b3db8-ea58-4ad4-934e-1dafc8cb7c8f","resolution":{"observed_at":"2026-08-09T21:14:06.463164Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T21:14:06.275826Z","title":"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","venue":null,"work_id":"06b366d3-6cde-4205-aeb7-1938887a235c","year":2023},"citing_paper":{"arxiv_id":"2501.19139","last_updated":"2025-02-26T12:16:32Z","snapshot_observed_at":"2026-08-09T21:08:22.365177Z","submitted_at":"2025-01-31T13:47:48Z","title":"SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-09T21:14:05.603387Z"},"links":{"citing_paper":"/paper/2501.19139"},"observation_digest":"sha256:4a078b7d1981c8fd90c68dcc9cdbb34a516141ca5bb3823bf7bd5585a7ed4167","observation_id":"f8bef9c3-c1d5-4335-ad1f-858f75bae43c","resolution":{"observed_at":"2026-08-09T21:14:06.280787Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T21:14:05.609248Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.19139","last_updated":"2025-02-26T12:16:32Z","snapshot_observed_at":"2026-08-09T21:08:22.365177Z","submitted_at":"2025-01-31T13:47:48Z","title":"SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-09T21:14:05.609248Z"},"links":{"citing_paper":"/paper/2501.19139"},"observation_digest":"sha256:c88f9709a2aba96a41485dac42c0cb84cbff9017b7f501590e096e5204675128","observation_id":"cf99eb17-9dc4-4886-8c1d-4e18029506f5","resolution":{"observed_at":"2026-08-09T21:14:05.609248Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T21:14:06.616291Z","title":"In: Large-Scale Com- plex IT Systems","venue":null,"work_id":"84df58b6-7bce-4ae0-8276-fe69de531122","year":2012},"citing_paper":{"arxiv_id":"2501.19139","last_updated":"2025-02-26T12:16:32Z","snapshot_observed_at":"2026-08-09T21:08:22.365177Z","submitted_at":"2025-01-31T13:47:48Z","title":"SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-09T21:14:05.615069Z"},"links":{"citing_paper":"/paper/2501.19139"},"observation_digest":"sha256:19db763c24449ac5d6ee45f2de0c73d73553bb4dcbf65647c610b472a54846f9","observation_id":"84b46658-6d6e-467e-a9c8-5258de8769ed","resolution":{"observed_at":"2026-08-09T21:14:06.621269Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T21:14:06.600174Z","title":"Malardalen University Thesis DIV A (2023)","venue":null,"work_id":"75c1582b-8dc6-401e-aa09-b1e24d1e20f4","year":2023},"citing_paper":{"arxiv_id":"2501.19139","last_updated":"2025-02-26T12:16:32Z","snapshot_observed_at":"2026-08-09T21:08:22.365177Z","submitted_at":"2025-01-31T13:47:48Z","title":"SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-09T21:14:05.622063Z"},"links":{"citing_paper":"/paper/2501.19139"},"observation_digest":"sha256:4ddb8d44b73e3ce48a3a001a1e019d823f2c29861868a8b58053e83edac58682","observation_id":"fafbc824-98c2-4bea-abe7-e905dbfba6d2","resolution":{"observed_at":"2026-08-09T21:14:06.605526Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T21:14:06.584521Z","title":"79–88 (2010)","venue":null,"work_id":"00c53a30-d432-4819-b0a1-d2a11455a14a","year":2010},"citing_paper":{"arxiv_id":"2501.19139","last_updated":"2025-02-26T12:16:32Z","snapshot_observed_at":"2026-08-09T21:08:22.365177Z","submitted_at":"2025-01-31T13:47:48Z","title":"SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-09T21:14:05.627898Z"},"links":{"citing_paper":"/paper/2501.19139"},"observation_digest":"sha256:642f70f2075faaddb7a4a3c0cb32f8e38a64da6623cfd9be90f2b4c076923c8d","observation_id":"ac789874-4140-4794-8068-6b6e9e3ed88d","resolution":{"observed_at":"2026-08-09T21:14:06.589747Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T21:14:06.567430Z","title":null,"venue":null,"work_id":"0e8aabc5-9633-4705-8edb-b8f50764acd7","year":2015},"citing_paper":{"arxiv_id":"2501.19139","last_updated":"2025-02-26T12:16:32Z","snapshot_observed_at":"2026-08-09T21:08:22.365177Z","submitted_at":"2025-01-31T13:47:48Z","title":"SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-09T21:14:05.634745Z"},"links":{"citing_paper":"/paper/2501.19139"},"observation_digest":"sha256:23dc735e77fa821b7ef6c9fffa3be5622fe82dda6aaab4c9132a9d2a75a8609b","observation_id":"ab227520-87a9-4e95-980e-81b82f0f9465","resolution":{"observed_at":"2026-08-09T21:14:06.572982Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T21:14:06.549837Z","title":"In: Proceedings of the 22nd International Systems and Software Product Line Conference- Volume 1, pp","venue":null,"work_id":"fcd7285c-e5f9-494b-b5a3-0b9524b27f9d","year":2018},"citing_paper":{"arxiv_id":"2501.19139","last_updated":"2025-02-26T12:16:32Z","snapshot_observed_at":"2026-08-09T21:08:22.365177Z","submitted_at":"2025-01-31T13:47:48Z","title":"SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-09T21:14:05.641178Z"},"links":{"citing_paper":"/paper/2501.19139"},"observation_digest":"sha256:dde78324e87b31965f762952c26e38eed7e408fbba638ce5e36e71e98c1aa551","observation_id":"a043dc8d-49fe-4ffc-91a5-b8b2a7e98bcb","resolution":{"observed_at":"2026-08-09T21:14:06.555294Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T21:14:06.531055Z","title":"In: Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31–June 1, 2012","venue":null,"work_id":"5fbc7a43-7398-4ae2-92ea-122a6199d88e","year":2012},"citing_paper":{"arxiv_id":"2501.19139","last_updated":"2025-02-26T12:16:32Z","snapshot_observed_at":"2026-08-09T21:08:22.365177Z","submitted_at":"2025-01-31T13:47:48Z","title":"SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-09T21:14:05.649350Z"},"links":{"citing_paper":"/paper/2501.19139"},"observation_digest":"sha256:7a15ba3fc284af2d43085f204a7af3781aacb41f6c95dbb02e2f5710a5d7b0e0","observation_id":"20351b87-cce0-481e-89c7-841b45e60763","resolution":{"observed_at":"2026-08-09T21:14:06.538343Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T21:14:05.654952Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.19139","last_updated":"2025-02-26T12:16:32Z","snapshot_observed_at":"2026-08-09T21:08:22.365177Z","submitted_at":"2025-01-31T13:47:48Z","title":"SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-09T21:14:05.654952Z"},"links":{"citing_paper":"/paper/2501.19139"},"observation_digest":"sha256:26f63fbee17124497f12ad350c05b82f788ec0b9c1ad2540e7b3fa61ff06f348","observation_id":"f579d97c-9493-451c-a453-207eed8b966a","resolution":{"observed_at":"2026-08-09T21:14:05.654952Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2202.05641","last_updated":"2022-02-14T14:27:58Z","snapshot_observed_at":"2026-07-06T12:36:48.652863Z","submitted_at":"2022-02-11T14:30:50Z","title":"NALABS: Detecting Bad Smells in Natural Language Requirements and Test Specifications","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.05641","snapshot_observed_at":"2026-08-09T21:14:05.660410Z","title":"URLhttps: //arxiv.org/abs/2202.05641","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.19139","last_updated":"2025-02-26T12:16:32Z","snapshot_observed_at":"2026-08-09T21:08:22.365177Z","submitted_at":"2025-01-31T13:47:48Z","title":"SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-09T21:14:05.660410Z"},"links":{"cited_paper":"/paper/2202.05641","citing_paper":"/paper/2501.19139"},"observation_digest":"sha256:c8584a313088bb4243b998746d84a5e0f7fc3f08605b221ce1298c467f8e0ca8","observation_id":"107b527b-6aa2-47cf-a304-5d04456cf3e6","resolution":{"observed_at":"2026-08-09T21:14:05.660410Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.micpro.2023","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T21:14:05.720519Z","title":"Microprocessors and Microsystems 103, 104967 (2023)","venue":null,"work_id":"67848a20-a014-4fab-8c68-d064b5470d3a","year":2023},"citing_paper":{"arxiv_id":"2501.19139","last_updated":"2025-02-26T12:16:32Z","snapshot_observed_at":"2026-08-09T21:08:22.365177Z","submitted_at":"2025-01-31T13:47:48Z","title":"SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-09T21:14:05.666175Z"},"links":{"citing_paper":"/paper/2501.19139"},"observation_digest":"sha256:c1ac15a986cd2f7c96c0524a493dd9483c16a290b2f3d5d04280f766969d48ad","observation_id":"b336368e-8cb1-4b3b-8338-86b7e69771a3","resolution":{"observed_at":"2026-08-09T21:14:05.728194Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T21:14:06.513971Z","title":"Automotive Systems and Software Engineering: State of the Art and Future Trends pp","venue":null,"work_id":"bc228f41-9ab3-4883-86dd-e3ec331f5ea5","year":2019},"citing_paper":{"arxiv_id":"2501.19139","last_updated":"2025-02-26T12:16:32Z","snapshot_observed_at":"2026-08-09T21:08:22.365177Z","submitted_at":"2025-01-31T13:47:48Z","title":"SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-09T21:14:05.671613Z"},"links":{"citing_paper":"/paper/2501.19139"},"observation_digest":"sha256:a65123e464a07a2a0829ec12746a3f24aebd3b55631b2897de8a3adc0deae228","observation_id":"c63f1e9d-10fe-4606-a72e-14536c593929","resolution":{"observed_at":"2026-08-09T21:14:06.519322Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T21:14:06.008215Z","title":"In: Proceedings of the 44th International Conference on Software Engineering: Software Engineering in Practice, ICSE- SEIP ’22, p","venue":null,"work_id":"74d799b2-e1e1-4920-8109-27fa7f104f45","year":2022},"citing_paper":{"arxiv_id":"2501.19139","last_updated":"2025-02-26T12:16:32Z","snapshot_observed_at":"2026-08-09T21:08:22.365177Z","submitted_at":"2025-01-31T13:47:48Z","title":"SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-09T21:14:05.677694Z"},"links":{"citing_paper":"/paper/2501.19139"},"observation_digest":"sha256:3135648505f52c5b3b91e2193fc797f7f90b1595a9eb788b65012fd4411977a7","observation_id":"876be672-c58e-47e4-95b4-6a60b744f109","resolution":{"observed_at":"2026-08-09T21:14:06.075073Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T21:14:06.496379Z","title":"Empirical Software Engineering25, 1419–1457 (2020)","venue":null,"work_id":"e921bf0b-fd8c-4b88-ab6d-28ed9ba72cee","year":2020},"citing_paper":{"arxiv_id":"2501.19139","last_updated":"2025-02-26T12:16:32Z","snapshot_observed_at":"2026-08-09T21:08:22.365177Z","submitted_at":"2025-01-31T13:47:48Z","title":"SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-09T21:14:05.683493Z"},"links":{"citing_paper":"/paper/2501.19139"},"observation_digest":"sha256:36c36a771c1383e8256c1ab2682d77a1bb4a7ffb71ef64b1bf66bcd2edfa745c","observation_id":"cdd4f12e-f7e8-4e3f-9117-cd3246e770fd","resolution":{"observed_at":"2026-08-09T21:14:06.501709Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T21:14:06.476046Z","title":"In: Proceedings of the 32nd IEEE International Conference on Software Analysis, Evolution, and Reengineering, SANER 2025","venue":null,"work_id":"d872da42-5ee4-4060-a0ff-01451f5d61f7","year":2025},"citing_paper":{"arxiv_id":"2501.19139","last_updated":"2025-02-26T12:16:32Z","snapshot_observed_at":"2026-08-09T21:08:22.365177Z","submitted_at":"2025-01-31T13:47:48Z","title":"SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-09T21:14:05.689174Z"},"links":{"citing_paper":"/paper/2501.19139"},"observation_digest":"sha256:3236b2fcfa6fd96009b674521b971ac73202d843a8e2dd6a4b9fe5cfa52262d8","observation_id":"8f1b45ba-7f3b-4213-bca7-d852b744a45b","resolution":{"observed_at":"2026-08-09T21:14:06.481804Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2501.19139","last_updated":"2025-02-26T12:16:32Z","latest_version":2,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-09T21:08:22.365177Z","submitted_at":"2025-01-31T13:47:48Z","title":"SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering"},"reference_resolution":{"displayed":16,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":4,"verified_exact":4,"verified_fuzzy":8},"total_outbound_references":16},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"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."}