{"id":"W2630264676","doi":"10.1007/978-3-319-03077-7","title":"Hardware and Software: Verification and Testing","year":2013,"lang":"en","type":"book","venue":"Lecture notes in computer science","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"University of California, Irvine; University of California, Santa Barbara; Universidade Nova de Lisboa; University of Texas at Arlington; University of Waterloo; University of Illinois at Urbana-Champaign; Tel Aviv University; Aalborg Universitet; King's College London; Università degli Studi di Milano; Indian Institute of Technology Delhi; East Carolina University; TU Graz, Internationale Beziehungen und Mobilitätsprogramme","keywords":"Computer science; Programming language; Software verification; Software engineering; Software; Software testing; Software construction; Software system","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"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.001115564,0.001300795,0.0009724569,0.001011659,0.0004219786,0.002206703,0.001608472,0.001286326,0.01113822],"category_scores_gemma":[0.004681294,0.0009940247,0.0007073345,0.001165528,0.001989232,0.003067235,0.001390198,0.001812493,0.004744227],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007879862,"about_ca_system_score_gemma":0.001300334,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009488171,"about_ca_topic_score_gemma":0.000870642,"domain_scores_codex":[0.9976608,0.0003666611,0.0001127064,0.000205772,0.001572893,0.00008125301],"domain_scores_gemma":[0.9980242,0.0009990626,0.0001041423,0.0005214153,0.000326015,0.00002525056],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001005983,0.00008404128,0.0004295146,0.001194326,0.00005714025,0.0002449594,0.0002217278,0.02003491,0.008197668,0.2428616,0.03080679,0.6957667],"study_design_scores_gemma":[0.00008197945,0.0002235929,0.001500956,0.001020313,0.0001370826,0.001870817,0.0002144808,0.08050799,0.02913471,0.4820878,0.4031554,0.00006486332],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0102611,0.04368398,0.743329,0.002051936,0.001600693,0.0002610028,0.0003116477,0.002838243,0.1956624],"genre_scores_gemma":[0.296998,0.04686785,0.4580507,0.001197331,0.001284575,0.0006274579,0.0008392896,0.0013002,0.1928346],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01113822,"threshold_uncertainty_score":0.03726107,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02308698987047759,"score_gpt":0.2442519976591003,"score_spread":0.2211650077886227,"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."}}