Login / Signup

Analyzing and Debugging Normative Requirements via Satisfiability Checking.

Nick FengLina MarssoSinem Getir YamanYesugen BaatartogtokhReem AyadVictória Oldemburgo de MelloBeverley A. TownsendIsobel StandenIoannis StefanakosCalum ImrieGenaína Nunes RodriguesAna CavalcantiRadu CalinescuMarsha Chechik
Published in: ICSE (2024)
Keyphrases
  • data sets
  • general purpose
  • functional requirements
  • databases
  • neural network
  • website
  • digital libraries
  • software systems
  • software testing
  • real time systems