{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002485437,0.0007507757,0.0008774282,0.001786123,0.0006884102,0.000918625,0.001154489,0.001003803,0.002688153],"category_scores_gemma":[0.01608486,0.0005378295,0.001523252,0.001424521,0.001105552,0.001952795,0.000804113,0.001158922,0.000271302],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001912207,"about_ca_system_score_gemma":0.001492268,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004631092,"about_ca_topic_score_gemma":0.01088131,"domain_scores_codex":[0.9982039,0.0009727244,0.00008052184,0.000305128,0.0002757822,0.000161843],"domain_scores_gemma":[0.9788824,0.01768303,0.0008804237,0.001647628,0.0007466403,0.0001598868],"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.0007286348,0.000228275,0.005094373,0.0003722968,0.0001641828,0.0002877729,0.0003319655,0.907489,0.007059174,0.04594196,0.002513983,0.02978828],"study_design_scores_gemma":[0.00007737685,0.00008274845,0.0005047504,0.00002424733,0.00005114283,0.00005132836,0.00008813837,0.970044,0.003203987,0.02506016,0.000798028,0.00001404695],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7105261,0.0006030079,0.2774249,0.0006528761,0.00003797532,0.0002518935,0.001615817,0.002696189,0.006191178],"genre_scores_gemma":[0.8436499,0.0002259802,0.1507966,0.0001489469,0.00001043843,0.0003194186,0.003159113,0.0003106276,0.001378885],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004631092,"threshold_uncertainty_score":0.01387411,"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."}}