 Nyomtatási képAz adatok hitelességéről nyilatkozott: 2023. VII. 30. | Közlemények |
2023
 adattárból, 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
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
URL |
2023
adattárból, 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.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
URL |
2020
adattárból, 2023. VII. 30. |
Hajdu Ákos, Micskei Zoltán: Efficient Strategies for CEGAR-Based Model Checking, JOURNAL OF AUTOMATED REASONING 64: pp. 1051-1091.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 11
nyelv: angol
URL |
2020
adattárból, 2023. VII. 30. |
Honfi David, Micskei Zoltan: Automated Isolation for White-box Test Generation, INFORMATION AND SOFTWARE TECHNOLOGY 125: p. 106319.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 1
nyelv: angol
URL |
2019
adattárból, 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.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 22
nyelv: angol
URL |
2019
adattárból, 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.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 6
nyelv: angol
URL |
2017
adattárból, 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.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 14
nyelv: angol
URL |
2017
adattárból, 2023. VII. 30. |
Lajos Cseppentő, Zoltán Micskei: Evaluating code-based test input generator tools, SOFTWARE TESTING VERIFICATION & RELIABILITY 27: (6) e1627
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 8
nyelv: angol
URL |
2012
adattárból, 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.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 32
nyelv: angol
URL |
2011
adattárból, 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.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 74
nyelv: angol
URL |
| | a legjelentősebbnek tartott közleményekre kapott független hivatkozások száma: | 168 |
|
|
Bejelentkezés
mit.bme.hu
