The many meanings of UML 2 Sequence Diagrams: a survey Z Micskei, H Waeselynck Software and Systems Modeling 10 (4), 489-514, 2011 | 114 | 2011 |
A concept for testing robustness and safety of the context-aware behaviour of autonomous systems Z Micskei, Z Szatmári, J Oláh, I Majzik Agent and Multi-Agent Systems. Technologies and Applications, 504-513, 2012 | 46 | 2012 |
Evaluating Symbolic Execution-based Test Tools L Cseppento, Z Micskei IEEE Int. Conf. on Software Testing, Verification and Validation (ICST), 2015 | 33 | 2015 |
Model-based automatic test generation for event-driven embedded systems using model checkers Z Micskei, I Majzik 2006 International Conference on Dependability of Computer Systems, 191-198, 2006 | 22 | 2006 |
THETA: a Framework for Abstraction Refinement-Based Model Checking T Tóth, A Hajdu, A Vörös, Z Micskei, I Majzik 17th Conference on Formal Methods in Computer-Aided Design (FMCAD), 2017 | 20 | 2017 |
Mobile systems from a validation perspective: a case study H Waeselynck, Z Micskei, MD Nguyen, N Riviere Sixth International Symposium on Parallel and Distributed Computing (ISPDC …, 2007 | 16 | 2007 |
Comparing robustness of AIS-based middleware implementations Z Micskei, I Majzik, F Tam Service Availability, 20-30, 2007 | 16 | 2007 |
Robustness testing techniques for high availability middleware solutions Z Micskei, I Majzik, F Tam Proc. of International Workshop on Engineering of Fault Tolerant Systems …, 2006 | 16 | 2006 |
Scenario-based automated evaluation of test traces of autonomous systems G Horányi, Z Micskei, I Majzik | 13 | 2013 |
On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf Z Micskei, RA Konnerth, B Horváth, O Semeráth, A Vörös, D Varró Proceedings of the 1st Workshop on Open Source Software for Model Driven …, 2014 | 12 | 2014 |
Robustness Testing Techniques and Tools Z Micskei, H Madeira, A Avritzer, I Majzik, M Vieira, N Antunes Resilience Assessment and Evaluation of Computing Systems, 323, 2012 | 12 | 2012 |
TERMOS: a Formal Language for Scenarios in Mobile Computing Systems H Waeselynck, Z Micskei, N Rivičre, Á Hamvas, I Nitu 7th International ICST Conference on Mobile and Ubiquitous Systems …, 2010 | 12 | 2010 |
UML 2.0 sequence diagrams' semantics Z Micskei, H Waeselynck LAAS technical report no. 08389 37, 2008 | 11 | 2008 |
Modes3: model-based demonstrator for smart and safe cyber-physical systems A Vörös, M Búr, I Ráth, Á Horváth, Z Micskei, L Balogh, B Hegyi, B Horváth, ... NASA Formal Methods Symposium, 460-467, 2018 | 10 | 2018 |
Analytics of resource transients in cloud-based applications I Kocsis, A Pataricza, Z Micskei, A Kövi, Z Kocsis International Journal of Cloud Computing 1 2 (2-3), 191-212, 2013 | 9 | 2013 |
SEViz: A tool for visualizing symbolic execution D Honfi, A Voros, Z Micskei 2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015 | 8 | 2015 |
Tool support for engineering certifiable software L Gönczy, I Majzik, A Horváth, D Varró, A Balogh, Z Micskei, A Pataricza Electronic Notes in Theoretical Computer Science 238 (4), 79-85, 2009 | 8 | 2009 |
Evaluating code‐based test input generator tools L Cseppentő, Z Micskei Software Testing, Verification and Reliability, 2017 | 6 | 2017 |
Towards system-level testing with coverage guarantees for autonomous vehicles I Majzik, O Semeráth, C Hajdu, K Marussy, Z Szatmári, Z Micskei, A Vörös, ... 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 5 | 2019 |
Towards evaluating size reduction techniques for software model checking G Sallai, A Hajdu, T Tóth, Z Micskei arXiv preprint arXiv:1708.07224, 2017 | 5 | 2017 |