{"as_of":"2026-08-13T08:38:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4bd36ba6187b716c3679348b55da810989fa61ee7fea072690cc1b80cb5a5c88","coverage":[{"denominator":45,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":45,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T16:47:17.360591Z","state":"measured"},{"denominator":45,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":45,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+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/2411.13200/citation-record","integrity":"/paper/2411.13200/integrity","json":"/paper/2411.13200/citation-record.json","paper":"/paper/2411.13200"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:47:18.076543Z","title":"Towards a tool to support students through procedural program- ming guidance","venue":null,"work_id":"f0499734-c000-49ef-a538-3e29c0088ad4","year":2022},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.152436Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:e77e4f1a373b62d3315e2d5d44e0234b23da54908d33c5acb1378661f417780c","observation_id":"0d636a2e-40a6-49ea-8b81-2864a6f20585","resolution":{"observed_at":"2026-08-12T16:47:18.081894Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:18.061615Z","title":"Test-driven development: by example","venue":null,"work_id":"2817ba2a-c0d2-44b0-b5f5-e942b5bbeb3c","year":2003},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.157955Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:189b25fc473e2156a76f5270293eed6a9d8737c94646e100c63ca4890d7157e7","observation_id":"dd30f0c6-dfe8-4175-b24d-8a812130d27e","resolution":{"observed_at":"2026-08-12T16:47:18.066395Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:18.046275Z","title":null,"venue":null,"work_id":"04c72d28-f9be-48d4-8894-a9db263b70c1","year":2001},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.163008Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:820d85afc92b77ad6a0364ccc791aebb6c1f931d9b0a8409f57e652c832641cc","observation_id":"82358920-b124-454b-918d-38288fcb0431","resolution":{"observed_at":"2026-08-12T16:47:18.051231Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:18.029424Z","title":"Bijlsma, N","venue":null,"work_id":"e161bde3-9aff-47e7-83ec-18b3af4e4b3d","year":2021},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.168140Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:9986842dcddd945a54cbed48e94d41a0c4558d3ca0a77ce4d58d9da1b3ffb25d","observation_id":"63b7de32-ff36-4d06-9dd6-5e19e03b0cdc","resolution":{"observed_at":"2026-08-12T16:47:18.034740Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:18.013441Z","title":"Bijlsma, H.J.M","venue":null,"work_id":"3e88cb66-3329-4c8c-8a84-bd88794c6a35","year":2018},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.173119Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:7e2b1396d465dff7429d7074c2d6c60f89ddb60b6e5ead051dd883d6ab7af231","observation_id":"86ec3474-71b4-4fce-82a3-8aabeea9865d","resolution":{"observed_at":"2026-08-12T16:47:18.018242Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.998193Z","title":null,"venue":null,"work_id":"a0744faf-1ae9-4cfd-879a-a60fe78dc33d","year":1999},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.177910Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:aa9eb7c35a7e4e69f86f1a196c91f38a921b4b9b8281cac2c06461bd737cae62","observation_id":"58d59afd-f345-4341-b868-8d19b5b9eb85","resolution":{"observed_at":"2026-08-12T16:47:18.003142Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.982847Z","title":"The unified modeling language user guide","venue":null,"work_id":"cdc9bc31-9e8c-46bb-83e2-67d83b7e4505","year":2005},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.184082Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:0f686bb1bd080421e57f1f30311d5361a485bf4c79b3bdfca1c48bb7caf200eb","observation_id":"c2b8aaf5-a451-4f48-acc1-78055fdf9d4a","resolution":{"observed_at":"2026-08-12T16:47:17.987549Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.02221","last_updated":"2023-09-05T13:24:43Z","snapshot_observed_at":"2026-08-04T03:52:34.061829Z","submitted_at":"2023-09-05T13:24:43Z","title":"Improving students' code correctness and test completeness by informal specifications","version":1},"cited_work":{"arxiv_id":"2309.02221","doi":null,"metadata_source":"pith","pith_arxiv_id":"2309.02221","snapshot_observed_at":"2026-08-12T16:47:17.424154Z","title":"Improving students' code correctness and test completeness by informal specifications","venue":"cs.SE","work_id":"ab816ea2-105a-4c42-ab1d-80a7591b3d9a","year":2023},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.188644Z"},"links":{"cited_paper":"/paper/2309.02221","citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:fb0cbd99970d9b7dcc92a01ad5b4087e322fac864479cb46e04dc01837e79df9","observation_id":"e4825bda-5a05-4140-a91d-722efe403077","resolution":{"observed_at":"2026-08-12T16:47:17.429299Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.966813Z","title":null,"venue":null,"work_id":"e0e4c7e1-ab51-4bf4-be3d-8e2032f7b05c","year":2002},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.193637Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:490e9e28535b2499e4c5ee4e7f0565cd46307d3974b17cd5093a6352bab47c14","observation_id":"4b6a7271-4548-43ac-92cf-89e9174a19b1","resolution":{"observed_at":"2026-08-12T16:47:17.972310Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.950412Z","title":"Systematic testing should not be a topic in the com- puter science curriculum! ACM Sigcse Bulletin , pages 7–10, 09 2003","venue":null,"work_id":"2152a151-b49b-4790-ad0e-bde566ea9481","year":2003},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.198164Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:58736e266a28cfeda77f18d41d6c22e363e0a6e1ec57392d84ec8a331c42cba6","observation_id":"b25f768e-eb62-45e6-85fd-cc831b6fdaec","resolution":{"observed_at":"2026-08-12T16:47:17.955558Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.202776Z","title":"A Discipline of Programming","venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.202776Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:4957a0abeaa461287a009459ead98a9f8c0d6b692e0574e8e630abcc2a0e422a","observation_id":"5a100cde-a663-4ea0-ad45-63b21cd5d5ff","resolution":{"observed_at":"2026-08-12T16:47:17.202776Z","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-12T16:47:17.924852Z","title":null,"venue":null,"work_id":"6caf4dff-474c-4c71-8022-3298cad536af","year":1988},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.207246Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:1ca9aa09818b44ac116182f39d8a54ddc054548ad3c049024694eeb8dad2b098","observation_id":"c9017e35-9799-477a-beea-111582c73143","resolution":{"observed_at":"2026-08-12T16:47:17.929371Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.909425Z","title":null,"venue":null,"work_id":"ed885fe9-1b07-4aac-8250-1727e3c37a9d","year":2004},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.212039Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:f33986034fd32149e53699f60f9b01f8dfd8796e8e1b0c758c651d189d750eb5","observation_id":"d740e07f-8f64-4606-9dd9-a9b4967e23d5","resolution":{"observed_at":"2026-08-12T16:47:17.913944Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.894834Z","title":"Edwards and Z","venue":null,"work_id":"00d9fd93-c48e-4e32-863a-44ac479a0990","year":2014},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.216523Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:df19b5a9501aca691866e8784fc6c65fcb8960943c619a228033d017642159c9","observation_id":"dfcf49fe-aecd-4a77-b3cc-9152d15db716","resolution":{"observed_at":"2026-08-12T16:47:17.899442Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.879817Z","title":"How to Design Programs","venue":null,"work_id":"4518d407-547c-4d76-886f-d07311c8efaa","year":2001},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.221457Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:89a25829d0c2fc200b54d522664bde9f9b11fd9da86a677db1a7b6afa425daa1","observation_id":"6fff043a-84bc-405a-a50f-22918712ec75","resolution":{"observed_at":"2026-08-12T16:47:17.884854Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.864967Z","title":"Gegg-Harrison, Gary R","venue":null,"work_id":"7f3627aa-197b-4368-a824-0cb83291517a","year":2003},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.226200Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:0f54f1963f14d43b228e77388d73d75b6c9cf8bc1830e53a7a37b93c1740fac6","observation_id":"4c42064a-462d-4244-acf5-faa65a5487c0","resolution":{"observed_at":"2026-08-12T16:47:17.869777Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.849721Z","title":"Ghezzi, M","venue":null,"work_id":"85ebc08f-8199-40c9-a0c8-a17aa78f0d66","year":2002},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.230963Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:7710a53a9253908d4c5896f3c7068ebb68f0ea8776af950a832474e9f8a4d2b1","observation_id":"bd9aebb6-9a63-406c-a9c0-527d0f174b1f","resolution":{"observed_at":"2026-08-12T16:47:17.854384Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.834852Z","title":"The Science of Programming","venue":null,"work_id":"ce387d66-8a2b-4576-be56-9d2fcb295466","year":1981},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.235403Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:cfcc23d2c18ad922f90d8a6a51ac2fb425d71541ddfe5d510fcbf83f43e01b74","observation_id":"edd3acf5-acff-43da-a426-e8745e4da6c9","resolution":{"observed_at":"2026-08-12T16:47:17.839534Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.820050Z","title":"Java unit testing with JUnit 5","venue":null,"work_id":"7493cb1c-29e9-4274-b16f-2b0d8ea760ef","year":2017},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.240319Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:2998e11d7a61144527b37c620c8d1028b785d121802222e79288757f7f6da056","observation_id":"06ce5ec9-893e-4305-9252-a28109fb4309","resolution":{"observed_at":"2026-08-12T16:47:17.824579Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.805077Z","title":null,"venue":null,"work_id":"7c3ac8e9-2481-4017-a911-98a6529dafd3","year":1972},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.244780Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:d58e4377c61d4cbc02c948a5bd13e386d547228cdc36ae171054a01397fb359a","observation_id":"603521d6-8ceb-445f-8a53-caf8794e0d28","resolution":{"observed_at":"2026-08-12T16:47:17.809882Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.790563Z","title":"Software testing: a craftsman ’s approach","venue":null,"work_id":"f1727af9-8f8c-4521-b13b-848af6455936","year":2013},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.249638Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:89b3c288106ba7995c48df845902ac03f9b8d0260395fa5c5a19acdf1352401f","observation_id":"76a6f04c-435e-46bf-b724-c3a6b40eb70c","resolution":{"observed_at":"2026-08-12T16:47:17.795051Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.775140Z","title":"Kruchten","venue":null,"work_id":"39aba74f-ec3c-4e24-9da8-4954f0959479","year":2004},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.254339Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:02f6534e3499722b3c99703e27a9967ba774f63998af250d10212b6bbd098b8b","observation_id":"20dc8f70-0b64-4ff4-b7e4-f21e6aef0eaf","resolution":{"observed_at":"2026-08-12T16:47:17.780509Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.760119Z","title":null,"venue":null,"work_id":"bcbc36a6-9c69-46f4-9d0a-080dc270d56c","year":2004},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.259312Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:1b18a1f1d8c7a43430e5280bc81643790044f2b036a0dec3ae4296b3faf2b598","observation_id":"9b57f589-e6de-4b60-97d2-8c121998a38e","resolution":{"observed_at":"2026-08-12T16:47:17.765321Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.745338Z","title":"Leavens and C","venue":null,"work_id":"a91058e6-f03f-4a52-bba9-34c3d0ebf349","year":null},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.264119Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:b8459d98a34551cdbc92e639c9858b66a911deb4570f13ad18b87b0e680de060","observation_id":"5804278f-0ef0-41d6-a060-665f563cd48a","resolution":{"observed_at":"2026-08-12T16:47:17.750161Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.730483Z","title":"Rustan M","venue":null,"work_id":"4cb804f2-1e5e-4956-a80b-9d8809ea85af","year":1995},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.269530Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:1e150681960f1a871c0acbadf1e9a40c5a56c55beccf33257c6fc06f7f16c2d4","observation_id":"bf77f4b0-c0e9-4686-86c4-dbd7eca2fda8","resolution":{"observed_at":"2026-08-12T16:47:17.735178Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.715486Z","title":"Program Proofs","venue":null,"work_id":"ad9acfc8-5de3-4cd4-8204-5e83ae79379f","year":2023},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.274021Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:7c49c1a4a3016467a22e9f1987b78e55b9d3776c537b65ab9bec82b46b3543ba","observation_id":"d3ed3985-233f-4928-a82c-b760bcb63f55","resolution":{"observed_at":"2026-08-12T16:47:17.720123Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.701108Z","title":"Rustan M","venue":null,"work_id":"a46e9617-567c-47a0-b1ab-142171b0a1a8","year":2002},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.278554Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:32a293ad2557f414b39cfb08d96c33d7ef287af8fe6c8690f3a59ed5525dd10c","observation_id":"aa758baf-f59b-4b40-86f1-31f916811548","resolution":{"observed_at":"2026-08-12T16:47:17.705722Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1404.6602","last_updated":"2014-04-26T05:32:07Z","snapshot_observed_at":"2026-08-13T02:41:36.459389Z","submitted_at":"2014-04-26T05:32:07Z","title":"The Dafny Integrated Development Environment","version":1},"cited_work":{"arxiv_id":"1404.6602","doi":null,"metadata_source":"pith","pith_arxiv_id":"1404.6602","snapshot_observed_at":"2026-08-12T16:47:17.399261Z","title":"The Dafny Integrated Development Environment","venue":"cs.PL","work_id":"384d74aa-0053-456e-90ae-03fbe4107115","year":2014},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.282968Z"},"links":{"cited_paper":"/paper/1404.6602","citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:4828463aea387c9efbd0f96200a877ee27ac0d5d756ae119d792334b6ba83c5d","observation_id":"84ee4ab4-49c7-45e5-9374-ccf8d1e46abc","resolution":{"observed_at":"2026-08-12T16:47:17.406319Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.684901Z","title":"Program Development in Java: Abstrac- tion, Specification, and Object-Oriented Design","venue":null,"work_id":"5f954ceb-fb3d-4fdd-a63b-4378370863ac","year":2000},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.288402Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:f1a0efb9aa33337323701c1b03c3aa14b2d92bed74a3da8b9f4da49721744a8d","observation_id":"5a1c0d84-b226-4e79-896a-3f51cc602c3f","resolution":{"observed_at":"2026-08-12T16:47:17.689756Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.668600Z","title":"Ab- straction mechanisms in clu","venue":null,"work_id":"e5f4aa7f-edcb-4176-bb86-80afccff66d1","year":1977},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.293017Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:d6fabd4e992b9fbfac5513dfc14bab38db45a13801e163a1d7936d0cd86ba00b","observation_id":"f45127ef-8f6b-44e8-94b5-158dc17d35a1","resolution":{"observed_at":"2026-08-12T16:47:17.674333Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.653608Z","title":"Liskov and Jeannette M","venue":null,"work_id":"6a295898-f218-4274-9b4c-83723584531f","year":1994},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.297369Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:0d3e2a74b9f00dbbbc9d54c5706a27f452f18e684f167136a349ed3914727007","observation_id":"a5c3f5aa-9f2b-4232-b58f-528d8a5131a1","resolution":{"observed_at":"2026-08-12T16:47:17.658174Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.637296Z","title":"Integrating specification-based review and testing for detect- ing errors in programs","venue":null,"work_id":"f98db190-4d8c-4b55-a165-daa26d2129d4","year":2007},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.301957Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:60e1a53aa9624c02fd87da9937c4199b9b27861acf9550dc731e1ec94655696d","observation_id":"a30950c8-aa61-492d-8dc5-c676fb227e9d","resolution":{"observed_at":"2026-08-12T16:47:17.643445Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.621745Z","title":"Merri¨ enboer and Paul A","venue":null,"work_id":"945df1c8-2a8d-4ad6-ba2a-f8619c9a0652","year":2007},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.306252Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:a11b5c18b41e72107fac0a0c4517a86aa49ab58b5bc0c7089942dc19e2f0c16f","observation_id":"e1fc5ec5-aea5-44c5-bbaa-d706287cafff","resolution":{"observed_at":"2026-08-12T16:47:17.626425Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.606508Z","title":"Object-Oriented Software Construction","venue":null,"work_id":"52e5ddce-0092-4b58-92aa-8e1e0a603d30","year":1997},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.310772Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:f94c0e3de1d36397e825a8910221735385bd45157f1ee089e5fb613f8ccbd9ec","observation_id":"7f2bf729-59b4-4858-86a7-f3d01d915cef","resolution":{"observed_at":"2026-08-12T16:47:17.611613Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.591037Z","title":"Design by Contract","venue":null,"work_id":"739f2581-abd8-4a51-8046-e3f9cc2d5a3f","year":2002},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.315225Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:e9fa4d568647a445ff9517da5dc1502cd2e8a2f3682b67d641ad4e6cabda3c54","observation_id":"c7d4c177-26f6-4049-927f-778c7811716a","resolution":{"observed_at":"2026-08-12T16:47:17.595661Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.574959Z","title":"Programming from Specifications","venue":null,"work_id":"877d5f00-3a88-4c81-963c-63cb48630e0f","year":1990},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.319665Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:58f651f85f5a39819971a7f86f29388a1fad8d391d1adcae4cc4003936473523","observation_id":"49dca5ee-29a6-4abf-b7f9-4fad1c5d050c","resolution":{"observed_at":"2026-08-12T16:47:17.580103Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.559685Z","title":null,"venue":null,"work_id":"842e47eb-d489-4c4b-9bb8-3f1912b1c2fb","year":1989},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.324175Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:09a0f8b9e0433c1f7f3f3e0f1e960682529f4ffd7e00b20b93453560a3a1f9f7","observation_id":"664350b3-9b60-4772-973f-09cd7f7c05d2","resolution":{"observed_at":"2026-08-12T16:47:17.564082Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.545334Z","title":"Paige and Jonathan S","venue":null,"work_id":"d9571a9e-5723-48f0-9e08-64e53252dce4","year":2004},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.328596Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:fb3b1d3f7d216494df35d72a63754378dfc5cb1e0fb1d8a5e090bd4694c22f24","observation_id":"9759d236-a75c-4f04-be2a-6f95e3184ada","resolution":{"observed_at":"2026-08-12T16:47:17.549740Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.531481Z","title":"Precise documentation: The key to better software","venue":null,"work_id":"f588a115-40a4-4e11-b8a2-9adcfce9b638","year":2011},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.333068Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:2ca592c810f7df0cdb4c71752f1da757681c7ab445eefeea0c70eeea5ecd1a4f","observation_id":"0e26975d-9851-4978-a9df-5c863dbff9a0","resolution":{"observed_at":"2026-08-12T16:47:17.535881Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.517338Z","title":null,"venue":null,"work_id":"81aeb70c-f718-4943-862e-ac94ab767f01","year":1972},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.337665Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:9ecebac841955f4f467b3d4a77ca7bb3409b553b432d0f38d1d9a648c9205b18","observation_id":"a7fd883e-2304-41d2-9d31-bbd33216eb0b","resolution":{"observed_at":"2026-08-12T16:47:17.521966Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.502080Z","title":"Specification based OO-development: Procedural guidance","venue":null,"work_id":"d4cfb409-c4ee-495a-91a0-1ca2f114955e","year":2022},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.342236Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:3a00fd3f635d2a55583bdfff1478bfa13bc8034225f544f37636a0b6f8a4ed77","observation_id":"c0fbf2e0-299c-4437-b68e-974c837a3caf","resolution":{"observed_at":"2026-08-12T16:47:17.507012Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.485574Z","title":"Exploring stu- dents’ understanding of the concept of algorithm: levels of abstraction","venue":null,"work_id":"bdea86e6-60de-434f-8edc-0ff6a7c7104a","year":2005},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.346785Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:aed8d5dd18a0d9b7f4d05820792c785fade38655f7c9641397aeba4b4cd13239","observation_id":"94714a0e-8a27-4a84-97c7-a1c2751d3dbd","resolution":{"observed_at":"2026-08-12T16:47:17.491243Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.469945Z","title":"Teaching cps foundations with contracts","venue":null,"work_id":"aac03471-10bd-453e-89c9-2597bad464f9","year":2013},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.351409Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:887514f233ac4680f56f26cade38199ba9bb2b91b2b1eb75084d72e34cf0999f","observation_id":"deb83217-5c66-49ac-a263-39d71fd12a3f","resolution":{"observed_at":"2026-08-12T16:47:17.474775Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.455186Z","title":"Furia, Yu Pei, Yi Wei, and Bertrand Meyer","venue":null,"work_id":"80e338fa-3ebf-4ade-bee0-b220bbaea5dd","year":2013},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.355800Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:a70a5b910626c3b45e70b11f38d44733ddaee9ab8c3b3f2422b84081e921ce43","observation_id":"916adf47-a4dd-41a3-9ef8-923d14d46856","resolution":{"observed_at":"2026-08-12T16:47:17.459665Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:47:17.439815Z","title":null,"venue":null,"work_id":"3b6cc91c-d2b7-42b4-9a2c-544f92ad4455","year":1971},"citing_paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-12T16:47:17.360591Z"},"links":{"citing_paper":"/paper/2411.13200"},"observation_digest":"sha256:31d80f9b975192c4dfa897ed920e9c733cb6ca9ad197cca47cb057e087208332","observation_id":"a595397e-ba1f-4d94-940d-b1856287ec85","resolution":{"observed_at":"2026-08-12T16:47:17.444771Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.13200","last_updated":"2024-11-20T11:01:33Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-12T16:40:15.765869Z","submitted_at":"2024-11-20T11:01:33Z","title":"Guided Object-Oriented Development"},"reference_resolution":{"displayed":45,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":11,"verified_exact":2,"verified_fuzzy":32},"total_outbound_references":45},"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-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 45 of 45 outbound references and 0 inbound Pith citation observations for arXiv:2411.13200."}