{"id":"W2019243921","doi":"10.1002/nav.20194","title":"On optimality of one‐bug‐look‐ahead policies for a software testing model","year":2007,"lang":"en","type":"article","venue":"Naval Research Logistics (NRL)","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of New Brunswick","funders":"","keywords":"Counterexample; Monotonic function; Software; Computer science; Sample (material); Sense (electronics); Mathematical optimization; Mathematical economics; Mathematics; Discrete mathematics; Programming language","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":["metaresearch"],"consensus_categories":[],"category_scores_codex":[0.01290307,0.0002383917,0.0004990114,0.0007513315,0.0005636523,0.0002434805,0.002206955,0.0002435421,0.000009711425],"category_scores_gemma":[0.06462536,0.0002190522,0.0002313659,0.002139637,0.0008984037,0.0002143087,0.0009833343,0.0009646769,0.00003926756],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003661747,"about_ca_system_score_gemma":0.0009266245,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000812068,"about_ca_topic_score_gemma":0.00008925227,"domain_scores_codex":[0.9937728,0.0003094992,0.0007272652,0.0008534282,0.002772762,0.001564246],"domain_scores_gemma":[0.9765697,0.01790836,0.0001504629,0.001450014,0.003470863,0.0004506478],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0008660515,0.003078399,0.01286502,0.001513916,0.000257534,0.00007594212,0.001422727,0.1359603,0.008689629,0.6456738,0.003430839,0.1861659],"study_design_scores_gemma":[0.0006396095,0.001245701,0.002591869,0.0001623205,0.00001554814,0.000003687513,0.00008561203,0.7177476,0.008019355,0.2689268,0.0002294882,0.0003324308],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03127173,0.0001153507,0.9647072,0.0005220106,0.00005316445,0.0006024615,0.00007082253,0.0001740436,0.002483199],"genre_scores_gemma":[0.7184843,0.00002361012,0.2808486,0.00007270461,0.0001012788,0.00004098804,0.000009149521,0.00002112288,0.0003981904],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6872126,"threshold_uncertainty_score":0.9432537,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.3681649018059729,"score_gpt":0.4710107124231524,"score_spread":0.1028458106171795,"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."}}