1.
Bajczi, Levente ; Ádám, Zsófia ; Micskei, Zoltán
ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 14572 pp. 330-334. Paper: Chapter 16 , 5 p. (2024)
DOI Other URL
Publication:34768972 Published Core Journal Article (Conference paper in journal ) Scientific
Conference paper in journal (Journal Article) | Scientific[34768972] [Approved]
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
Publication:34727894 Published Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34727894] [Approved]
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
Locked Publication:34412830 Validated Core Citing Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34412830] [Validated]
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 Other URL
Publication:33809830 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 3 | Independent citation: 3 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 2 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 2 | Number of citations with DOI: 3
Article (Journal Article) | Scientific[33809830] [Validated]
All citations+mentions: 3, External citations: 3, Self citations: 0, Unhandled citations: 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 Other URL
Publication:33677595 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 2 | Independent citation: 1 | Self citation: 1 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 2 | Number of citations with DOI: 2
Article (Journal Article) | Scientific[33677595] [Validated]
All citations+mentions: 2, External citations: 1, Self citations: 1, Unhandled citations: 0
6.
Elekes, Márton ; Micskei, Zoltán
Towards Testing the UML PSSM Test Suite
In: Andrey, Brito; Fernando, Pedone (eds.) 2021 10th Latin-American Symposium on Dependable Computing (LADC)
Piscataway (NJ), United States of America : IEEE (2021) pp. 1-4. , 4 p.
DOI Scopus Egyéb URL
Publication:32616888 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[32616888] [Validated]
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 (eds.) Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
New York City, United States of America : ACM (2020) Paper: 37 , 5 p.
DOI Scopus Other URL
Publication:31647412 Admin approved Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 7 | Independent citation: 6 | Self citation: 1 | Unknown citation: 0 | Number of citations in WoS: 4 | Number of citations in Scopus: 5 | WoS/Scopus assigned: 6 | Number of citations with DOI: 7
Conference paper (Chapter in Book) | Scientific[31647412] [Admin approved]
All citations+mentions: 7, External citations: 6, Self citations: 1, Unhandled citations: 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 Other URL
Publication:31372840 Admin approved Core Citing Journal Article (Article ) Scientific
Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 1
Article (Journal Article) | Scientific[31372840] [Admin approved]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 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 (eds.) NOMS 2020 - 2020 IEEE/IFIP Network Operations and Management Symposium: Management in the Age of Softwarization and Artificial Intelligence
Piscataway (NJ), United States of America : Institute of Electrical and Electronics Engineers (2020) Paper: 9110310 , 6 p.
DOI WoS Scopus Other URL
Publication:31347211 Admin approved Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 13 | Independent citation: 7 | Self citation: 6 | Unknown citation: 0 | Number of citations in WoS: 7 | Number of citations in Scopus: 10 | WoS/Scopus assigned: 11 | Number of citations with DOI: 9
Conference paper (Chapter in Book) | Scientific[31347211] [Admin approved]
All citations+mentions: 13, External citations: 7, Self citations: 6, Unhandled citations: 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 Other URL
Publication:31305933 Published Core Citing Journal Article (Article ) Scientific
Citing papers: 3 | Independent citation: 2 | Self citation: 1 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 2 | Number of citations with DOI: 3
Article (Journal Article) | Scientific[31305933] [Approved]
All citations+mentions: 3, External citations: 2, Self citations: 1, Unhandled citations: 0
2024-04-26 20:53