{"id":"W4394744957","doi":"10.1145/3597503.3639093","title":"Analyzing and Debugging Normative Requirements via Satisfiability Checking","year":2024,"lang":"en","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Engineering and Physical Sciences Research Council","keywords":"Debugging; Computer science; Software engineering; Usability; Normative; Redundancy (engineering); Sociotechnical system; Requirements elicitation; USable; Software; Human–computer interaction; Requirements engineering; Artificial intelligence; Programming language; World Wide Web","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002974287,0.0001632525,0.0001625657,0.0001393526,0.00003971807,0.00009797706,0.00007112882,0.00005148993,0.00006245541],"category_scores_gemma":[0.00001827181,0.0001604583,0.00003849627,0.0002365957,0.00001934303,0.0002591503,0.00003967805,0.0001486307,0.00004801611],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001911842,"about_ca_system_score_gemma":0.000009896978,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002948884,"about_ca_topic_score_gemma":0.000006434766,"domain_scores_codex":[0.9991893,0.00001381068,0.0002751963,0.0001911014,0.00009846577,0.0002321902],"domain_scores_gemma":[0.9996458,0.0000937818,0.000009910973,0.0001719099,0.00001408038,0.00006445798],"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.000007439116,0.00002891763,0.04427043,0.009005673,0.001979425,0.0001047239,0.01227987,0.2755411,0.1253169,0.01002388,0.002102406,0.5193392],"study_design_scores_gemma":[0.00008004469,0.000006439469,0.007049653,0.0002375275,0.00002248303,0.00001984297,0.00005298735,0.9853625,0.002939889,0.0002528014,0.003721101,0.0002547421],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1681207,0.003456775,0.8031742,0.00007274171,0.001208088,0.0002904663,0.000004555089,0.003111235,0.02056122],"genre_scores_gemma":[0.994167,0.00001974789,0.005605466,0.000007793009,0.00007841819,0.0000211364,0.000002219222,0.00003954658,0.00005864833],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8260463,"threshold_uncertainty_score":0.65433,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009761675411301834,"score_gpt":0.2254702456452484,"score_spread":0.2157085702339465,"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."}}