Zoltan Micskei's publications

Further lists: Google Scholar, MTMT

Jump to: Journal paper, Book chapter, Conference paper, Workshop paper, Dissertation, Tech. report, Local event, Talk

Journal paper

• M. Elekes, V. Molnár, Z. Micskei: To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines
  IEEE Transactions on Software Engineering, pp. 2124-2141, IEEE, 2024. DOI: 10.1109/TSE.2024.3422845
  Link, BibTex, PDF

• 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

Book chapter

• 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

Conference paper

• 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

Workshop paper

• 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

Dissertation and thesis

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

Technical report

• 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

Local event

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

Talk

• 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