{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002062981,0.001395205,0.0005756554,0.00223441,0.0006384623,0.002147503,0.001638029,0.001273095,0.004660747],"category_scores_gemma":[0.0153972,0.0006043441,0.001790738,0.0009371918,0.001969517,0.003715335,0.001845728,0.002537174,0.0009964453],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001472851,"about_ca_system_score_gemma":0.002116064,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003074697,"about_ca_topic_score_gemma":0.003072596,"domain_scores_codex":[0.9965047,0.0007247011,0.0003685968,0.0006550177,0.001508071,0.0002388958],"domain_scores_gemma":[0.9883471,0.006838471,0.001292762,0.001670564,0.001665736,0.000185434],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0005863681,0.000279902,0.00702157,0.001429866,0.0001828761,0.002667886,0.001513951,0.1464241,0.08626888,0.4039212,0.008895095,0.3408083],"study_design_scores_gemma":[0.00007837001,0.0002159882,0.0005499779,0.0002595953,0.00009624556,0.001143644,0.0001655294,0.7455248,0.0740324,0.145702,0.03214176,0.00008967899],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006120432,0.0001879538,0.9869601,0.0001857114,0.00005933701,0.0001300592,0.0002275035,0.004041893,0.002086972],"genre_scores_gemma":[0.3076414,0.0005005291,0.6856936,0.0004408979,0.00009453874,0.0003534095,0.001302709,0.0009500046,0.003022862],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004660747,"threshold_uncertainty_score":0.0155918,"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."}}