{"id":"W2123203095","doi":"10.1109/issre.1992.285853","title":"Control-flow based testing of Prolog programs","year":2003,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Prolog; Computer science; Control flow; Selection (genetic algorithm); Programming language; Control (management); Data flow diagram; Control flow graph; Test (biology); Artificial intelligence; Database","routes":{"ca_aff":true,"ca_fund":true,"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.002456543,0.0009803707,0.0006269568,0.003982194,0.0005948421,0.001736128,0.001242022,0.001075006,0.002107158],"category_scores_gemma":[0.01693935,0.0004415285,0.0007854107,0.001471267,0.001534797,0.001468776,0.0006424146,0.0006890604,0.0003316215],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001447895,"about_ca_system_score_gemma":0.0008111835,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004346837,"about_ca_topic_score_gemma":0.004341283,"domain_scores_codex":[0.9955973,0.001354244,0.0003302121,0.0003711162,0.001999285,0.0003478895],"domain_scores_gemma":[0.9834051,0.0130354,0.0009523001,0.0006939474,0.001696946,0.0002162943],"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.0007808144,0.00076626,0.007711402,0.0006339186,0.0001436608,0.001095786,0.0005029681,0.2948751,0.03645592,0.1202512,0.007488363,0.5292946],"study_design_scores_gemma":[0.00006463017,0.0002876626,0.00116624,0.0001016499,0.00004958431,0.0003319852,0.00004752541,0.9162914,0.04369283,0.03381865,0.004101843,0.00004606707],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06526492,0.0004155901,0.9207929,0.0003273994,0.00005613945,0.0003627523,0.0001508771,0.002432433,0.01019689],"genre_scores_gemma":[0.5560046,0.0002843426,0.4392343,0.0003718793,0.00006786792,0.0002446137,0.0005147267,0.0003440842,0.002933648],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004346837,"threshold_uncertainty_score":0.01299161,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03370694554359709,"score_gpt":0.2473128889672103,"score_spread":0.2136059434236133,"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."}}