Βελτιώσεις της εκφραστικότητας και της ευκολίας χρήσης του εργαλείου state machine bug finder

DSpace - NTUA (National Technical University of Athens) 2026 Open access

Read full text
Authors: Kriton Iordanidis
DOI: 10.26240/heal.ntua.31229
Cited by: 0

Fields of Study & Subjects

Software Testing and Debugging Techniques Software Engineering Research Formal Methods in Verification

Publication details

Journal / source
DSpace - NTUA (National Technical University of Athens)
Publication date
1 January 2026
Language
EL