{"id":"W4225385632","doi":"10.1002/cpe.6974","title":"Execution trace‐based model verification to analyze multicore and real‐time systems","year":2022,"lang":"en","type":"article","venue":"Concurrency and Computation Practice and Experience","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Brock University; Polytechnique Montréal","funders":"Natural Sciences and Engineering Research Council of Canada; Telefonaktiebolaget LM Ericsson","keywords":"Computer science; Debugging; TRACE (psycholinguistics); Tracing; Multi-core processor; Workflow; Key (lock); Distributed computing; Real-time computing; Embedded system; Programming language; Operating system; Database","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.00211068,0.001650802,0.0008719845,0.002092384,0.0008034739,0.001245671,0.001501207,0.0009336473,0.003685506],"category_scores_gemma":[0.01285381,0.0006459035,0.001495829,0.001254969,0.001165641,0.002212541,0.001575784,0.00162473,0.0003416711],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001737874,"about_ca_system_score_gemma":0.003180983,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01849118,"about_ca_topic_score_gemma":0.01695859,"domain_scores_codex":[0.9980654,0.0006048594,0.0001299968,0.000267834,0.0007271664,0.000204678],"domain_scores_gemma":[0.9911806,0.005455861,0.0007356413,0.0009294249,0.001468189,0.0002303153],"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.0001143829,0.00008351615,0.002160872,0.0001181514,0.00005559439,0.0001054707,0.00006658551,0.9489016,0.005608311,0.01270966,0.0005178393,0.02955816],"study_design_scores_gemma":[0.000005041096,0.00001031848,0.0000642763,0.000004350838,0.000002956583,0.000008798009,0.0000060883,0.9949056,0.001923582,0.002844644,0.000221174,0.000003252319],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03118365,0.0000895318,0.9651918,0.00009111143,0.00002835756,0.00007238416,0.0001230034,0.002420071,0.0008001151],"genre_scores_gemma":[0.6170978,0.0001212688,0.3797383,0.00008699808,0.00002085174,0.0002095907,0.000621066,0.0007606921,0.001343428],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01849118,"threshold_uncertainty_score":0.03676713,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05049310498795191,"score_gpt":0.3517176971639413,"score_spread":0.3012245921759894,"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."}}