{"id":"W2904898906","doi":"10.1007/s11219-018-9429-3","title":"FSM inference and checking sequence construction are two sides of the same coin","year":2018,"lang":"en","type":"article","venue":"Software Quality Journal","topic":"Machine Learning and Algorithms","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"Computer Research Institute of Montréal","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"TRACE (psycholinguistics); Sequence (biology); Inference; Computer science; Nondeterministic algorithm; Finite-state machine; Model checking; Permutation (music); A priori and a posteriori; Algorithm; Automaton; Theoretical computer science; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001135551,0.000103276,0.0001718994,0.00004864776,0.0004355795,0.0001861937,0.0005184705,0.000040743,0.00001602242],"category_scores_gemma":[0.001247122,0.00007142965,0.00005943541,0.0002562655,0.000415537,0.0003268544,0.000214061,0.0004254237,0.00000387989],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002913802,"about_ca_system_score_gemma":0.0001299575,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001722039,"about_ca_topic_score_gemma":0.00004813167,"domain_scores_codex":[0.9985672,0.0003828975,0.0003332053,0.0001896123,0.0003407574,0.0001863727],"domain_scores_gemma":[0.9985569,0.0002678142,0.0005167551,0.0002971713,0.0002796118,0.00008174576],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.000008225118,0.00002583594,0.682459,0.00005017093,0.00002780628,0.000006931996,0.00314935,0.0001191206,0.001323752,0.01351427,0.00006609264,0.2992495],"study_design_scores_gemma":[0.001271713,0.0002731427,0.8068561,0.0009233817,0.00002568524,0.002220952,0.0009974488,0.01655493,0.007223827,0.1621074,0.0009511731,0.0005942453],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5393938,0.00009084344,0.458748,0.001071322,0.0005407394,0.00003799383,0.000003574576,0.00005505858,0.00005860737],"genre_scores_gemma":[0.9097965,0.00001310342,0.08968294,0.0002461665,0.0002213556,6.036545e-7,1.845223e-7,0.000004051883,0.00003512465],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3704026,"threshold_uncertainty_score":0.3350169,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04786971646388845,"score_gpt":0.3511958778392323,"score_spread":0.3033261613753439,"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."}}