{"id":"W4242700588","doi":"10.1109/emsoft.2015.7318273","title":"A framework for mining hybrid automata from input/output traces","year":2015,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University; University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Automaton; Abstraction; Inference; Cluster analysis; Theoretical computer science; Hybrid system; Domain (mathematical analysis); Automata theory; Data mining; Artificial intelligence; Machine learning","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002792363,0.00182191,0.001072442,0.004659248,0.001083389,0.002550645,0.002809619,0.001557623,0.002021911],"category_scores_gemma":[0.01276311,0.001104284,0.003381832,0.002680554,0.001499886,0.003011269,0.001970465,0.002118228,0.0007424222],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001091886,"about_ca_system_score_gemma":0.002680362,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009655136,"about_ca_topic_score_gemma":0.01332181,"domain_scores_codex":[0.9974669,0.0005850736,0.0003383674,0.0007425233,0.0007472929,0.000119706],"domain_scores_gemma":[0.9947463,0.002990275,0.0005208544,0.000951215,0.0006708843,0.0001204719],"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.0001677404,0.0004086746,0.009956973,0.001306161,0.0005409456,0.001290733,0.001453912,0.4336838,0.01910034,0.1144585,0.005215452,0.4124167],"study_design_scores_gemma":[0.00002925295,0.0000895481,0.0009144705,0.0001173796,0.00009256061,0.000508061,0.0001729021,0.9100914,0.007162468,0.07153562,0.009225679,0.00006081635],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001357018,0.00006873249,0.9964012,0.00004617505,0.000004437417,0.00009944387,0.0002729414,0.001581599,0.0001684487],"genre_scores_gemma":[0.03810112,0.000103647,0.9599461,0.00003376148,0.000009868723,0.0002698311,0.001058992,0.0001503972,0.0003263273],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009655136,"threshold_uncertainty_score":0.01919788,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09249891101697935,"score_gpt":0.319693611244333,"score_spread":0.2271947002273536,"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."}}