{"id":"W2382790792","doi":"","title":"Design of an Automatic Test Case Generator for Embedded C Compilers","year":2010,"lang":"en","type":"article","venue":"Microcomputer applications","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Computer science; Compiler; Programming language; Correctness; Generator (circuit theory); Semantics (computer science); Syntax; Algorithm; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003662523,0.0001366996,0.0001630051,0.000114664,0.0001716675,0.0001182969,0.000769155,0.00006864922,0.000002298175],"category_scores_gemma":[0.0000105952,0.0001360043,0.00004925437,0.0002714731,0.00005637743,0.0001858728,0.0001209351,0.0001200889,0.000007276201],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001145499,"about_ca_system_score_gemma":0.00009231552,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001644581,"about_ca_topic_score_gemma":0.000004674879,"domain_scores_codex":[0.9990584,0.00003647706,0.0002779121,0.0003612706,0.00008090083,0.0001849983],"domain_scores_gemma":[0.9980192,0.0007959034,0.0001372594,0.0007671946,0.000186355,0.00009412595],"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.000001465472,0.0008051456,0.0001513796,0.00008978103,0.00002494817,0.00002125739,0.001267607,0.0005622794,0.1841721,0.009406757,0.01596554,0.7875318],"study_design_scores_gemma":[0.0003049729,0.0001479052,0.00009510384,0.00001531132,0.00001330508,0.000931654,0.000003298496,0.9423879,0.03514194,0.01568149,0.005011936,0.0002651248],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007609118,0.00001048883,0.9873685,0.0001318482,0.0000274992,0.001007634,0.0000149732,0.003814544,0.0000154446],"genre_scores_gemma":[0.09929093,3.797264e-7,0.899542,0.0003175138,0.00006435822,0.0007503157,0.00001129147,0.00001590797,0.000007323601],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9418257,"threshold_uncertainty_score":0.5546092,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02220176430816151,"score_gpt":0.2852982312793528,"score_spread":0.2630964669711913,"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."}}