Zoltán Micskei

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 21

Top Topics

Symbolic Execution

Temporal Properties

Top Venues

Softw. Qual. J.

Publications

Levente Bajczi, Zsófia Ádám, Zoltán Micskei
ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution). TACAS (3) (2024)
Márton Elekes, Vince Molnár, Zoltán Micskei
To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines. IEEE Trans. Software Eng. 50 (8) (2024)
Márton Elekes, Vince Molnár, Zoltán Micskei
Assessing the specification of modelling language semantics: a study on UML PSSM. Softw. Qual. J. 31 (2) (2023)
Márton Elekes, Vince Molnár, Zoltán Micskei
To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines. CoRR (2023)
Benedek Horváth, Vince Molnár, Bence Graics, Ákos Hajdu, István Ráth, Ákos Horváth, Robert Karban, Gelys Trancho, Zoltán Micskei
Pragmatic verification and validation of industrial executable SysML models. Syst. Eng. 26 (6) (2023)
Márton Elekes, Zoltán Micskei
Towards Testing the UML PSSM Test Suite. LADC (2021)
Benedek Horváth, Bence Graics, Ákos Hajdu, Zoltán Micskei, Vince Molnár, István Ráth, Luigi Andolfato, Ivan Gomes, Robert Karban
Model checking as a service: towards pragmatic hidden formal methods. MoDELS (Companion) (2020)
Ákos Hajdu, Zoltán Micskei
Efficient Strategies for CEGAR-Based Model Checking. J. Autom. Reason. 64 (6) (2020)
Géza Kulcsár, Kadosa Koltai, Szvetlin Tanyi, Bálint Péceli, Ákos Horváth, Zoltán Micskei, Pál Varga
From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain. NOMS (2020)
David Honfi, Zoltán Micskei
Automated isolation for white-box test generation. Inf. Softw. Technol. 125 (2020)
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. MoDELS (2019)
Nuno Laranjeiro, Camilo Gomez, Enrico Schiavone, Leonardo Montecchi, Manoel J. M. Carvalho, Paolo Lollini, Zoltán Micskei
Addressing Verification and Validation Challenges in Future Cyber-Physical Systems. LADC (2019)
David Honfi, Zoltán Micskei
Classifying generated white-box tests: an exploratory study. Softw. Qual. J. 27 (3) (2019)
David Honfi, Zoltán Micskei
Automated Isolation for White-box Test Generation. CoRR (2019)
András Vörös, Márton Búr, István Ráth, Ákos Horváth, Zoltán Micskei, László Balogh, Bálint Hegyi, Benedek Horváth, Zsolt Mázló, Dániel Varró
MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems. NFM (2018)
David Honfi, Zoltán Micskei
Supporting Unit Test Generation via Automated Isolation. Period. Polytech. Electr. Eng. Comput. Sci. 61 (2) (2017)
David Honfi, Zoltán Micskei
Classifying the Correctness of Generated White-Box Tests: An Exploratory Study. CoRR (2017)
Gyula Sallai, Ákos Hajdu, Tamás Tóth, Zoltán Micskei
Towards Evaluating Size Reduction Techniques for Software Model Checking. VPT@ETAPS (2017)
Tamás Tóth, Ákos Hajdu, András Vörös, Zoltán Micskei, István Majzik
Theta: A framework for abstraction refinement-based model checking. FMCAD (2017)
David Honfi, Gábor Molnár, Zoltán Micskei, István Majzik
Model-Based Regression Testing of Autonomous Robots. SDL Forum (2017)
Lajos Cseppento, Zoltán Micskei
Evaluating code-based test input generator tools. Softw. Test. Verification Reliab. 27 (6) (2017)
Lajos Cseppento, Zoltán Micskei
Evaluating Symbolic Execution-Based Test Tools. ICST (2015)
David Honfi, András Vörös, Zoltán Micskei
SEViz: A Tool for Visualizing Symbolic Execution. ICST (2015)
Zoltán Micskei, Raimund-Andreas Konnerth, Benedek Horváth, Oszkár Semeráth, András Vörös, Dániel Varró
On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf. OSS4MDE@MoDELS (2014)
Gergo Horányi, Zoltán Micskei, István Majzik
Scenario-based Automated Evaluation of Test Traces of Autonomous Systems. DECS@SAFECOMP (2013)
Imre Kocsis, András Pataricza, Zoltán Micskei, András Kövi, Zsolt Kocsis
Analytics of resource transients in cloud-based applications. Int. J. Cloud Comput. 2 (2/3) (2013)
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. KES-AMSTA (2012)
Zoltán Micskei, Hélène Waeselynck
The many meanings of UML 2 Sequence Diagrams: a survey. Softw. Syst. Model. 10 (4) (2011)
Hélène Waeselynck, Zoltán Micskei, Nicolas Rivière, Áron Hamvas, Irina Nitu
TERMOS: A Formal Language for Scenarios in Mobile Computing Systems. MobiQuitous (2010)
András Kövi, Zoltán Micskei
Robustness Testing of Standard Specifications-Based HA Middleware. ICDCS Workshops (2010)
László Gönczy, István Majzik, Ákos Horváth, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza
Tool Support for Engineering Certifiable Software. Electron. Notes Theor. Comput. Sci. 238 (4) (2009)
Hélène Waeselynck, Zoltán Micskei, Minh Duc Nguyen, Nicolas Rivière
Mobile Systems from a Validation Perspective: a Case Study. ISPDC (2007)
Zoltán Micskei, István Majzik, Francis Tam
Comparing Robustness of AIS-Based Middleware Implementations. ISAS (2007)
István Majzik, Zoltán Micskei, Gergely Pintér
Development of Model Based Tools to Support the Design of Railway Control Applications. SAFECOMP (2007)
Gergely Pintér, Zoltán Micskei, András Kövi, Zoltán Égel, Imre Kocsis, Gábor Huszerl, András Pataricza
Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services. WADS (2007)
Zoltán Micskei, István Majzik
Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers. DepCoS-RELCOMEX (2006)