To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines von Elekes, Marton, Molnar, Vince, Micskei, Zoltan

Volltext

The many meanings of UML 2 Sequence Diagrams: a survey von Micskei, Zoltán, Waeselynck, Hélène

Volltext

Efficient Strategies for CEGAR-Based Model Checking von Hajdu, Ákos, Micskei, Zoltán

Volltext

Automated isolation for white-box test generation von Honfi, Dávid, Micskei, Zoltán

Volltext

Assessing the specification of modelling language semantics: a study on UML PSSM von Elekes, Márton, Molnár, Vince, Micskei, Zoltán

Volltext

Classifying generated white-box tests: an exploratory study von Honfi, Dávid, Micskei, Zoltán

Volltext

Evaluating code‐based test input generator tools von Cseppentő, Lajos, Micskei, Zoltán

Volltext

White-box software test generation with Microsoft Pex on open source C# projects: A dataset von Honfi, Dávid, Micskei, Zoltán

Volltext

Pragmatic verification and validation of industrial executable SysML models von Horváth, Benedek, Molnár, Vince, Graics, Bence, Hajdu, Ákos, Ráth, István, Horváth, Ákos, Karban, Robert, Trancho, Gelys, Micskei, Zoltán

Volltext

Towards Evaluating Size Reduction Techniques for Software Model Checking von Sallai, Gyula, Hajdu, Ákos, Tóth, Tamás, Micskei, Zoltán

Volltext

Application of Mutation testing in Safety-Critical Embedded Systems: A Case Study von Serban, Andrada A., Micskei, Zoltán

Volltext

Model-Based Regression Testing of Autonomous Robots von Honfi, Dávid, Molnár, Gábor, Micskei, Zoltán, Majzik, István

Volltext

MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems von Vörös, András, Búr, Márton, Ráth, István, Horváth, Ákos, Micskei, Zoltán, Balogh, László, Hegyi, Bálint, Horváth, Benedek, Mázló, Zsolt, Varró, Dániel

Volltext

Classifying the Correctness of Generated White-Box Tests: An Exploratory Study von Honfi, David, Micskei, Zoltan

Volltext

A Fiatal Kutatók Akadémiájának javaslatai a magyarországi fiatal kutatók helyzetének javítására • Proposals of the Hungarian Young Academy for the Improvement of the Status of Hung... von Wilhelm, Balázs, Wilhelm, Imola, Dékány, Imola, Dékány, Éva, Hatvani, Éva, Hatvani, István Gábor, Fröhlich, István Gábor, Fröhlich, Georgina, Micskei, Georgina, Micskei, Zoltán, Pach, Zoltán, Pach, Péter Pál, Toldy, Péter Pál, Toldy, Andrea, Solymosi, Andrea, Solymosi, Katalin, Szentgáli-Tóth, Katalin, Szentgáli-Tóth, Boldizsár, Lengyel, Boldizsár, Lengyel, Balázs

Volltext

Automated Isolation for White-box Test Generation von Honfi, David, Micskei, Zoltan

Volltext bestellen

Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers von Micskei, Z., Majzik, I.

Volltext bestellen

Classifying Generated White-Box Tests: An Exploratory Study von Honfi, David, Micskei, Zoltan

Volltext bestellen

Comparing Robustness of AIS-Based Middleware Implementations von Micskei, Zoltán, Majzik, István, Tam, Francis

Volltext

To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines von Elekes, Márton, Molnár, Vince, Micskei, Zoltán

Volltext