{"id":"W2059078574","doi":"10.1109/iecon.2012.6389404","title":"Case study: Using requirements and finite state machine for evaluating software trustworthiness","year":2012,"lang":"en","type":"article","venue":"","topic":"Software Engineering Research","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"École de Technologie Supérieure","funders":"","keywords":"Computer science; Trustworthiness; Finite-state machine; Software engineering; Software; Software quality; Verification and validation; Software requirements specification; Software construction; Software verification; Software development; Programming language; Engineering; Computer security","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005516194,0.0007627705,0.0005398924,0.001685584,0.001120735,0.001257289,0.001337406,0.002615198,0.001313863],"category_scores_gemma":[0.02180289,0.0003628683,0.0007892731,0.001108875,0.001373833,0.002092127,0.001335248,0.001194897,0.0002776537],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00142348,"about_ca_system_score_gemma":0.001163913,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003164193,"about_ca_topic_score_gemma":0.003302897,"domain_scores_codex":[0.9919735,0.004706407,0.0004992441,0.0004479525,0.001996106,0.0003767412],"domain_scores_gemma":[0.9710697,0.02223334,0.001534297,0.002204582,0.002227406,0.0007306522],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"qualitative","study_design_scores_codex":[0.005043937,0.007894655,0.1367657,0.002957266,0.0008458738,0.05038094,0.02778332,0.3367789,0.108135,0.1022104,0.00968908,0.211515],"study_design_scores_gemma":[0.0007927954,0.007991803,0.03505549,0.00050797,0.0003892016,0.0137247,0.01247379,0.7509445,0.1313289,0.02641312,0.02003891,0.0003388335],"study_design_candidate":"qualitative","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8728683,0.0001720525,0.1179662,0.0007549784,0.00005126572,0.0007559438,0.0002914965,0.0004106739,0.006729098],"genre_scores_gemma":[0.9344166,0.0000842739,0.06419516,0.00005212738,0.000008837048,0.0002667679,0.0001208345,0.00003568725,0.0008197707],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005516194,"threshold_uncertainty_score":0.02917272,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1509627783031369,"score_gpt":0.4013984641051974,"score_spread":0.2504356858020604,"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."}}