{"as_of":"2026-08-16T23:43:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ff3184e82d8abea10c9699ad26e541d6db9e8cc610089ed3463021da01e7b75c","coverage":[{"denominator":29,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":29,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T14:52:45.525915Z","state":"measured"},{"denominator":29,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":29,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+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/1908.02329/citation-record","integrity":"/paper/1908.02329/integrity","json":"/paper/1908.02329/citation-record.json","paper":"/paper/1908.02329"},"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-14T14:52:46.063515Z","title":"Discovering models of software processes from event-based data,","venue":null,"work_id":"cb5bbfa5-7df7-4dea-903d-029010a15707","year":1998},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.360678Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:e9f1d90d466cae7dd90a37caf9cf1ca43de3fd18a91a2ee7971585bc86ce1a4c","observation_id":"0933cec6-c02d-44fd-8e10-ad62609c42d7","resolution":{"observed_at":"2026-08-14T14:52:46.068747Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:46.046493Z","title":"Behaviourally adequate software testing,","venue":null,"work_id":"4141857b-eb12-4ea7-819c-9ec379ba8e00","year":2012},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.369434Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:de1d2d594feb140e437bc17ea2e30340eadf4fe2706cfe1e4aeb13341576fc64","observation_id":"eee43f6a-1128-451c-bc74-889fe62ad61b","resolution":{"observed_at":"2026-08-14T14:52:46.051922Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:46.028446Z","title":null,"venue":null,"work_id":"6f2c8a5b-3e15-49d9-beb5-204e43194c8e","year":2018},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.375405Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:0e2d819016fe227125edee31cb79ac8ebaefe32d62be97106807c89cfd047a84","observation_id":"a35c806f-497a-479e-9d9e-1244c31980d8","resolution":{"observed_at":"2026-08-14T14:52:46.033435Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:46.012051Z","title":"A framework for the competitive evaluation of model inference tech- niques,","venue":null,"work_id":"81bfdb6d-bc5b-4809-8f76-5b6f3364a86c","year":2010},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.381158Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:686d913b9f2afca5986ca68038c786aef242a9b06a3d46cd65d17293d484be08","observation_id":"659f5b0c-d996-428e-90e0-0e1094c2fe16","resolution":{"observed_at":"2026-08-14T14:52:46.017225Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:45.994341Z","title":"On the synthesis of finite-state machines from samples of their behavior,","venue":null,"work_id":"facd98e0-ebb8-4fd3-9f7c-076305b83142","year":1972},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.387312Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:76ca8ee02de821ef32602ed55431d1af614992d26b1bdd2535d799b3de7e5fb8","observation_id":"1398df69-c256-4ded-bd09-da9a1b8b2951","resolution":{"observed_at":"2026-08-14T14:52:46.000250Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:45.976550Z","title":"Leveraging existing instrumentation to automatically infer invariant- constrained models,","venue":null,"work_id":"bb646f13-c65e-48fd-ab08-5bc996dacfa7","year":2011},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.395014Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:14cc0e9ac708e1dff5c7de26c81d084b54507008ec9b3ed759710362a5188052","observation_id":"bcfe7ad8-a163-4909-a9f6-74d414ec255c","resolution":{"observed_at":"2026-08-14T14:52:45.982315Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:45.960582Z","title":"Inferring software behavioral models with mapreduce,","venue":null,"work_id":"51a3abc3-ca09-46d6-ade6-7076aa62d7f5","year":2017},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.402583Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:140e150bb5aa7b0205e86bdd76984ff47970f421b29812bd5de3a8c02c0802a6","observation_id":"85eb991d-639f-4825-b011-bc253c4bbc27","resolution":{"observed_at":"2026-08-14T14:52:45.965603Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:45.944110Z","title":"Inferring extended finite state machine models from software executions,","venue":null,"work_id":"41cf141d-0c2e-403f-a6d6-38433c2554bb","year":2016},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.410822Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:8a38c41f2b6aa325e758721f8aebef7ea5ccc7990d18e30f225030bfb8113d17","observation_id":"0271813d-b345-4915-a981-6a7a4d935bf8","resolution":{"observed_at":"2026-08-14T14:52:45.949715Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:45.927861Z","title":"Gk-tail+ an efficient approach to learn software models,","venue":null,"work_id":"4b9c5681-23d8-4f1c-9462-7256b452ccc1","year":2017},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.416448Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:4415788f66c4cd443c5590c26c1677776a1b49baebe9ac027de4f29b7307fcb2","observation_id":"6df04cae-2f4e-467d-bf71-4465b8b520c6","resolution":{"observed_at":"2026-08-14T14:52:45.932956Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:45.911943Z","title":"Inferring extended probabilistic finite-state automaton models from software executions,","venue":null,"work_id":"f1fea933-a87d-4043-90f8-87d49e9a274b","year":2018},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.423446Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:995ce2e17adad8c5af4e08409431cc5c609658f341b1c0b973caf180ca77138e","observation_id":"d6ad44c1-0b9f-4358-86e4-6ba5a4ac6eb0","resolution":{"observed_at":"2026-08-14T14:52:45.917119Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:45.894815Z","title":"Scalable parallelization of specification mining using distributed computing,","venue":null,"work_id":"f28e0037-8106-407a-aaec-0b0164583ffb","year":2015},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.429864Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:9e0b066ac122f0eaafe645d682ab9daac3e799722a68b3d694cc0ef2cd02bbb7","observation_id":"5bac5ed2-47da-4b88-b2c2-313f16e0af1d","resolution":{"observed_at":"2026-08-14T14:52:45.900272Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:45.878255Z","title":"Inferring models of concurrent systems from logs of their behavior with CSight,","venue":null,"work_id":"2e6f8ac1-ddfb-4519-af6a-7099ee85046e","year":2014},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.435750Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:0676d78565d9d5e33a8a9f71624c998cd2742bb69deeb8c72570622c4cba86bc","observation_id":"4d28422f-37d5-4125-a12f-499cffc44766","resolution":{"observed_at":"2026-08-14T14:52:45.883739Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:45.860531Z","title":"A search-based approach for accurate identification of log message for- mats,","venue":null,"work_id":"11dfe24e-efe3-48f0-993b-e70d1ad2b963","year":2018},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.441619Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:20b2d005cfa1ff1a933ed5959c35b6dd980c2590b1a3f0ddb13c377bc1e41e5d","observation_id":"c79b379e-3030-48ca-9565-b8b0f8165007","resolution":{"observed_at":"2026-08-14T14:52:45.866165Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:45.842985Z","title":"Results of the Abbadingo One DFA learning competition and a new evidence-driven state merging algorithm,","venue":null,"work_id":"abae1b97-7541-4146-b791-8d6621ac296d","year":1998},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.447833Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:2f14515b70064b54f3cbc5445f9860d75f879e3541ab47c47f8256783b91447f","observation_id":"82622fd4-5ffd-4b30-885f-c1995e0b94e9","resolution":{"observed_at":"2026-08-14T14:52:45.848615Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:45.826616Z","title":"Automatic extraction of object-oriented component interfaces,","venue":null,"work_id":"f1008a4f-d686-4d4f-a5f1-ac942ad98bc2","year":2002},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.454308Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:33a5b0385ded4b62a686ccf4b33bc0ecd4315474e82a6f59deebacf3a16bcdac","observation_id":"c7cfd1ad-e33b-47d3-9041-8c22a48761cf","resolution":{"observed_at":"2026-08-14T14:52:45.832098Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:45.809036Z","title":"Toward the reverse engineering of UML sequence diagrams for distributed Java software,","venue":null,"work_id":"492696ec-0451-4ade-b7f7-5b31ae6d665c","year":2006},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.459972Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:4db6222f5547a04feaad60e14ff2e11ff3caa7fe682a1bda23fd2ba44a5790b2","observation_id":"1d091183-9f11-480b-9168-6d460bc73413","resolution":{"observed_at":"2026-08-14T14:52:45.815468Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:45.792180Z","title":"Internet time synchronization: The network time protocol,","venue":null,"work_id":"5da9a833-0d2e-4f93-a609-0047770106b7","year":1991},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.464946Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:5c3a4ec0be0620b692d4bf738bb87ec8b96a06ce38e1ffea94aa9e3820fdd9f3","observation_id":"eff26184-fadc-48f1-81db-aeb3c8397337","resolution":{"observed_at":"2026-08-14T14:52:45.797381Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:45.774484Z","title":"Generating annotated behavior models from end-user scenarios,","venue":null,"work_id":"e792a9af-7310-4c3a-b482-97a37d35b945","year":2005},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.469936Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:7ae48b197c75b248679cd229fd61d2f55fddd0dc0dcb54586231f85743561601","observation_id":"3d5db0e5-1edf-4bb5-b176-1a9dfa57ef11","resolution":{"observed_at":"2026-08-14T14:52:45.779700Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:45.757743Z","title":"Performance metrics: Keeping the focus on runtime,","venue":null,"work_id":"d166f58d-9068-48f2-a306-b7d7a9985f18","year":1996},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.474900Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:16794643e46e67152de1295da1e890fcf96bc60432e01db8aed8db8e4c3cef3f","observation_id":"c263d0b2-d7aa-4a73-be2b-48aa8e4e5acb","resolution":{"observed_at":"2026-08-14T14:52:45.763164Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:45.738657Z","title":"Using declarative specification to improve the understanding, extensibility, and comparison of model-inference algorithms,","venue":null,"work_id":"23f9c077-266f-4622-bc00-9693d205fcee","year":2015},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.479919Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:434d32a1edb56464679d9fdd341cfd40bd97a87df3f22e91b0d9c3c969ff0914","observation_id":"29b27252-fc8f-4be4-8992-f863a8c346a9","resolution":{"observed_at":"2026-08-14T14:52:45.745915Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:45.720268Z","title":"The daikon system for dynamic detection of likely invariants,","venue":null,"work_id":"ffca3cc8-e9d7-4ff5-8a32-82da13b0d59a","year":2007},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.484989Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:7002f507a3ca4c9cca2956ccead7af69a0fefd9fec3df3c1c21a960bf27d5411","observation_id":"b44ca4a9-a746-43fc-9cc3-620db9c9a739","resolution":{"observed_at":"2026-08-14T14:52:45.726427Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:45.702095Z","title":"Automatic functional test generation using the extended finite state machine model,","venue":null,"work_id":"b233e78a-d90e-471c-8e11-91a47905e4c8","year":1993},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.490082Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:c125002527c37700da5debef00c98f1f9363a906353bda5c446e3ff861c5959a","observation_id":"a405ec35-2488-4585-bea1-eaa7dc2cc2d4","resolution":{"observed_at":"2026-08-14T14:52:45.707799Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:45.685152Z","title":null,"venue":null,"work_id":"64c9ecf3-3930-4840-bfb0-54daf7a69de9","year":1997},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.495091Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:d86da2e888368b7172b294ecf639135b4570051791d34aa6fcb76297e64a278d","observation_id":"a2ac14ff-1115-4723-b3ef-9a746057f4c4","resolution":{"observed_at":"2026-08-14T14:52:45.690303Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:45.664319Z","title":"Stamina: A competition to encourage the development and assessment of software model inference techniques,","venue":null,"work_id":"c4c5b07f-462a-48e2-8d44-9da6dc30d6ad","year":2013},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.500083Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:5e5069138b2044d6da72d43ea42460ad2dba9570a55a6da68a5773530d6b2920","observation_id":"d1bb5ddc-0edc-4e7b-8b44-f36710836c2a","resolution":{"observed_at":"2026-08-14T14:52:45.672528Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:45.645587Z","title":"Language identification in the limit,","venue":null,"work_id":"64b06792-f764-45c7-92af-62b0f1f52f69","year":1967},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.505702Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:c9c93a8332446308348e31dd07c78e30877124f0511621bae907fb9114798eeb","observation_id":"7e28064e-f816-4042-8713-5f8e682f6f12","resolution":{"observed_at":"2026-08-14T14:52:45.651341Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:45.626680Z","title":"Mining message sequence graphs,","venue":null,"work_id":"0e54556e-c69b-4a18-973c-a9693c14c69b","year":2011},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.510739Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:6bbb7766dcaad342b8a9cd6f867b8b70d32ba72aaa9150c9aa871d5a0a87d9a8","observation_id":"242e8ff6-9a88-4357-85d1-58c08df0bee7","resolution":{"observed_at":"2026-08-14T14:52:45.633118Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:45.605748Z","title":"Inferring class level specifications for distributed systems,","venue":null,"work_id":"f79c29d5-5666-4831-bfb5-2c1a734401af","year":2012},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.515632Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:197c95cfd1625b718ee1ccb5e29f9595adcfb969155dbc7b400acd047a4cb5e8","observation_id":"c2ed924c-a7af-477a-9dc1-c0dae8aaf388","resolution":{"observed_at":"2026-08-14T14:52:45.612673Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:45.584924Z","title":"Compo- nent behavior discovery from software execution data,","venue":null,"work_id":"fec84dcc-c87d-4639-996f-2128c8ade203","year":2016},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.520927Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:c4070e59376dde885309e28ba3b0518c4e05c0cb38f1ffb0e43120522e4d069e","observation_id":"177888fd-3dd1-433c-928e-d440fa22bb38","resolution":{"observed_at":"2026-08-14T14:52:45.591074Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:52:45.560481Z","title":"Mapreduce: Simplified data processing on large clusters,","venue":null,"work_id":"ce7db5a2-2c3b-4836-9d46-614851432062","year":2008},"citing_paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T14:52:45.525915Z"},"links":{"citing_paper":"/paper/1908.02329"},"observation_digest":"sha256:874607dbc0e1091e0d3528cc0c812ab1fe1c9eb4d9bc4cc396baf47e7f631aa3","observation_id":"c027e294-c413-4983-a231-dbe986bcb435","resolution":{"observed_at":"2026-08-14T14:52:45.570357Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.02329","last_updated":"2020-04-16T16:50:10Z","latest_version":3,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-16T14:19:46.572057Z","submitted_at":"2019-08-06T19:04:22Z","title":"Scalable Inference of System-level Models from Component Logs"},"reference_resolution":{"displayed":29,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":2,"verified_exact":0,"verified_fuzzy":27},"total_outbound_references":29},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:1908.02329."}