{"id":"W2123804472","doi":"10.1109/glsv.1991.143973","title":"Test plan generation and concurrent scheduling of tests in the presence of conflicts","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Guelph","funders":"","keywords":"Computer science; Test (biology); Scheduling (production processes); Plan (archaeology); Test plan; Operations research; Mathematical optimization; Engineering; Mathematics; Political science; Law","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.003881944,0.0006600189,0.0004692616,0.0008319792,0.0007426419,0.001464338,0.001482888,0.0007475683,0.003585553],"category_scores_gemma":[0.01601358,0.0005423437,0.0006018024,0.000687176,0.002107594,0.001691698,0.001334738,0.001002727,0.0005201738],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001017744,"about_ca_system_score_gemma":0.002505932,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004065621,"about_ca_topic_score_gemma":0.004326748,"domain_scores_codex":[0.9963571,0.001676705,0.0002118783,0.0004656967,0.0009108435,0.0003776679],"domain_scores_gemma":[0.9891996,0.00791902,0.0007693922,0.0009768162,0.0008561857,0.0002788054],"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.001224398,0.000469467,0.00525443,0.0006268882,0.000119605,0.002705946,0.002973857,0.2901022,0.03357996,0.2232845,0.007941163,0.4317176],"study_design_scores_gemma":[0.0003140641,0.0003475776,0.0008630972,0.0001307664,0.0001066262,0.0004860812,0.0005138063,0.7766513,0.03598205,0.1673139,0.01722644,0.00006429712],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03422569,0.0001058518,0.9570048,0.0004746471,0.00005199324,0.0002763739,0.00007010361,0.001856004,0.005934551],"genre_scores_gemma":[0.4581942,0.0001345231,0.5370593,0.0002548825,0.00003317579,0.0003408855,0.0002661583,0.0003178824,0.00339908],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004065621,"threshold_uncertainty_score":0.02052993,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1308352065385509,"score_gpt":0.3172720632057511,"score_spread":0.1864368566672003,"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."}}