{"id":"W3091323582","doi":"","title":"Trace checking for dynamic software product lines","year":2018,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Product (mathematics); Service (business); Quality (philosophy); TRACE (psycholinguistics); Computer science; Abstraction; Software; Operations research; Business; Mathematics; Operating system; Marketing","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.00344373,0.0009880239,0.0006227422,0.002338707,0.0006133795,0.00144626,0.002290209,0.0008306852,0.001649003],"category_scores_gemma":[0.02418483,0.0007388315,0.001361016,0.001637079,0.001697608,0.003393675,0.001585654,0.001262902,0.0001890841],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001586696,"about_ca_system_score_gemma":0.002063737,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01227252,"about_ca_topic_score_gemma":0.008882376,"domain_scores_codex":[0.9950408,0.001328353,0.0003560748,0.0009552477,0.001916646,0.0004028701],"domain_scores_gemma":[0.977225,0.01458791,0.002144417,0.003473719,0.002199873,0.000369001],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0008180987,0.0002542601,0.04026596,0.0004644107,0.0002173016,0.0007041023,0.0008099282,0.7286283,0.02931812,0.02462221,0.001291665,0.1726056],"study_design_scores_gemma":[0.00002544397,0.0001124588,0.001225637,0.00002792747,0.00003029279,0.00009838489,0.00006195721,0.969571,0.01036923,0.01751565,0.0009453723,0.00001671533],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3045207,0.0003752104,0.684944,0.000235146,0.00003698803,0.000123463,0.0005766967,0.007872143,0.001315644],"genre_scores_gemma":[0.8820024,0.0001130153,0.1159206,0.0000429806,0.00001203589,0.00008319945,0.0006483001,0.0004046684,0.0007727644],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01227252,"threshold_uncertainty_score":0.02440214,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04604889781166416,"score_gpt":0.3320511403032142,"score_spread":0.28600224249155,"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."}}