Personal information

Websites & social links

Home page
LinkedIn
Twitter

Other IDs

ResearcherID: G-8351-2012
Scopus Author ID: 19639214700

Keywords

software engineering, software testing, model-based development

Countries

Hungary

Activities

Collapse all

Employment (2)

Budapest University of Technology and Economics: Budapest, HU

2017-03-01 to present | associate professor (Department of Measurement and Information Systems)
Employment
Source: Self-asserted source
Zoltán Micskei

Budapest University of Technology and Economics: Budapest, HU

2013-10-01 to 2017-02-28 | assistant professor (Department of Measurement and Information Systems )
Employment
Source: Self-asserted source
Zoltán Micskei

Education and qualifications (2)

Budapest University of Technology and Economics: Budapest, HU

2005-09-01 to 2013-09-26 | Ph.D. degree (summa cum laude)
Education
Source: Self-asserted source
Zoltán Micskei

Budapest University of Technology and Economics: Budapest, HU

2000-09-01 to 2005-06-31 | M.Sc. degree (with honour) in software engineering
Education
Source: Self-asserted source
Zoltán Micskei

Professional activities (1)

Association for Computing Machinery: New York, New York, US

2015 to present | Senior Member
Membership
Source: Self-asserted source
Zoltán Micskei

Works (19)

Pragmatic verification and validation of industrial executable SysML models

Systems Engineering
2023-11 | Journal article
DOI: 10.1002/sys.21679
Contributors: Benedek Horváth; Vince Molnár; Bence Graics; Ákos Hajdu; István Ráth; Ákos Horváth; Robert Karban; Gelys Trancho; Zoltán Micskei
Source: check_circle
Crossref

Assessing the specification of modelling language semantics: a study on UML PSSM

Software Quality Journal
2023-06 | Journal article
DOI: 10.1007/s11219-023-09617-5
Contributors: Márton Elekes; Vince Molnár; Zoltán Micskei
Source: check_circle
Crossref

Towards Testing the UML PSSM Test Suite

2021-11 | Conference paper
DOI: 10.1109/LADC53747.2021.9672570
Contributors: Marton Elekes; Zoltan Micskei
Source: check_circle
Crossref

Automated isolation for white-box test generation

Information and Software Technology
2020-09 | Journal article
DOI: 10.1016/j.infsof.2020.106319
Contributors: Dávid Honfi; Zoltán Micskei
Source: check_circle
Crossref

White-box software test generation with Microsoft Pex on open source C# projects: A dataset

Data in Brief
2020-08 | Journal article
DOI: 10.1016/j.dib.2020.105962
Contributors: Dávid Honfi; Zoltán Micskei
Source: check_circle
Crossref

Efficient Strategies for CEGAR-Based Model Checking

Journal of Automated Reasoning
2020-08-11 | Journal article
DOI: 10.1007/s10817-019-09535-x
Contributors: Ákos Hajdu; Zoltán Micskei
Source: check_circle
Crossref

Classifying generated white-box tests: an exploratory study

Software Quality Journal
2019-09-17 | Journal article
DOI: 10.1007/s11219-019-09446-5
Contributors: Dávid Honfi; Zoltán Micskei
Source: check_circle
Crossref

Evaluating code‐based test input generator tools

Software Testing, Verification and Reliability
2017-09 | Journal article
DOI: 10.1002/stvr.1627
Contributors: Lajos Cseppentő; Zoltán Micskei
Source: check_circle
Crossref

A concept for testing robustness and safety of the context-aware behaviour of autonomous systems

2012 | Book
DOI:

10.1007/978-3-642-30947-2_55

EID:

2-s2.0-84863528295
Contributors: Micskei, Z.; Szatmári, Z.; Oláh, J.; Majzik, I.
Source: Self-asserted source
Zoltán Micskei via Scopus - Elsevier

TERMOS: A formal language for scenarios in mobile computing systems

2012 | Book
DOI:

10.1007/978-3-642-29154-8-24

EID:

2-s2.0-84883381243
Contributors: Waeselynck, H.; Micskei, Z.; Rivière, N.; Hamvas, A.; Nitu, I.
Source: Self-asserted source
Zoltán Micskei via Scopus - Elsevier

The many meanings of UML 2 Sequence Diagrams: A survey

2011 | Journal article
DOI:

10.1007/s10270-010-0157-9

EID:

2-s2.0-80053131683
Contributors: Micskei, Z.; Waeselynck, H.
Source: Self-asserted source
Zoltán Micskei via Scopus - Elsevier
grade
Preferred source (of 2)‎

Robustness testing of standard specifications-based HA middleware

2010 | Conference paper
DOI:

10.1109/ICDCSW.2010.73

EID:

2-s2.0-79952013955
Contributors: Kövi, A.; Micskei, Z.
Source: Self-asserted source
Zoltán Micskei via Scopus - Elsevier

Tool Support for Engineering Certifiable Software

2009 | Journal article
DOI:

10.1016/j.entcs.2009.09.008

EID:

2-s2.0-70349088982
Contributors: Gönczy, L.; Majzik, I.; Horváth, A.; Varró, D.; Balogh, A.; Micskei, Z.; Pataricza, A.
Source: Self-asserted source
Zoltán Micskei via Scopus - Elsevier

Model-based approaches for dependability in ad-hoc mobile networks and services

2008 | Book
DOI:

10.1007/978-3-540-85571-2_7

EID:

2-s2.0-51849127335
Contributors: Pintér, G.; Micskei, Z.; Kövi, A.; Égel, Z.; Kocsis, I.; Huszerl, G.; Pataricza, A.
Source: Self-asserted source
Zoltán Micskei via Scopus - Elsevier

Comparing robustness of AIS-based middleware implementations

2007 | Conference paper
EID:

2-s2.0-34548076151
Contributors: Micskei, Z.; Majzik, I.; Tam, F.
Source: Self-asserted source
Zoltán Micskei via Scopus - Elsevier

Development of model based tools to support the design of railway control applications

2007 | Book
EID:

2-s2.0-38149092538
Contributors: Majzik, I.; Micskei, Z.; Pintér, G.
Source: Self-asserted source
Zoltán Micskei via Scopus - Elsevier

Mobile systems from a validation perspective: A case study

2007 | Conference paper
DOI:

10.1109/ISPDC.2007.37

EID:

2-s2.0-35348841518
Contributors: Waeselynck, H.; Micskei, Z.; Nguyen, M.D.; Rivière, N.
Source: Self-asserted source
Zoltán Micskei via Scopus - Elsevier

Model-based automatic test generation for event-driven embedded systems using model checkers

2007 | Conference paper
DOI:

10.1109/DEPCOS-RELCOMEX.2006.37

EID:

2-s2.0-34848906243
Contributors: Micskei, Z.; Majzik, I.
Source: Self-asserted source
Zoltán Micskei via Scopus - Elsevier

Supporting design and development of safety critical applications by model based tools

2007 | Conference paper
EID:

2-s2.0-84902002700
Contributors: Pintér, G.; Micskei, Z.; Majzik, I.
Source: Self-asserted source
Zoltán Micskei via Scopus - Elsevier
How many people are using ORCID?