Login
 Forum
 
 
Personal data sheet
 Print preview
personal data approved: 2022. VII. 29.
Personal data
Zoltán Imre Micskei
name Zoltán Imre Micskei
name of institution
doctoral school
BME Doctoral School of Informatics (Supervisor)
Contact details
E-mail address zoltan.micskeimit.bme.hu
phone number +36 1 463-3594
own web page
Academic title
scientific degree, title Ph.D.
year degree was obtained 2013
discipline to which degree belongs computer sciences
institution granting the degree Budapest University of Technology and Economics
Employment
2008 - Budapest University of Technology and Economics
university professor or researcher
Thesis topic supervisor
number of doctoral students supervised until now 3
number of students who fulfilled course requirements 2
students who obtained their degrees:
Dávid Honfi PhD 2021  DSI-BME
Ákos Hajdu PhD 2020  DSI-BME

present PhD students:
Márton Farkas Elekes (PhD) (2024/01)  DSI-BME
  Thesis topic proposals
Research
research area software engineering, software testing
research field in which current research is conducted computer sciences
Publications
2021

Elekes Márton, Micskei Zoltán: Towards Testing the UML PSSM Test Suite, In: Andrey, Brito; Fernando, Pedone (szerk.) 2021 10th Latin-American Symposium on Dependable Computing (LADC), IEEE (2021) pp. 1-4.
type of document: Part of book/Proceedings Paper
language: English
URL 
2020

Hajdu Ákos, Micskei Zoltán: Efficient Strategies for CEGAR-Based Model Checking, JOURNAL OF AUTOMATED REASONING 64: pp. 1051-1091.
type of document: Journal paper/Article
number of independent citations: 8
language: English
URL 
2020

Honfi David, Micskei Zoltan: Automated Isolation for White-box Test Generation, INFORMATION AND SOFTWARE TECHNOLOGY 125: p. 106319.
type of document: Journal paper/Article
number of independent citations: 1
language: English
URL 
2019

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: Alexander, Pretschner; Sebastian, Voss (szerk.) Proceedings of the IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), IEEE (2019) pp. 89-94.
type of document: Part of book/Proceedings Paper
number of independent citations: 15
language: English
URL 
2019

Honfi Dávid, Micskei Zoltán: Classifying generated white-box tests: an exploratory study, SOFTWARE QUALITY JOURNAL 27: (3) pp. 1339-1380.
type of document: Journal paper/Article
number of independent citations: 5
language: English
URL 
2017

Tóth Tamás, Hajdu Ákos, Vörös András, Micskei Zoltán, Majzik István: Theta: a Framework for Abstraction Refinement-Based Model Checking, In: Stewart, Daryl; Weissenbacher, Georg (szerk.) Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, FMCAD Association; IEEE (2017) pp. 176-179.
type of document: Part of book/Proceedings Paper
number of independent citations: 10
language: English
URL 
2017

Lajos Cseppentő, Zoltán Micskei: Evaluating code-based test input generator tools, SOFTWARE TESTING VERIFICATION & RELIABILITY 27: (6) e1627
type of document: Journal paper/Article
number of independent citations: 7
language: English
URL 
2015

Lajos Cseppentő, Zoltán Micskei: Evaluating Symbolic Execution-based Test Tools, In: Gordon, Fraser; Darko, Marinov (szerk.) 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), IEEE (2015) 7102587
type of document: Part of book/Proceedings Paper
number of independent citations: 18
language: English
URL 
2012

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-Verlag (2012) pp. 504-513.
type of document: Part of book/Proceedings Paper
number of independent citations: 30
language: English
URL 
2011

Zoltán Micskei, Helene Waeselynck: The many meanings of UML 2 Sequence Diagrams: a survey, SOFTWARE AND SYSTEMS MODELING 10: (4) pp. 489-514.
type of document: Journal paper/Article
number of independent citations: 73
language: English
URL 
Number of independent citations to these publications:167 
Scientometric data
list of publications and citations
number of scientific publications that meet accreditation criteria:
52
number of scientific publications:
50
monographs and professional books:
0
monographs/books in which chapters/sections were contributed:
0 
number of independent citations to scientific publications and creative works:
255


2022. X. 05.
ODT ülés
Az ODT következő ülésére 2022. december 2-án 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).

 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 2.2358 ( 2017. X. 31. )