{"id":"W2158798798","doi":"10.1145/1368088.1368118","title":"Calysto","year":2008,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":146,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Scalability; Static analysis; Source lines of code; Automation; Static program analysis; Context (archaeology); Software; Software bug; Model checking; Code (set theory); Computer engineering; Programming language; Software development; Database; Set (abstract data type)","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001178145,0.001264159,0.0008444654,0.001505341,0.0008443953,0.002444507,0.003201999,0.001374948,0.04899959],"category_scores_gemma":[0.006284682,0.0008472028,0.0009143074,0.001038705,0.0009883365,0.003783002,0.002291144,0.002342733,0.01795174],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001248904,"about_ca_system_score_gemma":0.00208229,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004978954,"about_ca_topic_score_gemma":0.007093893,"domain_scores_codex":[0.9982777,0.0001946433,0.00008530222,0.0003921557,0.0008404047,0.0002098404],"domain_scores_gemma":[0.9970528,0.000957906,0.0002754534,0.0007402353,0.0008053872,0.0001681635],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.002075244,0.0002215998,0.004153631,0.001480059,0.0001301908,0.0005784253,0.0003975205,0.007527835,0.02897855,0.0515264,0.5722579,0.3306726],"study_design_scores_gemma":[0.0006778606,0.0003709186,0.003407751,0.0003010413,0.0001180292,0.001017398,0.0001218589,0.0872624,0.04723857,0.03809023,0.8212126,0.0001813753],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"software","genre_gemma":"other","genre_scores_codex":[0.02604278,0.002989466,0.2849006,0.002108302,0.00138068,0.0008472688,0.01994323,0.5140105,0.1477772],"genre_scores_gemma":[0.2749583,0.002287582,0.4131852,0.003646692,0.0004381402,0.001289468,0.08133406,0.08095688,0.1419037],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.9510004,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03481987681072068,"score_gpt":0.236430062464799,"score_spread":0.2016101856540783,"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."}}