Az adatok frissességéről nyilatkozott: 2025-10-02

Budapesti Műszaki és Gazdaságtudományi Egyetem

egyetemi oktató

Elekes Márton, Molnár Vince, Micskei Zoltán: To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 50: (8) pp. 2124-2141.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 1

nyelv: angol

Elekes Márton, Molnár Vince, Micskei Zoltán: Assessing the specification of modelling language semantics: a study on UML PSSM

SOFTWARE QUALITY JOURNAL 31: (2) pp. 575-617.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 1

nyelv: angol

Horváth Benedek, Molnár Vince, Graics Bence, Hajdu Ákos, Ráth István, Horváth Ákos, Karban Robert, Trancho Gelys, Micskei Zoltán: Pragmatic verification and validation of industrial executable SysML models

SYSTEMS ENGINEERING 26: (6) pp. 693-714.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 5

nyelv: angol

Honfi David, Micskei Zoltan: Automated Isolation for White-box Test Generation

INFORMATION AND SOFTWARE TECHNOLOGY 125: 106319

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 2

nyelv: angol

Hajdu Ákos, Micskei Zoltán: Efficient Strategies for CEGAR-Based Model Checking

JOURNAL OF AUTOMATED REASONING 64: pp. 1051-1091.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 16

nyelv: angol

Honfi Dávid, Micskei Zoltán: Classifying generated white-box tests: an exploratory study

SOFTWARE QUALITY JOURNAL 27: (3) pp. 1339-1380.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 6

nyelv: angol

István Majzik, Oszkár Semeráth, Csaba Hajdu, Kristóf Marussy, Zoltán Szatmári, Zoltán Micskei, András Vörös, Aren A. Babikian, Dániel Varró: Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles

In: Burgueno, L; Voss, S; Pretschner, A; Yue, T; Kessentini, M (szerk.) 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), IEEE Computer Society (2019) pp. 89-94.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 36

nyelv: angol

Lajos Cseppentő, Zoltán Micskei: Evaluating code-based test input generator tools

SOFTWARE TESTING VERIFICATION & RELIABILITY 27: (6) e1627

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 8

nyelv: angol

Zoltán Micskei, Zoltán Szatmári, János Oláh, István Majzik: A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems

In: Jezic, G; Kusek, M; Nguyen, N T; Howlett, R J; Jain, L C (szerk.) Agent and Multi-Agent Systems. Technologies and Applications, Springer Netherlands (2012) pp. 504-513.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 32

nyelv: angol

Zoltán Micskei, Helene Waeselynck: The many meanings of UML 2 Sequence Diagrams: a survey

SOFTWARE AND SYSTEMS MODELING 10: (4) pp. 489-514.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 82

nyelv: angol