{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0009972907,0.0004029853,0.0004274951,0.0005710961,0.0002455483,0.001086004,0.001878474,0.0003137393,0.000001674826],"category_scores_gemma":[0.0004920845,0.0003737138,0.00003018017,0.0007868002,0.0005900344,0.0009815252,0.001259366,0.0005662097,0.00001244159],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002537181,"about_ca_system_score_gemma":0.0005881143,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005049723,"about_ca_topic_score_gemma":0.00001014636,"domain_scores_codex":[0.9969181,0.00008339607,0.0004244314,0.001483863,0.0006067757,0.0004834059],"domain_scores_gemma":[0.9971562,0.0009169401,0.0002874625,0.001170475,0.0003051412,0.0001637582],"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":[6.260311e-7,0.000009448899,0.0003868344,0.0001358834,0.000003950629,0.00002046037,0.0007178109,0.0002007487,0.0005292246,0.001722119,0.0003883917,0.9958845],"study_design_scores_gemma":[0.0003080326,0.0003963635,0.002293345,0.00180852,0.00001223564,0.0005464798,3.692283e-7,0.6971329,0.004744729,0.2887083,0.002512796,0.00153589],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001569066,0.001077537,0.9964319,0.0002075806,0.0004622423,0.0005872627,0.000001938987,0.0005021069,0.0005724748],"genre_scores_gemma":[0.01753169,0.00003255734,0.981204,0.0005235335,0.000237727,0.00004184711,0.000002535528,0.0000278241,0.0003982583],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9943486,"threshold_uncertainty_score":0.9999509,"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."}}