{"id":"W4320005455","doi":"10.1109/tse.2023.3242588","title":"Trace Diagnostics for Signal-Based Temporal Properties","year":2023,"lang":"en","type":"article","venue":"IEEE Transactions on Software Engineering","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University; University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada; European Commission","keywords":"TRACE (psycholinguistics); Computer science; Digital subscriber line; Property (philosophy); Context (archaeology); Domain-specific language; Specification language; Complement (music); Medical diagnosis; SIGNAL (programming language); Programming language; Root cause; Theoretical computer science; Reliability engineering","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002900914,0.0001552396,0.0001305644,0.0002547871,0.0001470352,0.00007528396,0.000366837,0.00007644045,0.000004392698],"category_scores_gemma":[0.0001108628,0.0001571763,0.00009751433,0.0006381636,0.00001760468,0.0003116633,0.000001557841,0.0001610327,0.00004234123],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006720798,"about_ca_system_score_gemma":0.00005546428,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005573849,"about_ca_topic_score_gemma":0.000001377828,"domain_scores_codex":[0.999019,0.0000213585,0.0002047572,0.0002677738,0.000202492,0.0002845717],"domain_scores_gemma":[0.9990647,0.0004016303,0.00003487847,0.0003521213,0.00007247366,0.00007422628],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001064278,0.00004458601,0.00001438237,0.0001136306,0.00001480115,0.000003135576,0.0002063041,0.9684201,0.001211717,0.0003892057,0.0001601767,0.02941133],"study_design_scores_gemma":[0.0002148144,0.0001074568,0.0001474826,0.00006437371,0.000008704857,0.000002145679,0.000008415174,0.869149,0.1280155,0.00002557043,0.002055543,0.0002009707],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004301745,0.00003734828,0.9922747,0.00008273414,0.001067648,0.0003452978,0.00001937445,0.001868732,0.000002398739],"genre_scores_gemma":[0.3934757,0.000008544849,0.6060033,0.00003548372,0.00003331652,0.0003247627,0.000002012465,0.00002688607,0.00008988351],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.389174,"threshold_uncertainty_score":0.6409463,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04247656139871854,"score_gpt":0.2590470647484599,"score_spread":0.2165705033497414,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}