{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007703633,0.002409173,0.001763141,0.003551854,0.001505901,0.007837732,0.007643584,0.002058667,0.005893731],"category_scores_gemma":[0.02194629,0.002504288,0.004112333,0.002218544,0.002787183,0.008054792,0.005392986,0.005205796,0.002491635],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001630075,"about_ca_system_score_gemma":0.004655147,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008807166,"about_ca_topic_score_gemma":0.01115531,"domain_scores_codex":[0.9944634,0.001048854,0.0008687982,0.0009490972,0.00211816,0.000551663],"domain_scores_gemma":[0.9811212,0.009593331,0.001287385,0.005105334,0.002391555,0.0005012101],"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.0005455682,0.0005699995,0.005553016,0.001531177,0.0005468588,0.001315223,0.002162406,0.1443983,0.03011191,0.4716674,0.02101101,0.3205872],"study_design_scores_gemma":[0.00008794611,0.0001040479,0.0005714585,0.000309461,0.0002435135,0.0004130398,0.0002135645,0.6540552,0.02431832,0.2904388,0.02909659,0.000148062],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0007561829,0.00004602979,0.9897717,0.0000622802,0.00002012182,0.00007571909,0.0002554786,0.00866918,0.0003433134],"genre_scores_gemma":[0.07053434,0.0003194703,0.9213626,0.0002790562,0.000126659,0.0004649682,0.002027137,0.003203395,0.001682375],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008807166,"threshold_uncertainty_score":0.04074121,"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."}}