 |
|
| Personal data sheet |
 Print previewpersonal data approved: 2023. VII. 30. | Publications |
2023
 from data base, 2023. VII. 30. |
Elekes Márton, Molnár Vince, Micskei Zoltán: Assessing the specification of modelling language semantics: a study on UML PSSM, SOFTWARE QUALITY JOURNAL
type of document: Journal paper/Article
language: English
URL |
2023
from data base, 2023. VII. 30. |
Horváth Benedek, Molnár Vince, Graics Bence, Hajdu Ákos, Ráth István, Horváth Ákos, Karban Robert, Trancho Gelys, Micskei Zoltán: Pragmatic verification and validation of industrial executable SysML models, SYSTEMS ENGINEERING Korai hozzáférés: pp. 1-22.
type of document: Journal paper/Article
language: English
URL |
2020
from data base, 2023. VII. 30. |
Hajdu Ákos, Micskei Zoltán: Efficient Strategies for CEGAR-Based Model Checking, JOURNAL OF AUTOMATED REASONING 64: pp. 1051-1091.
type of document: Journal paper/Article
number of independent citations: 11
language: English
URL |
2020
from data base, 2023. VII. 30. |
Honfi David, Micskei Zoltan: Automated Isolation for White-box Test Generation, INFORMATION AND SOFTWARE TECHNOLOGY 125: p. 106319.
type of document: Journal paper/Article
number of independent citations: 1
language: English
URL |
2019
from data base, 2023. VII. 30. |
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, In: Alexander, Pretschner; Sebastian, Voss (szerk.) Proceedings of the IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), IEEE (2019) pp. 89-94.
type of document: Part of book/Proceedings Paper
number of independent citations: 22
language: English
URL |
2019
from data base, 2023. VII. 30. |
Honfi Dávid, Micskei Zoltán: Classifying generated white-box tests: an exploratory study, SOFTWARE QUALITY JOURNAL 27: (3) pp. 1339-1380.
type of document: Journal paper/Article
number of independent citations: 6
language: English
URL |
2017
from data base, 2023. VII. 30. |
Tóth Tamás, Hajdu Ákos, Vörös András, Micskei Zoltán, Majzik István: Theta: a Framework for Abstraction Refinement-Based Model Checking, In: Stewart, Daryl; Weissenbacher, Georg (szerk.) Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, FMCAD Association; IEEE (2017) pp. 176-179.
type of document: Part of book/Proceedings Paper
number of independent citations: 14
language: English
URL |
2017
from data base, 2023. VII. 30. |
Lajos Cseppentő, Zoltán Micskei: Evaluating code-based test input generator tools, SOFTWARE TESTING VERIFICATION & RELIABILITY 27: (6) e1627
type of document: Journal paper/Article
number of independent citations: 8
language: English
URL |
2012
from data base, 2023. VII. 30. |
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, In: Jezic, G; Kusek, M; Nguyen, N T; Howlett, R J; Jain, L C (szerk.) Agent and Multi-Agent Systems. Technologies and Applications, Springer-Verlag (2012) pp. 504-513.
type of document: Part of book/Proceedings Paper
number of independent citations: 32
language: English
URL |
2011
from data base, 2023. VII. 30. |
Zoltán Micskei, Helene Waeselynck: The many meanings of UML 2 Sequence Diagrams: a survey, SOFTWARE AND SYSTEMS MODELING 10: (4) pp. 489-514.
type of document: Journal paper/Article
number of independent citations: 74
language: English
URL |
| | Number of independent citations to these publications: | 168 |
|
|
|
|
|
Login
mit.bme.hu
