{"id":"W2340362696","doi":"10.1007/s11219-016-9311-0","title":"A declarative framework for stateful analysis of execution traces","year":2016,"lang":"en","type":"article","venue":"Software Quality Journal","topic":"Software System Performance and Reliability","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Computer science; Debugging; Tracing; TRACE (psycholinguistics); Programming language; Abstraction; Software engineering; Distributed computing; Theoretical computer science","routes":{"ca_aff":true,"ca_fund":false,"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.002824309,0.0001591817,0.0005230153,0.0003132162,0.0002417587,0.00009153903,0.0006713539,0.0001523036,0.00003961549],"category_scores_gemma":[0.001725883,0.00009418092,0.0005013914,0.0009661588,0.0001171651,0.0008273228,0.0000665299,0.0001663886,0.000007075174],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001292995,"about_ca_system_score_gemma":0.0002121549,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001660819,"about_ca_topic_score_gemma":0.00001488322,"domain_scores_codex":[0.9976215,0.0003427508,0.0008713055,0.0003278265,0.0005077352,0.000328868],"domain_scores_gemma":[0.9959424,0.001942629,0.0007178998,0.0005540766,0.0006949904,0.0001479631],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000398461,0.0005391162,0.4494413,0.0003081956,0.003508272,0.000008174954,0.01386854,0.0005993065,0.0009256155,0.07464842,0.001149399,0.4546052],"study_design_scores_gemma":[0.00237343,0.001023689,0.472837,0.0006563702,0.0007809576,0.00005743299,0.0009904932,0.001797262,0.007970309,0.5074937,0.003037157,0.0009821367],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2492995,0.0001640003,0.7492566,0.0006387857,0.0003737232,0.0001398388,0.00004382748,0.00007746839,0.000006240399],"genre_scores_gemma":[0.7776979,0.00006348386,0.2219818,0.00008593423,0.0000975314,0.0000179134,0.000002302835,0.000006548271,0.00004654755],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5283985,"threshold_uncertainty_score":0.3840586,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04390968862051765,"score_gpt":0.3593724630374728,"score_spread":0.3154627744169552,"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."}}