{"id":"W1576968470","doi":"10.1007/978-3-642-16901-4_14","title":"API Conformance Verification for Java Programs","year":2010,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Computer science; Programming language; Executable; Java; Control flow; Operating system; Concurrency; Conformance testing; Application programming interface; Software engineering","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.002823163,0.0008711021,0.0008585975,0.001302148,0.0007749064,0.001473394,0.001986779,0.001128363,0.004593685],"category_scores_gemma":[0.01104366,0.000951033,0.001885203,0.000781161,0.001329308,0.002465025,0.001540767,0.002658061,0.00117677],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007535564,"about_ca_system_score_gemma":0.001100003,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002458441,"about_ca_topic_score_gemma":0.002238793,"domain_scores_codex":[0.9951207,0.001057204,0.0003339154,0.0006127887,0.002443258,0.0004320836],"domain_scores_gemma":[0.9929736,0.003427873,0.0004600232,0.001834517,0.001230707,0.0000733425],"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.0006349717,0.0003028476,0.003568124,0.0009153818,0.0001787624,0.001032046,0.0009318325,0.04559821,0.0942329,0.1018831,0.00955407,0.7411678],"study_design_scores_gemma":[0.0001825696,0.000457389,0.003754975,0.0004811688,0.0002777643,0.001805024,0.0002394981,0.5282024,0.225104,0.2123317,0.02700007,0.0001633462],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02444647,0.0005113463,0.9603608,0.000206484,0.0001033268,0.0001211675,0.00009971952,0.008208456,0.005942336],"genre_scores_gemma":[0.6015835,0.000768451,0.3831254,0.0002678202,0.0001136152,0.0001905012,0.0007203394,0.003168511,0.01006187],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004593685,"threshold_uncertainty_score":0.01536733,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02692841412498071,"score_gpt":0.2677013130703781,"score_spread":0.2407728989453974,"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."}}