1.
Bajczi, Levente ; Ádám, Zsófia ; Micskei, Zoltán
ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution)
In: Kovács, Laura; Finkbeiner, Bernd (szerk.) Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III
Cham, Svájc : Springer Nature Switzerland (2024) pp. 330-334. Paper: Chapter 16 , 5 p.
DOI Egyéb URL
Közlemény:34768972 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[34768972] [Nyilvános]
2.
Serban, Andrada A. ; Micskei, Zoltán
Application of Mutation testing in Safety-Critical Embedded Systems: A Case Study
ACTA POLYTECHNICA HUNGARICA 21 : 8 pp. 87-106. , 20 p. (2024)
DOI Scopus
Közlemény:34727894 Nyilvános Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[34727894] [Nyilvános]
3.
Wilhelm, I ✉ ; Dékány, É ; Hatvani, IG ; Fröhlich, G ; Micskei, Z ; Pach, PP ; Toldy, A ; Solymosi, K ; Szentgáli-Tóth, B ; Lengyel, B
A Fiatal Kutatók Akadémiájának javaslatai a magyarországi fiatal kutatók helyzetének javítására
MAGYAR TUDOMÁNY 184 : 12 pp. 1544-1565. , 7 p. (2023)
DOI Kiadónál REAL
Zárolt Közlemény:34412830 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[34412830] [Egyeztetett]
4.
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 26 : 6 pp. 693-714. , 22 p. (2023)
DOI WoS Scopus Egyéb URL
Közlemény:33809830 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 3 | Független: 3 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 3
Szakcikk (Folyóiratcikk) | Tudományos[33809830] [Egyeztetett]
Nyilvános idéző összesen: 3, Független: 3, Függő: 0, Nem jelölt: 0
5.
Elekes, Márton ; Molnár, Vince ; Micskei, Zoltán ✉
Assessing the specification of modelling language semantics: a study on UML PSSM
SOFTWARE QUALITY JOURNAL 31 : 2 pp. 575-617. , 43 p. (2023)
DOI WoS Scopus Egyéb URL
Közlemény:33677595 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 2 | Független: 1 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 2
Szakcikk (Folyóiratcikk) | Tudományos[33677595] [Egyeztetett]
Nyilvános idéző összesen: 2, Független: 1, Függő: 1, Nem jelölt: 0
6.
Elekes, Márton ; Micskei, Zoltán
Towards Testing the UML PSSM Test Suite
In: Andrey, Brito; Fernando, Pedone (szerk.) 2021 10th Latin-American Symposium on Dependable Computing (LADC)
Piscataway (NJ), Amerikai Egyesült Államok : IEEE (2021) pp. 1-4. , 4 p.
DOI Scopus Egyéb URL
Közlemény:32616888 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[32616888] [Egyeztetett]
7.
Horváth, Benedek ; Graics, Bence ; Hajdu, Ákos ; Micskei, Zoltán ; Molnár, Vince ; Ráth, István ; Andolfato, Luigi ; Gomes, Ivan ; Karban, Robert
Model checking as a service: Towards pragmatic hidden formal methods
In: Esther, Guerra; Ludovico, Iovino (szerk.) Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2020) Paper: 37 , 5 p.
DOI Scopus Egyéb URL
Közlemény:31647412 Admin láttamozott Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 7 | Független: 6 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt: 5 | WoS/Scopus jelölt: 6 | DOI jelölt: 7
Konferenciaközlemény (Könyvrészlet) | Tudományos[31647412] [Admin láttamozott]
Nyilvános idéző összesen: 7, Független: 6, Függő: 1, Nem jelölt: 0
8.
Honfi, Dávid ; Micskei, Zoltán ✉
White-box software test generation with Microsoft Pex on open source C# projects: A dataset
DATA IN BRIEF 31 Paper: 105962 , 10 p. (2020)
DOI WoS Scopus Egyéb URL
Közlemény:31372840 Admin láttamozott Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Szakcikk (Folyóiratcikk) | Tudományos[31372840] [Admin láttamozott]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
9.
Kulcsar, Geza ; Koltai, Kadosa ; Tanyi, Szvetlin ; Peceli, Balint ; Horvath, Akos ; Micskei, Zoltan ; Varga, Pal
From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain
In: IEEE (szerk.) NOMS 2020 - 2020 IEEE/IFIP Network Operations and Management Symposium: Management in the Age of Softwarization and Artificial Intelligence
Piscataway (NJ), Amerikai Egyesült Államok : IEEE (2020) Paper: 9110310 , 6 p.
DOI WoS Scopus Egyéb URL
Közlemény:31347211 Admin láttamozott Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 13 | Független: 7 | Függő: 6 | Nem jelölt: 0 | WoS jelölt: 7 | Scopus jelölt: 10 | WoS/Scopus jelölt: 11 | DOI jelölt: 9
Konferenciaközlemény (Könyvrészlet) | Tudományos[31347211] [Admin láttamozott]
Nyilvános idéző összesen: 13, Független: 7, Függő: 6, Nem jelölt: 0
10.
Honfi, David ; Micskei, Zoltan
Automated Isolation for White-box Test Generation
INFORMATION AND SOFTWARE TECHNOLOGY 125 Paper: 106319 , 16 p. (2020)
DOI WoS Scopus Egyéb URL
Közlemény:31305933 Nyilvános Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 3 | Független: 2 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 3
Szakcikk (Folyóiratcikk) | Tudományos[31305933] [Nyilvános]
Nyilvános idéző összesen: 3, Független: 2, Függő: 1, Nem jelölt: 0
2024-04-19 04:43