{"id":"W4297854797","doi":"","title":"19 - A Comparison of the Specification Methods","year":2006,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007113112,0.0002796556,0.0004172311,0.0001784607,0.0003046262,0.0003407732,0.004060049,0.0002611159,0.000008348201],"category_scores_gemma":[0.003324204,0.0002429769,0.0002594641,0.0006693676,0.0002587414,0.0001076559,0.003076407,0.0006700639,0.000006147486],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00011702,"about_ca_system_score_gemma":0.0003095728,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002151695,"about_ca_topic_score_gemma":0.0001521551,"domain_scores_codex":[0.9907246,0.007061508,0.0007194858,0.0007412824,0.0004911731,0.0002619589],"domain_scores_gemma":[0.989652,0.00312019,0.001097984,0.004494488,0.001545522,0.00008982263],"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.000005003157,0.00123478,0.04459284,0.0003287681,0.00007606053,0.000001423569,0.01351603,0.0003945699,0.002008341,0.2168416,0.05926954,0.661731],"study_design_scores_gemma":[0.0004288021,9.703626e-7,0.04953116,0.003275685,0.00007958669,0.0000182053,0.00002450675,0.3275692,0.2907678,0.2939201,0.03339098,0.000992996],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003703366,0.001052889,0.9647707,0.005123319,0.0003180956,0.0003739284,0.00001215199,0.002477392,0.02216812],"genre_scores_gemma":[0.2500359,0.0000319801,0.7483613,0.00005316828,0.00001904851,0.00004690718,0.00004314789,0.00002089118,0.001387694],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.660738,"threshold_uncertainty_score":0.9908311,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04149303930787158,"score_gpt":0.3159051090621351,"score_spread":0.2744120697542636,"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."}}