Zoltán Micskei

According to our database, Zoltán Micskei authored at least 36 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution).

Levente Bajczi, Zsófia Ádám, Zoltán Micskei

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Pragmatic verification and validation of industrial executable SysML models.

Benedek Horváth, Vince Molnár, Bence Graics, Ákos Hajdu, István Ráth, Ákos Horváth, Robert Karban, Gelys Trancho, Zoltán Micskei

Syst. Eng., November, 2023

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

Márton Elekes, Vince Molnár, Zoltán Micskei

Softw. Qual. J., June, 2023

To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines.

Márton Elekes, Vince Molnár, Zoltán Micskei

CoRR, 2023

2021

Towards Testing the UML PSSM Test Suite.

Márton Elekes, Zoltán Micskei

Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021

2020

Efficient Strategies for CEGAR-Based Model Checking.

Ákos Hajdu, Zoltán Micskei

J. Autom. Reason., 2020

Automated isolation for white-box test generation.

David Honfi, Zoltán Micskei

Inf. Softw. Technol., 2020

From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain.

Géza Kulcsár, Kadosa Koltai, Szvetlin Tanyi, Bálint Péceli, Ákos Horváth, Zoltán Micskei, Pál Varga

Proceedings of the NOMS 2020, 2020

Model checking as a service: towards pragmatic hidden formal methods.

Benedek Horváth, Bence Graics, Ákos Hajdu, Zoltán Micskei, Vince Molnár, István Ráth, Luigi Andolfato, Ivan Gomes, Robert Karban

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2019

Classifying generated white-box tests: an exploratory study.

David Honfi, Zoltán Micskei

Softw. Qual. J., 2019

Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles.

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ó

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

Addressing Verification and Validation Challenges in Future Cyber-Physical Systems.

Nuno Laranjeiro, Camilo Gomez, Enrico Schiavone, Leonardo Montecchi, Manoel J. M. Carvalho, Paolo Lollini, Zoltán Micskei

Proceedings of the 9th Latin-American Symposium on Dependable Computing, 2019

2018

MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems.

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ó

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2017

Evaluating code-based test input generator tools.

Lajos Cseppento, Zoltán Micskei

Softw. Test. Verification Reliab., 2017

Supporting Unit Test Generation via Automated Isolation.

David Honfi, Zoltán Micskei

Period. Polytech. Electr. Eng. Comput. Sci., 2017

Towards Evaluating Size Reduction Techniques for Software Model Checking.

Gyula Sallai, Ákos Hajdu, Tamás Tóth, Zoltán Micskei

Proceedings of the Proceedings Fifth International Workshop on Verification and Program Transformation, 2017

Classifying the Correctness of Generated White-Box Tests: An Exploratory Study.

David Honfi, Zoltán Micskei

CoRR, 2017

Model-Based Regression Testing of Autonomous Robots.

David Honfi, Gábor Molnár, Zoltán Micskei, István Majzik

Proceedings of the SDL 2017: Model-Driven Engineering for Future Internet, 2017

Theta: A framework for abstraction refinement-based model checking.

Tamás Tóth, Ákos Hajdu, András Vörös, Zoltán Micskei, István Majzik

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2015

SEViz: A Tool for Visualizing Symbolic Execution.

David Honfi, András Vörös, Zoltán Micskei

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Evaluating Symbolic Execution-Based Test Tools.

Lajos Cseppento, Zoltán Micskei

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

2014

On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf.

Zoltán Micskei, Raimund-Andreas Konnerth, Benedek Horváth, Oszkár Semeráth, András Vörös, Dániel Varró

Proceedings of the 1st Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, 2014

2013

Nyelvek és keretrendszerek tesztek specifikálására

Zoltán Micskei

PhD thesis, 2013

Analytics of resource transients in cloud-based applications.

Imre Kocsis, András Pataricza, Zoltán Micskei, András Kövi, Zsolt Kocsis

Int. J. Cloud Comput., 2013

Scenario-based Automated Evaluation of Test Traces of Autonomous Systems.

Gergo Horányi, Zoltán Micskei, István Majzik

Proceedings of the SAFECOMP 2013, 2013

2012

A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems.

Zoltán Micskei, Zoltán Szatmári, János Oláh, István Majzik

Proceedings of the Agent and Multi-Agent Systems. Technologies and Applications, 2012

Robustness Testing Techniques and Tools.

Zoltán Micskei, Henrique Madeira, Alberto Avritzer, István Majzik, Marco Vieira, Nuno Antunes

Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

2011

The many meanings of UML 2 Sequence Diagrams: a survey.

Zoltán Micskei, Hélène Waeselynck

Softw. Syst. Model., 2011

2010

TERMOS: A Formal Language for Scenarios in Mobile Computing Systems.

Hélène Waeselynck, Zoltán Micskei, Nicolas Rivière, Áron Hamvas, Irina Nitu

Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2010

Robustness Testing of Standard Specifications-Based HA Middleware.

András Kövi, Zoltán Micskei

Proceedings of the 30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 2010

2008

Tool Support for Engineering Certifiable Software.

László Gönczy, István Majzik, Ákos Horváth, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza

Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008

2007

Development of Model Based Tools to Support the Design of Railway Control Applications.

István Majzik, Zoltán Micskei, Gergely Pintér

Proceedings of the Computer Safety, 2007

Mobile Systems from a Validation Perspective: a Case Study.

Hélène Waeselynck, Zoltán Micskei, Minh Duc Nguyen, Nicolas Rivière

Proceedings of the 6th International Symposium on Parallel and Distributed Computing (ISPDC 2007), 2007

Comparing Robustness of AIS-Based Middleware Implementations.

Zoltán Micskei, István Majzik, Francis Tam

Proceedings of the Service Availability, 4th International Service Availability Symposium, 2007

Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services.

Gergely Pintér, Zoltán Micskei, András Kövi, Zoltán Égel, Imre Kocsis, Gábor Huszerl, András Pataricza

Proceedings of the Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], 2007

2006

Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers.

Zoltán Micskei, István Majzik

Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006