Login
 Forum
 
 
Personal data sheet
 Print preview
personal data approved: 2018. III. 27.
Personal data
Zoltán Imre Micskei
name Zoltán Imre Micskei
name of institution
doctoral school
BME Doctoral School of Informatics (Academic staff member)
Contact details
E-mail address zoltan.micskeimit.bme.hu
phone number +36 1 463-3598
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 2
number of students who fulfilled course requirements 1
students who obtained their degrees:
completed course requirement, without degree or degree granting in process:
Ákos Hajdu (PhD) 2019/01  DSI-BME
Dávid Honfi (PhD) 2018/08  DSI-BME
  Thesis topic proposals
Research
research area software engineering, software testing
research field in which current research is conducted computer sciences
Publications
2019

Honfi Dávid, Micskei Zoltán: Classifying generated white-box tests: an exploratory study, SOFTWARE QUALITY JOURNAL &: (&) pp. 1-42.
type of document: Journal paper/Article
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 Inc. (2017) pp. 176-179.
type of document: Part of book/Proceedings Paper
number of independent citations: 1
language: English
URL 
2017

Dávid Honfi, Gábor Molnár, Zoltán Micskei, István Majzik: Model-Based Regression Testing of Autonomous Robots, In: Tibor, Csöndes; Gábor, Kovács; György, Réthy (szerk.) 18th System Design Languages Forum: Model-Driven Engineering for Future Internet, Springer International Publishing (2017) pp. 119-135.
type of document: Part of book/Proceedings Paper
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: 1
language: English
URL 
2017

Honfi Dávid, Micskei Zoltán: Supporting Unit Test Generation via Automated Isolation, PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING AND COMPUTER SCIENCE 61: (2) pp. 116-131.
type of document: Journal paper/Article
language: English
URL 
2015

Lajos Cseppentő, Zoltán Micskei: Evaluating Symbolic Execution-based Test Tools, In: Gordon, Fraser; Darko, Marinov (szerk.) 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: 15
language: English
URL 
2012

Zoltan Micskei, Henrique Madeira, Alberto Avritzer, Istvan Majzik, Marco Vieira, Nuno Antunes: Robustness Testing Techniques and Tools, In: Wolter, K; Avritzer, A; Vieira, M; van Moorsel, A (szerk.) Resilience Assessment and Evaluation of Computing Systems, Springer (2012) pp. 323-339.
type of document: Part of book/Könyvfejezet (to be translated)
number of independent citations: 3
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: 19
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: 56
language: English
URL 
2007

Zoltán Micskei, István Majzik, Francis Tam: Comparing Robustness of AIS-Based Middleware Implementations, In: Malek, M; Reitenspieb, M (szerk.) Service Availability, Proceedings, Springer (2007) pp. 20-30.
type of document: Part of book/Proceedings Paper
number of independent citations: 5
language: English
URL 
Number of independent citations to these publications:100 
Scientometric data
list of publications and citations
number of scientific publications that meet accreditation criteria:
37
number of scientific publications:
40
monographs and professional books:
0
monographs/books in which chapters/sections were contributed:
0 
number of independent citations to scientific publications and creative works:
128

 
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. )