{"id":"W1591778339","doi":"10.33915/etd.1237","title":"Random search of AND-OR graphs representing finite-state models","year":2002,"lang":"en","type":"dissertation","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Finite-state machine; Testability; Theoretical computer science; Model checking; State (computer science); Random graph; Graph; Algorithm; Mathematics","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.0005181916,0.0002058843,0.0003699969,0.0003736393,0.00009542501,0.0001280266,0.0006402415,0.0001361789,0.00001748803],"category_scores_gemma":[0.000478835,0.0001636658,0.00009793266,0.0004579159,0.00003448595,0.000246491,0.000141339,0.0002459648,0.000003639179],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008102615,"about_ca_system_score_gemma":0.00005800638,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004000371,"about_ca_topic_score_gemma":0.00002360682,"domain_scores_codex":[0.9983642,0.00008065302,0.0003991231,0.0005135801,0.0003872271,0.0002551951],"domain_scores_gemma":[0.9976746,0.001199145,0.0001886017,0.0006406551,0.0002279625,0.00006900168],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000601147,0.0004459402,0.001949519,0.002526711,0.000313199,0.0003871999,0.02943317,0.006868366,0.0002552295,0.02073528,0.03995145,0.8965328],"study_design_scores_gemma":[0.0005089305,0.00008678705,0.00009944931,0.0004460165,0.0000146473,0.00001661143,0.00002935484,0.8576149,0.002228322,0.1386125,0.0000253502,0.0003170729],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03676145,0.001037423,0.9228758,0.00007598976,0.0002971383,0.0006302977,0.000007450704,0.01058905,0.02772544],"genre_scores_gemma":[0.5331826,0.000633429,0.4378212,0.00006958847,0.00002655949,0.00005412583,0.00004735793,0.00004867605,0.02811647],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8962157,"threshold_uncertainty_score":0.6674096,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06222283750590606,"score_gpt":0.3141147633776191,"score_spread":0.251891925871713,"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."}}