{"id":"W2990853981","doi":"10.1109/models-c.2019.00008","title":"Querying Automotive System Models and Safety Artifacts with MMINT and Viatra","year":2019,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Traceability; Computer science; Automotive industry; Domain (mathematical analysis); Software engineering; Hazard and operability study; Systems engineering; Engineering","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.008257364,0.001683777,0.00116102,0.002964103,0.0008753067,0.005742847,0.002849853,0.001870076,0.003737706],"category_scores_gemma":[0.02850467,0.001264331,0.002033465,0.001789931,0.001570761,0.009427326,0.006985236,0.001255715,0.000990783],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001506524,"about_ca_system_score_gemma":0.001479288,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005737404,"about_ca_topic_score_gemma":0.008867829,"domain_scores_codex":[0.9897987,0.003075472,0.001574569,0.001081296,0.004063827,0.0004061676],"domain_scores_gemma":[0.9849098,0.00565276,0.001314186,0.006513113,0.001399239,0.0002108085],"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":[0.001563772,0.000711742,0.04376729,0.002472718,0.0007770784,0.003791317,0.01066457,0.09286714,0.06817794,0.3023219,0.02654012,0.4463444],"study_design_scores_gemma":[0.0002095089,0.0005615177,0.005642732,0.000511773,0.000375906,0.003319503,0.00248168,0.6334824,0.09992535,0.09590853,0.157267,0.000314201],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03435163,0.000254436,0.9274274,0.0006019488,0.0000292628,0.0002883434,0.001303621,0.03063903,0.005104414],"genre_scores_gemma":[0.4485512,0.0005147246,0.5363449,0.0005009308,0.00005389948,0.0004342005,0.005148258,0.004737223,0.003714688],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008257364,"threshold_uncertainty_score":0.04366964,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01082943657920802,"score_gpt":0.2034567904169108,"score_spread":0.1926273538377028,"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."}}