Analyzing and Debugging Normative Requirements via Satisfiability Checking.
Saved in:
| Title: | Analyzing and Debugging Normative Requirements via Satisfiability Checking. |
|---|---|
| Authors: | Feng, Nick1, nick.feng@mail.utoronto.ca, Marsso, Lina2, lina.marsso@utoronto.ca, Getir Yaman, Sinem3, sinem.getir.yaman@york.ac.uk, Baatartogtokh, Yesugen4, ybaatartogtokh@smith.edu, Ayad, Reem5, reem.ayad@mail.utoronto.ca, De Mello, Victoria Oldemburgo2, victoria.mello@mail.utoronto.ca, Townsend, Beverley3, bev.townsend@york.ac.uk, Standen, Isobel6, isobel.standen@york.ac.uk, Stefanakos, Ioannis3, ioannis.stefanakos@york.ac.uk, Imrie, Calum3, calum.imrie@york.ac.uk, Rodrigues, Genaina Nunes7, genaina@unb.br, Cavalcanti, Ana3, ana.cavalcanti@york.ac.uk, Calinescu, Radu3, radu.calinescu@york.ac.uk, Chechik, Marsha2, chechik@cs.toronto.edu |
| Source: | ICSE: International Conference on Software Engineering; 2024, p1-12, 12p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| DOI: | 10.1145/3597503.3639093 |
|---|
