{"id":"W4400484351","doi":"10.1145/3663529.3663804","title":"ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise","year":2024,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Software engineering; Software testing; Domain (mathematical analysis); Software; 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.00164687,0.001437813,0.0005647471,0.001814858,0.0003351347,0.0007690811,0.001783225,0.0009864894,0.01083051],"category_scores_gemma":[0.007746146,0.0007892784,0.0009476168,0.0004742323,0.0006676087,0.001392598,0.001422467,0.000989117,0.001534979],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005027166,"about_ca_system_score_gemma":0.001038522,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002316131,"about_ca_topic_score_gemma":0.004721503,"domain_scores_codex":[0.9991102,0.0003108159,0.00008611124,0.0001419523,0.0002965275,0.0000543288],"domain_scores_gemma":[0.9964126,0.002583304,0.0002820099,0.0003984338,0.0002554879,0.00006820476],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000837153,0.0007010105,0.01101808,0.0028046,0.0003997036,0.002235791,0.001506268,0.3571727,0.095073,0.0538155,0.04715988,0.4272762],"study_design_scores_gemma":[0.0002053382,0.0002611169,0.00171443,0.0002881543,0.00006513614,0.0009013712,0.0001117288,0.8988523,0.03075087,0.01150602,0.05525624,0.00008721933],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.01901708,0.0001530353,0.8992399,0.0001391535,0.00004008167,0.0002865922,0.0009807852,0.07539316,0.004750239],"genre_scores_gemma":[0.2453641,0.0002355384,0.7368845,0.0001660338,0.0000159119,0.0007508075,0.003207708,0.007522951,0.00585245],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.01083051,"threshold_uncertainty_score":0.0362317,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05609008688266483,"score_gpt":0.298129347371713,"score_spread":0.2420392604890482,"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."}}