{"id":"W2951101154","doi":"10.1109/icstw.2019.00029","title":"Using Imprecise Test Oracles Modelled by FSM","year":2019,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Computer Research Institute of Montréal","funders":"","keywords":"Oracle; Nondeterministic algorithm; Computer science; Context (archaeology); Finite-state machine; Conformance testing; Set (abstract data type); Test case; Theoretical computer science; Algorithm; Machine learning; Programming language","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.007093537,0.00174271,0.001349604,0.002550612,0.0006323954,0.004047191,0.003402504,0.002699576,0.003279243],"category_scores_gemma":[0.03167782,0.0009664536,0.002197123,0.001452727,0.004588671,0.007108871,0.00261265,0.00302401,0.0007433674],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002078664,"about_ca_system_score_gemma":0.001503259,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004647307,"about_ca_topic_score_gemma":0.003467489,"domain_scores_codex":[0.986644,0.004662031,0.001110922,0.002106574,0.004631085,0.0008455053],"domain_scores_gemma":[0.9768847,0.01568383,0.001445148,0.004191003,0.001471343,0.0003238629],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003483807,0.00007119302,0.002458632,0.0002692142,0.00009404885,0.0007998064,0.0005817367,0.7082978,0.006056352,0.2326365,0.0008764399,0.04750993],"study_design_scores_gemma":[0.00004570509,0.00008330214,0.0002481979,0.00007211578,0.00004674061,0.0002211924,0.00004306653,0.8168293,0.00669611,0.1716135,0.004060986,0.00003973177],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01296781,0.0002241392,0.983574,0.0001859305,0.00002499003,0.00008547076,0.0002070365,0.001090171,0.001640377],"genre_scores_gemma":[0.5514288,0.0004639115,0.4439582,0.0002277921,0.00008055156,0.000326505,0.0006835185,0.0003047123,0.002526074],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007093537,"threshold_uncertainty_score":0.03751463,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02773029397782683,"score_gpt":0.2731334433065795,"score_spread":0.2454031493287526,"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."}}