Home | Publications | CV | Education |
Further lists: Google Scholar, MTMT
Jump to: Journal paper, Book chapter, Conference paper, Workshop paper, Dissertation, Tech. report, Local event, Talk
B. Horváth, V. Molnár, B. Graics, A. Hajdu, I. Ráth, A. Horváth, R. Karban, G. Trancho, and Z. Micskei:
Pragmatic verification and validation of industrial executable SysML models
Systems Engineering, pp. 1-22, Wiley, 2023. DOI: 10.1002/sys.21679
Link,
BibTex,
PDF
M. Elekes, V. Molnar, Z. Micskei: Assessing the specification of modelling language semantics: a study on UML PSSM
Software Quality Journal, pp. 1-43, Springer, 2023. DOI: 10.1007/s11219-023-09617-5
Link,
BibTex,
PDF
D. Honfi, Z. Micskei: Automated Isolation for White-box Test Generation
Information and Software Technology, 125, pp. 1-16, Elsevier, 2020. DOI: 10.1016/j.infsof.2020.106319
Presented at ESEM'21 as Journal-First
Link,
BibTex,
PDF,
Dataset
D. Honfi, Z. Micskei: White-box software test generation with Microsoft Pex on open source C# projects: A dataset
Data in Brief, 31, pp. 1-10, Elsevier, 2020. DOI: 10.1016/j.dib.2020.105962
Link,
BibTex,
PDF,
Dataset
A. Hajdu, Z. Micskei: Efficient Strategies for CEGAR-Based Model Checking
Journal of Automated Reasoning, 64, pp. 1051-1091, Springer, 2020. DOI: 10.1007/s10817-019-09535-x
Link,
BibTex,
PDF,
Dataset
D. Honfi, Z. Micskei: Classifying generated white-box tests: an exploratory study
Software Quality Journal, 27:3, pp. 1339–1380, Springer, 2019. DOI: 10.1007/s11219-019-09446-5
Presented at ICST'21 as Journal-First
Link,
BibTex,
PDF,
Dataset,
Slides
L. Cseppentő, Z. Micskei: Evaluating code-based test input generator tools
Software Testing, Verification and Reliability, Volume 27, Number 6, pp. 1 - 24, Wiley, 2017. DOI: 10.1002/stvr.1627
Link,
BibTex,
Author's PDF,
Dataset
D. Honfi, Z. Micskei: Supporting Unit Test Generation via Automated Isolation
Periodica Polytechnica Electrical Engineering and Computer Science, Volume 61, Number 2, paper 9768, pp. 116 - 131, 2017. DOI: 10.3311/PPee.9768
Link,
BibTex,
PDF
I. Kocsis, A. Pataricza, Z. Micskei, A. Kövi, Zs. Kocsis: Analytics of resource transients in cloud-based applications
Int. J. of Cloud Computing, Volume 2, Number 2/3, pp. 191 - 212, Inderscience, 2013. DOI: 10.1504/IJCC.2013.055267
Link,
BibTex
Z. Micskei and H. Waeselynck: The many meanings of UML 2 Sequence Diagrams: a survey
Software and Systems Modeling, Volume 10, Number 4, pp. 489-514, Springer, 2011. DOI: 10.1007/s10270-010-0157-9
Ten Year Most Influential Regular Paper Award (2021)
Link,
BibTex,
Author's PDF
G. Pintér, Z. Micskei, and I. Majzik: Supporting design and development of safety critical applications by model based tools
Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös nominatae Sectio Computatorica, tomus XXX:61-78, 2009
Link,
BibTex,
Author's PDF
Z. Micskei, H. Madeira, A. Avritzer, I. Majzik, M. Vieira, N. Antunes: Robustness Testing Techniques and Tools
In K. Wolter et al. (Eds.): Resilience Assessment and Evaluation of Computing Systems, pp. 323-339, Springer-Verlag, 2012. DOI: 10.1007/978-3-642-29032-9_16
Link,
BibTex
G. Pintér, Z. Micskei, A. Kövi, Z. Égel, I. Kocsis, G. Huszerl, and A. Pataricza: Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services
In R. de Lemos et al. (Eds.): Architecting Dependable Systems V, pp. 150-174, Springer-Verlag, 2008. DOI: 10.1007/978-3-540-85571-2_7
Link,
BibTex,
Author's PDF
I. Majzik, O. Semeráth, Cs. Hajdu, K. Marussy, Z. Szatmári, Z. Micskei, A. Vörös, A. A. Babikian, and D. Varró:
Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles
In 22nd ACM/IEEE Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), Vision paper,
Munich, Germany, 2019. DOI: 10.1109/MODELS.2019.00-12
Link,
BibTex,
Author's PDF
A. Vörös, M. Búr, I. Ráth, Á. Horváth, Z. Micskei, L. Balogh, B. Hegyi, B. Horváth, Zs. Mázló and D. Varró:
MoDeS3: Model-based Demonstrator for Smart and Safe Cyber-Physical Systems
In 10th NASA Formal Methods Symposium (NFM), Short paper,
Newport, VA, USA, 17-19 April 2018. DOI: 10.1007/978-3-319-77935-5_31
Link,
BibTex,
Author's PDF
T. Tóth, Á. Hajdu, A. Vörös, Z. Micskei, I. Majzik:
Theta: a Framework for Abstraction Refinement-Based Model Checking
In Proc. 17th Conference on Formal Methods in Computer-Aided Design (FMCAD), Tool paper,
Vienna, Austria, 2-6 October 2017. DOI: 10.23919/FMCAD.2017.8102257
Link,
BibTex,
Author's PDF,
Slides
D. Honfi, G. Molnár, Z. Micskei, I. Majzik:
Model-Based Regression Testing of Autonomous Robots
In Proc. 18th International Conference on System Design Languages (SDL), LNCS 10567,
Budapest, Hungary, 9-11 October 2017. DOI: 10.1007/978-3-319-68015-6_8
Link,
BibTex,
Author's PDF,
Slides
D. Honfi, A. Vörös, Z. Micskei:
SEViz: A Tool for Visualizing Symbolic Execution
In Proc. of IEEE Int. Conf. on Software Testing, Verification and Validation (ICST), Tool Track,
Graz, Austria, 13-17 April 2015. DOI: 10.1109/ICST.2015.7102631 (~36% acceptance rate)
Link,
BibTex,
Author's PDF
L. Cseppentő, Z. Micskei:
Evaluating Symbolic Execution-based Test Tools
In Proc. of IEEE Int. Conf. on Software Testing, Verification and Validation (ICST),
Graz, Austria, 13-17 April 2015. DOI: 10.1109/ICST.2015.7102587 (~24% acceptance rate)
Link,
BibTex,
Author's PDF,
Prezi
H. Waeselynck, Z. Micskei, N. Riviere, Á. Hamvas, I. Nitu:
TERMOS: a Formal Language for Scenarios in Mobile Computing Systems
In Proc. of 7th International ICST Conference on Mobile and Ubiquitous Systems (MobiQuitous 2010),
Sydney, Australia, 6-9 December 2010. DOI: 10.1007/978-3-642-29154-8_24 (~23% acceptance rate)
Link,
BibTex,
Author's PDF
F. Bouquet, R. Breu, J. Jurjens, F. Massacci, V. Meduri, Z. Micskei, F. Piessens, K. Stolen, D. Varro:
SecureChange: Security Engineering for Lifelong Evolvable Systems
In Proc. of First European Future Technologies Conference and Exhibition (FET09), poster session,
Prague, Czech Republic, 21-23 April 2009.
Link,
BibTex,
Author's PDF
H. Waeselynck, Z. Micskei, M. D. Nguyen,
N. Rivière: Mobile Systems from a Validation Perspective: a Case Study
In Proc. of 6th International Symposium on Parallel and
Distributed Computing (ISPDC 2007), IEEE Press, Hagenberg, Austria, July 5-8, 2007. DOI: 10.1109/ISPDC.2007.37
Link,
BibTex,
Author's PDF
I. Majzik, Z. Micskei, G. Pintér:
Development of Model Based Tools to Support the Design of Railway Control Applications
In Proc. of the 26th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2007),
pp 430-435, Nuremberg, Germany, September 18-21, 2007. DOI: 10.1007/978-3-540-75101-4_41
Link,
BibTex,
Author's PDF
G. Pintér, Z. Micskei, I. Majzik:
Supporting Design and Development of Safety Critical Applications by Model Based Tools
In Proc. of the 10th Symposium on Programming Languages and Software Tools
(SPLST 2007),
pp 61-75, Dobogókő, Hungary, June 14-16, 2007.
BibTex,
Author's PDF
Z. Micskei, I. Majzik, F. Tam:
Comparing Robustness of AIS-Based Middleware Implementations,
In Proc. of International Service Availability Symposium (ISAS 2007),
LNCS 4526, Durham, New Hampshire, USA, May 21-22, 2007. DOI: 10.1007/978-3-540-72736-1_3
Link,
BibTex,
Author's PDF
Z. Micskei, I. Majzik: Model-based Automatic Test
Generation for Event-Driven Embedded Systems using Model Checkers,
In Proc. of International Conference on Dependability of Computer
Systems (DepCoS '06), IEEE Press, Szklarska Poreba, Poland, May
25-27, 2006. DOI: 10.1109/DEPCOS-RELCOMEX.2006.37
Link,
BibTex
M. Elekes, Z. Micskei:
Towards Testing the UML PSSM Test Suite
In: 2nd Workshop on vAlidation and verification in FuturE cybeR-physical Systems (WAFERS) @ LADC 2021
November 2021. DOI: 10.1145/3417990.3421407
Link,
BibTex
B. Horváth, B. Graics, Á. Hajdu, Z. Micskei, V. Molnár, I. Ráth, L. Andolfato, I. Gomes, R. Karban:
Model checking as a service: towards pragmatic hidden formal methods
In: Workshop on Open Model Based Engineering Environment (OpenMBEE) @ MODELS 2020
October 2020. DOI: 10.1145/3417990.3421407
Link,
BibTex
G. Kulcsár, K. Koltai, Sz. Tanyi, B. Péceli, Á. Horváth, Z. Micskei, P. Varga:
From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain
In: IEEE/IFIP Network Operations and Management Symposium: Management in the Age of Softwarization and Artificial Intelligence ,
Budapest, Hungary, 20-24. April 2020.
Link,
BibTex,
Author's PDF
Gy. Sallai, Á. Hajdu, T. Tóth, Z. Micskei:
Towards Evaluating Size Reduction Techniques for Software Model Checking
In: Proc. of Workshop on Verification and Program Transformation (VPT),
Uppsala, Sweden, 29. April 2017.
Link,
BibTex,
Author's PDF
Z. Micskei, R-A. Konnerth, B. Horváth, O. Semeráth, A. Vörös, D. Varró:
On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf
In Proc. of Workshop on Open Source Software for Model Driven Engineering (OSS4MDE) of MoDELS 2014,
Valencia, Spain, 28. September 2014.
Link,
BibTex,
Author's PDF
G. Horányi, Z. Micskei, I. Majzik:
Scenario-based Automated Evaluation of Test Traces of Autonomous Systems
In Proc. of Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of SAFECOMP 2013,
Toulouse, France, 24. September 2013.
Link,
BibTex,
Author's PDF
Z. Micskei, Z. Szatmári, J. Oláh, I. Majzik:
A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems
In Proc. of 1st Int. Workshop on Trustworthy Multi-Agent Systems (TruMAS 2012): KES-AMSTA 2012 Special Session,
Dubrovnik, Croatia, 25-27 June 2012. DOI: 10.1007/978-3-642-30947-2_55
Link,
BibTex,
Author's PDF
A. Kövi, Z. Micskei:
Robustness Testing of Standard Specifications-based HA Middleware
In Proc. of 2nd Workshop on Sharing Field Data and Experiment Measurements on Resilience of Distributed Computing Systems (RDCS 2010),
Genova, Italy, 21-15 June 2010. DOI: 10.1109/ICDCSW.2010.73
Link,
BibTex
L. Gönczy, I. Majzik, A. Horváth, D. Varró, A. Balogh, Z. Micskei, and A. Pataricza:
Tool Support for Engineering Certifiable Software
In Proc. of the First Workshop on Certification of Safety-Critical Software Controlled Systems (SafeCert 2008),
Electronic Notes in Theoretical Computer Science, vol. 238, issue 4, Sep. 2009, pp. 79-85., DOI: 10.1016/j.entcs.2009.09.008
Link,
BibTex
Z. Micskei, I. Majzik, F. Tam: Robustness Testing
Techniques For High Availability Middleware Solutions,
In Proc. of International Workshop on Engineering of
Fault Tolerant Systems (EFTS 2006),
Luxembourg, Luxembourg, June 12-14, 2006.
BibTex,
Author's PDF
Z. Micskei: Languages and frameworks for specifying test artifacts
PhD dissertation, Budapest University of Technology and Economics, 2013.
Link,
BibTex,
PDF
Z. Micskei: Model-based Automatic Test Genearation
MSc thesis, Budapest University of Technology and Economics, 2005.
BibTex,
PDF (in Hungarian)
Z. Micskei and H. Waeselynck:
A survey of UML 2.0 sequence diagrams' semantics,
LAAS Technical Report no. 08389, 37 pages, August 2008.
Link,
BibTex,
PDF
Z. Micskei, H. Waeselynck, M. D. Nguyen, N. Riviere:
Analysis of a group membership protocol for Ad-hoc networks,
LAAS Technical Report no. 06797, 42 pages, November 2006.
Link,
BibTex
T. Szanto, Z. Micskei: Measuring quality of datasets using prediction explanation,
In Proc. of 26th PhD Mini-Symposium, Budapest, Hungary, 2019. DOI: 10.5281/zenodo.2704320
Link
D. Honfi, Z. Micskei: Towards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics,
In Proc. of 25th PhD Mini-Symposium, Budapest, Hungary, 2018. DOI: 10.5281/zenodo.1219234
Link
Á. Hajdu, Z. Micskei: A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework,
In Proc. of 25th PhD Mini-Symposium, Budapest, Hungary, 2018. DOI: 10.5281/zenodo.1219261
Link
Á. Hajdu, Z. Micskei: Exploratory Analysis of the Performance of a Configurable CEGAR Framework,
In Proc. of 24th PhD Mini-Symposium, Budapest, Hungary, 2017. DOI: 10.5281/zenodo.291895
Link
D. Honfi, Z. Micskei: User-defined Sandbox Behavior for Dynamic Symbolic Execution,
In Proc. of 24th PhD Mini-Symposium, Budapest, Hungary, 2017. DOI: 10.5281/zenodo.291898
Link
D. Honfi, Z. Micskei: Generating Unit Isolation Environment Using Symbolic Execution,
In Proc. of 23rd PhD Mini-Symposium, Budapest, Hungary, February 8-9. 2016.
Link
Z. Szatmári, Z. Micskei, I. Majzik: Monitor komponensek okostelefon platformra,
In Proc. of
XIX. FMTÜ Nemzetközi Tudományos Konferencia, Kolozsvár, Romania, March 20-21. 2014.
Link
Z. Micskei: Specifying Tests for Ad-Hoc Mobile Systems,
In Proceedings of 15th PhD Mini-Symposium, Budapest, Hungary, February 4-5. 2008.
BibTex,
Author's PDF
Z. Micskei, I. Majzik: Robustness Comparison of High Availability Middleware Systems,
In Proceedings of
14th PhD Mini-Symposium, pp 70-73, Budapest, Hungary, February 5-6. 2007.
BibTex,
Author's PDF
Z. Micskei: Nagy Rendelkezésre Állást Biztosító Köztes Rétegek Robusztusság Tesztelése,
Tavaszi Szél 2006, ISBN 963-229-773-3, pp 295-298, Kaposvár, Hungary, 4-6 May, 2006.
BibTex,
Author's PDF (in Hungarian)
Z. Micskei, I. Majzik: Robustness Testing of High Availability Middleware Solutions,
In Proceedings of
13th PhD Mini-Symposium, pp 36-37, Budapest, Hungary, February 6-7. 2006.
(Best presentation award in the category of 1st year PhD students)
BibTex,
Author's PDF
Z. Micskei: Automatikus tesztgenerálás modell ellenőrzővel,
X. Fiatal Műszakiak Tudományos Ülésszaka (FMTU), pages 47-50. Kolozsvar, Romania, ISBN 973-8231-44-2, 2005.
Link,
BibTex,
Author's PDF (in Hungarian)
Z. Micskei: Testing the new generation of critical systems
Thyssenkrupp Software Update Project (SUP), Budapest, Hungary, 2022.
Z. Micskei: Megbízható és megismerhető mesterséges intelligencia (Trustworthy and Explainable Artificial Intelligence)
ITBusiness Inslide, Budapest, Hungary, 2022.
Z. Micskei: Overview of Software Testing
Test Team Leader Seminar, Budapest, Hungary, 2018.
Z. Micskei: Empirical Evidence in Software Testing
Hungarian Software Testing Forum (HUSTEF), Budapest, Hungary, 2017.
Poster, supporting material
Z. Micskei: Evaluating Code-Based Test Input Generator Tools
User Conference on Advanced Automated Testing (UCAAT), Budapest, Hungary, 2016.
Slides
Z. Micskei: Modell alapú tesztelés: célok és lehetőségek (Model-based testing: goals and use cases)
Szoftvertesztelés, Budapest, Hungary, 2016.
Slides
Z. Micskei: The Gap Between Academic Research and Industrial Practice in Software Testing
Hungarian Software Testing Forum (HUSTEF), Budapest, Hungary, 2014.
Slides, supporting material
D. Honfi, Z. Micskei: Egységtesztek automatikus generálása forráskódból (Generating unit tests automatically from source code),
Test&Tea meetup, Budapest, Hungary, 2014.
Slides, video
Z. Micskei: Autonóm rendszerek tesztelése egy EU-s projektben (Testing autonomous sytems in an EU project),
V. Szoftvertesztelés Szakkonferencia, Budapest, Hungary, 2012.
Slides
Z. Micskei, B. Polgár: Modell alapú tesztelés alkalmazása egy konkrét projektben (Using model-based testing in an EU project),
Szoftvertesztelés 2011 Interaktív Szakmai Fórum, Budapest, Hungary, 2011.
Slides