{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005412408,0.00008845924,0.0001348926,0.00005885234,0.00004593403,0.0000433963,0.0003572499,0.00004258118,0.000004611423],"category_scores_gemma":[0.001438544,0.00007089753,0.00003607911,0.0003918473,0.00004393485,0.00009221315,0.00002691737,0.00006723784,0.000004493643],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000009228489,"about_ca_system_score_gemma":0.00008966207,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003594116,"about_ca_topic_score_gemma":9.119835e-7,"domain_scores_codex":[0.9991778,0.00006967131,0.0001773535,0.0002176927,0.00015349,0.000204039],"domain_scores_gemma":[0.9988352,0.0004701525,0.00008276675,0.0004094979,0.000155298,0.00004710208],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000008927839,0.0005487243,0.5450879,0.0000835902,0.00002218454,0.00002752196,0.0001005456,0.0005503126,0.0009347054,0.03732148,0.005815949,0.4094982],"study_design_scores_gemma":[0.0008375153,0.0007894655,0.002884832,0.00009842839,0.000009283855,0.00003707018,0.000001105585,0.9160329,0.01269699,0.06501124,0.001292655,0.0003084777],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002911478,0.00001929595,0.982686,0.0001222544,0.00004992391,0.0001865699,2.295434e-7,0.008516078,0.005508213],"genre_scores_gemma":[0.4891525,2.792715e-8,0.5106295,0.0001778677,0.000003688186,0.00001657802,1.673635e-7,0.000003137432,0.00001654064],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9154826,"threshold_uncertainty_score":0.2891117,"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."}}