{"id":"W111876617","doi":"10.1007/978-3-319-08909-6_9","title":"Coverage Driven Test Generation and Consistency Algorithm","year":2014,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Solver; Computer science; Local consistency; Consistency (knowledge bases); Algorithm; Constraint (computer-aided design); Process (computing); Constraint satisfaction problem; Domain (mathematical analysis); Mathematics; Artificial intelligence; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00257751,0.001239614,0.001138732,0.002543193,0.0005903513,0.001293797,0.003596195,0.001750905,0.009865741],"category_scores_gemma":[0.01471745,0.0009300542,0.001585423,0.002349946,0.001240193,0.001752659,0.002408979,0.002122269,0.001605629],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001196129,"about_ca_system_score_gemma":0.002146939,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002186572,"about_ca_topic_score_gemma":0.0027508,"domain_scores_codex":[0.9958965,0.001511477,0.0001638711,0.0006033418,0.001534274,0.000290721],"domain_scores_gemma":[0.9889777,0.00697328,0.000407395,0.001676344,0.001792063,0.0001731954],"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.0005154426,0.0004483094,0.002462263,0.0004924852,0.0001571548,0.0005773587,0.0001584921,0.2593222,0.02285819,0.05324066,0.01755685,0.6422107],"study_design_scores_gemma":[0.0001254043,0.0001609597,0.0005056401,0.00006598399,0.00007413297,0.0003387072,0.0000412121,0.9206057,0.01739736,0.05568619,0.004972788,0.00002602032],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0129655,0.0002129939,0.9783246,0.0003202032,0.00006844606,0.0002774121,0.0002664576,0.003035029,0.00452939],"genre_scores_gemma":[0.2031684,0.0001460275,0.7888144,0.0003678328,0.00006218682,0.0005006447,0.00134657,0.000895455,0.00469845],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009865741,"threshold_uncertainty_score":0.03300416,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0121769535792791,"score_gpt":0.2190911942703553,"score_spread":0.2069142406910762,"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."}}