Aiding the design of critical software systems by iterative exploration of distinct requirement violation scenarios

Empirical Software Engineering 2026

View at publisher
Authors: Richárd Szabó, Dániel Szekeres, Simon Nagy, Zoltán Thimár, István Majzik, Z. Micskei, András Vörös
DOI: 10.1007/s10664-025-10786-z
Cited by: 0
References: 52

Fields of Study & Subjects

Safety Systems Engineering in Autonomy Formal Methods in Verification Software Reliability and Analysis Research

Publication details

Journal / source
Empirical Software Engineering
Volume
31
Issue
3
Publication date
9 January 2026
Language
EN