Functor state machines

Most read articles by the same author(s)

• Gábor Horváth, Réka Nikolett Kovács, Péter Szécsi, Report on the Differential Testing of Static Analyzers , Acta Cybernetica: Vol 25 No 4 (2022): Special Issue of the Conference on Software Technology and Cyber Security
• Péter György Szécsi, Gábor Horváth, Zoltán Porkoláb, Improved Loop Execution Modeling in the Clang Static Analyzer , Acta Cybernetica: Vol 25 No 4 (2022): Special Issue of the Conference on Software Technology and Cyber Security
• Kristóf Umann, Gábor Horváth, Zoltán Porkoláb, Uncovering Hidden Dependencies: Constructing Intelligible Path Witnesses using Dataflow Analyses , Acta Cybernetica: Vol 26 No 3 (2024): Special Issue of the 13th Conference of PhD Students in Computer Science