Zoltán Micskei

Orcid: 0000-0003-1846-261X

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines.
IEEE Trans. Software Eng., August, 2024

ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023
Pragmatic verification and validation of industrial executable SysML models.
Syst. Eng., November, 2023

Assessing the specification of modelling language semantics: a study on UML PSSM.
Softw. Qual. J., June, 2023

2021
Towards Testing the UML PSSM Test Suite.
Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021

2020
Efficient Strategies for CEGAR-Based Model Checking.
J. Autom. Reason., 2020

Automated isolation for white-box test generation.
Inf. Softw. Technol., 2020

From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain.
Proceedings of the NOMS 2020, 2020

Model checking as a service: towards pragmatic hidden formal methods.
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.
Softw. Qual. J., 2019

Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles.
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.
Proceedings of the 9th Latin-American Symposium on Dependable Computing, 2019

2018
MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2017
Evaluating code-based test input generator tools.
Softw. Test. Verification Reliab., 2017

Supporting Unit Test Generation via Automated Isolation.
Period. Polytech. Electr. Eng. Comput. Sci., 2017

Towards Evaluating Size Reduction Techniques for Software Model Checking.
Proceedings of the Proceedings Fifth International Workshop on Verification and Program Transformation, 2017

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

Model-Based Regression Testing of Autonomous Robots.
Proceedings of the SDL 2017: Model-Driven Engineering for Future Internet, 2017

Theta: A framework for abstraction refinement-based model checking.
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2015
SEViz: A Tool for Visualizing Symbolic Execution.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Evaluating Symbolic Execution-Based Test Tools.
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.
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
PhD thesis, 2013

Analytics of resource transients in cloud-based applications.
Int. J. Cloud Comput., 2013

Scenario-based Automated Evaluation of Test Traces of Autonomous Systems.
Proceedings of the SAFECOMP 2013, 2013

2012
A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems.
Proceedings of the Agent and Multi-Agent Systems. Technologies and Applications, 2012

Robustness Testing Techniques and Tools.
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

2011
The many meanings of UML 2 Sequence Diagrams: a survey.
Softw. Syst. Model., 2011

2010
TERMOS: A Formal Language for Scenarios in Mobile Computing Systems.
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2010

Robustness Testing of Standard Specifications-Based HA Middleware.
Proceedings of the 30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 2010

2008
Tool Support for Engineering Certifiable Software.
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.
Proceedings of the Computer Safety, 2007

Mobile Systems from a Validation Perspective: a Case Study.
Proceedings of the 6th International Symposium on Parallel and Distributed Computing (ISPDC 2007), 2007

Comparing Robustness of AIS-Based Middleware Implementations.
Proceedings of the Service Availability, 4th International Service Availability Symposium, 2007

Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services.
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.
Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006


  Loading...