{"id":"W1974536975","doi":"10.1145/1639622.1639623","title":"Run-time conformance checking of mobile and distributed systems using executable models","year":2009,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Executable; Computer science; Conformance testing; Unified Modeling Language; Distributed computing; Mobile device; Programming language; Operating system; Software","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.005681603,0.0009587502,0.0007016049,0.001313756,0.0006210956,0.002134709,0.002260925,0.001170804,0.001414563],"category_scores_gemma":[0.020956,0.0008534188,0.001593404,0.0005488466,0.002011092,0.003493398,0.001849393,0.001483183,0.0002649798],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001193104,"about_ca_system_score_gemma":0.001895217,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003374845,"about_ca_topic_score_gemma":0.003898574,"domain_scores_codex":[0.9918528,0.0029428,0.0006253314,0.0007810451,0.003390887,0.0004071687],"domain_scores_gemma":[0.9843201,0.00874949,0.001680035,0.003448488,0.00160105,0.0002007936],"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.0009483456,0.0006637645,0.01363337,0.0006764819,0.0003669791,0.002517297,0.003091068,0.5766005,0.06245714,0.2076615,0.00159687,0.1297868],"study_design_scores_gemma":[0.0001021985,0.0003022078,0.0006275838,0.000122581,0.00009775899,0.0004400529,0.0001789141,0.9096583,0.03975475,0.04230084,0.00636678,0.0000480515],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03834092,0.0000793186,0.9572963,0.00009411792,0.00001952909,0.0001204763,0.0000529737,0.00297272,0.001023675],"genre_scores_gemma":[0.511695,0.0001391768,0.4856068,0.00008485006,0.00002319098,0.0002280327,0.0003387079,0.0005786588,0.001305527],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005681603,"threshold_uncertainty_score":0.03004754,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02418150386581463,"score_gpt":0.2541485503401923,"score_spread":0.2299670464743777,"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."}}