{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002538341,0.001185124,0.0009524816,0.001994288,0.0003140096,0.0009450589,0.002498303,0.0009433091,0.003545317],"category_scores_gemma":[0.009506641,0.0007213551,0.0006868201,0.0006928315,0.0006025453,0.0009567856,0.000720678,0.001066962,0.001187814],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006725909,"about_ca_system_score_gemma":0.001601907,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00100337,"about_ca_topic_score_gemma":0.000560784,"domain_scores_codex":[0.9965556,0.001184221,0.0003550091,0.0006037187,0.00106786,0.0002336136],"domain_scores_gemma":[0.9912561,0.005061063,0.0007504217,0.00097684,0.001752735,0.0002026854],"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.001222131,0.0005776425,0.007834644,0.00109912,0.0002647741,0.002051169,0.0004918666,0.1635928,0.1456977,0.03131076,0.01465401,0.6312035],"study_design_scores_gemma":[0.0003756133,0.0005276785,0.001101576,0.00007746591,0.00008298041,0.00125409,0.00003611006,0.8585048,0.1206298,0.005477194,0.01185823,0.00007446109],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01000765,0.00006495832,0.9749244,0.00008675688,0.00003505181,0.0005451058,0.0001518418,0.01345208,0.0007321292],"genre_scores_gemma":[0.2240575,0.00009590849,0.7703828,0.0001864032,0.00006023102,0.001605256,0.0009559086,0.001487184,0.001168823],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003545317,"threshold_uncertainty_score":0.01342416,"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."}}