@article{MTMT:34768972,
	title = {ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution)},
	url = {https://m2.mtmt.hu/api/publication/34768972},
	author = {Bajczi, Levente and Ádám, Zsófia and Micskei, Zoltán Imre},
	doi = {10.1007/978-3-031-57256-2_16},
	journal-iso = {LNCS},
	journal = {LECTURE NOTES IN COMPUTER SCIENCE},
	volume = {14572},
	unique-id = {34768972},
	issn = {0302-9743},
	abstract = {ConcurrentWitness2Test is a violation witness validator for concurrent software. Taking both nondeterminism of data and interleaving-based nondeterminism into account, the tool aims to use the metadata described in the violation witnesses to synthesize an executable test harness. While plagued by some initial challenges yet to overcome, the validation performance of ConcurrentWitness2Test corroborates the usefulness of the proposed approach.},
	year = {2024},
	eissn = {1611-3349},
	pages = {330-334},
	orcid-numbers = {Bajczi, Levente/0000-0002-6551-5860; Ádám, Zsófia/0000-0003-2354-1750; Micskei, Zoltán Imre/0000-0003-1846-261X}
}

@article{MTMT:34727894,
	title = {Application of Mutation testing in Safety-Critical Embedded Systems: A Case Study},
	url = {https://m2.mtmt.hu/api/publication/34727894},
	author = {Serban, Andrada Alexia and Micskei, Zoltán Imre},
	doi = {10.12700/APH.21.8.2024.8.5},
	journal-iso = {ACTA POLYTECH HUNG},
	journal = {ACTA POLYTECHNICA HUNGARICA},
	volume = {21},
	unique-id = {34727894},
	issn = {1785-8860},
	year = {2024},
	eissn = {1785-8860},
	pages = {87-106},
	orcid-numbers = {Micskei, Zoltán Imre/0000-0003-1846-261X}
}

@article{MTMT:34412830,
	title = {A Fiatal Kutatók Akadémiájának javaslatai a magyarországi fiatal kutatók helyzetének javítására},
	url = {https://m2.mtmt.hu/api/publication/34412830},
	author = {Wilhelm, Imola Mária and Dékány, Éva Katalin and Hatvani, István Gábor and Fröhlich, Georgina and Micskei, Zoltán Imre and Pach, Péter Pál and Toldy, Andrea and Solymosi, Katalin and Szentgáli-Tóth, Boldizsár Artúr and Lengyel, Balázs},
	doi = {10.1556/2065.184.2023.12.11},
	journal-iso = {MAGYAR TUDOMÁNY},
	journal = {MAGYAR TUDOMÁNY},
	volume = {184},
	unique-id = {34412830},
	issn = {0025-0325},
	year = {2023},
	eissn = {1588-1245},
	pages = {1544-1565},
	orcid-numbers = {Wilhelm, Imola Mária/0000-0003-2366-7337; Dékány, Éva Katalin/0000-0002-0737-1774; Hatvani, István Gábor/0000-0002-9262-7315; Fröhlich, Georgina/0000-0001-6428-6536; Micskei, Zoltán Imre/0000-0003-1846-261X; Toldy, Andrea/0000-0003-3569-1828; Solymosi, Katalin/0000-0001-5246-2547; Szentgáli-Tóth, Boldizsár Artúr/0000-0001-5637-8991}
}

@article{MTMT:33809830,
	title = {Pragmatic verification and validation of industrial executable SysML models},
	url = {https://m2.mtmt.hu/api/publication/33809830},
	author = {Horváth, Benedek and Molnár, Vince and Graics, Bence and Hajdu, Ákos and Ráth, István Zoltán and Horváth, Ákos and Karban, Robert and Trancho, Gelys and Micskei, Zoltán Imre},
	doi = {10.1002/sys.21679},
	journal-iso = {SYSTEMS ENG},
	journal = {SYSTEMS ENGINEERING},
	volume = {26},
	unique-id = {33809830},
	issn = {1098-1241},
	year = {2023},
	eissn = {1520-6858},
	pages = {693-714},
	orcid-numbers = {Horváth, Benedek/0000-0002-9805-1580; Molnár, Vince/0000-0002-8204-7595; Graics, Bence/0000-0001-5546-5970; Hajdu, Ákos/0000-0001-8001-8865; Micskei, Zoltán Imre/0000-0003-1846-261X}
}

@article{MTMT:33677595,
	title = {Assessing the specification of modelling language semantics: a study on UML PSSM},
	url = {https://m2.mtmt.hu/api/publication/33677595},
	author = {Elekes, Márton and Molnár, Vince and Micskei, Zoltán Imre},
	doi = {10.1007/s11219-023-09617-5},
	journal-iso = {SOFTWARE QUAL J},
	journal = {SOFTWARE QUALITY JOURNAL},
	volume = {31},
	unique-id = {33677595},
	issn = {0963-9314},
	abstract = {Modelling languages play a central role in developing complex, critical systems. A precise, comprehensible, and high-quality modelling language specification is essential to all stakeholders using, implementing, or extending the language. Many good practices can be found that improve the understandability or consistency of the languages’ semantics. However, designing a modelling language intended for a large audience is still challenging. In this paper, we investigate the challenges and typical issues with assessing the specifications of behavioural modelling language semantics. Our key insight is that the various stakeholder’s understandings of the language’s semantics are often misaligned, and the semantics defined in various artefacts (simulators, test suites) are inconsistent. Therefore assessment of semantics should focus on identifying and resolving these inconsistencies. To illustrate these challenges and techniques, we assessed parts of a state-of-the-art specification for a general-purpose modelling language, the Precise Semantics of UML State Machines (PSSM). We reviewed the text of the specification, analysed and executed PSSM’s conformance test suite, and categorised our experiences according to questions generally relevant to modelling languages. Finally, we made recommendations for improving the development of future modelling languages by representing the semantic domain and traces more explicitly, applying diverse test design techniques to obtain conformance test suites, and using various tools to support early-phase language design.},
	year = {2023},
	eissn = {1573-1367},
	pages = {575-617},
	orcid-numbers = {Elekes, Márton/0000-0002-3558-147X; Molnár, Vince/0000-0002-8204-7595; Micskei, Zoltán Imre/0000-0003-1846-261X}
}

@inproceedings{MTMT:32616888,
	title = {Towards Testing the UML PSSM Test Suite},
	url = {https://m2.mtmt.hu/api/publication/32616888},
	author = {Elekes, Márton and Micskei, Zoltán Imre},
	booktitle = {2021 10th Latin-American Symposium on Dependable Computing (LADC)},
	doi = {10.1109/LADC53747.2021.9672570},
	unique-id = {32616888},
	year = {2021},
	pages = {1-4},
	orcid-numbers = {Elekes, Márton/0000-0002-3558-147X; Micskei, Zoltán Imre/0000-0003-1846-261X}
}

@inproceedings{MTMT:31647412,
	title = {Model checking as a service: Towards pragmatic hidden formal methods},
	url = {https://m2.mtmt.hu/api/publication/31647412},
	author = {Horváth, Benedek and Graics, Bence and Hajdu, Ákos and Micskei, Zoltán Imre and Molnár, Vince and Ráth, István Zoltán and Andolfato, Luigi and Gomes, Ivan and Karban, Robert},
	booktitle = {Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings},
	doi = {10.1145/3417990.3421407},
	unique-id = {31647412},
	abstract = {Executable models can be used to support all engineering activities in Model-Based Systems Engineering. Testing and simulation of such models can provide early feedback about design choices. However, in today's complex systems, failures could arise due to subtle errors that are hard to find without checking all possible execution paths. Formal methods, and especially model checking can uncover such subtle errors, yet their usage in practice is limited due to the specialized expertise and high computing power required. Therefore we created an automated, cloud-based environment that can verify complex reachability properties on SysML State Machines using hidden model checkers. The approach and the prototype is illustrated using an example from the aerospace domain.},
	year = {2020},
	orcid-numbers = {Graics, Bence/0000-0001-5546-5970; Hajdu, Ákos/0000-0001-8001-8865; Micskei, Zoltán Imre/0000-0003-1846-261X; Molnár, Vince/0000-0002-8204-7595}
}

@article{MTMT:31372840,
	title = {White-box software test generation with Microsoft Pex on open source C# projects: A dataset},
	url = {https://m2.mtmt.hu/api/publication/31372840},
	author = {Honfi, Dávid and Micskei, Zoltán Imre},
	doi = {10.1016/j.dib.2020.105962},
	journal-iso = {DATA BRIEF},
	journal = {DATA IN BRIEF},
	volume = {31},
	unique-id = {31372840},
	abstract = {The paper presents a dataset on software tests generated using the Microsoft Pex (IntelliTest) test generator tool for 10 open source projects. The projects were selected randomly from popular GitHub repositories written in C#. The selected projects contain 7187 methods from which Pex was able to generate tests for 2596 methods totaling 38,618 lines of code. Data collection was performed on a cloud virtual machine. The dataset presents metrics about the attributes of the selected projects (e.g., cyclomatic complexity or number of external method calls) and the test generation (e.g., statement and branch coverage, number of warnings). This data is compared to an automated isolation technique in the paper Automated Isolation for White-box Test Generation [1]. To the best of our knowledge, this is the largest public dataset about the test generation performance of Microsoft Pex on open source projects. The dataset highlights current practical challenges and can be used as a baseline for new test generation techniques.},
	year = {2020},
	eissn = {2352-3409},
	orcid-numbers = {Honfi, Dávid/0000-0001-5217-828X; Micskei, Zoltán Imre/0000-0003-1846-261X}
}

@inproceedings{MTMT:31347211,
	title = {From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain},
	url = {https://m2.mtmt.hu/api/publication/31347211},
	author = {Kulcsar, Geza and Koltai, Kadosa and Tanyi, Szvetlin and Peceli, Balint and Horváth, Ákos and Micskei, Zoltán Imre and Varga, Pál},
	booktitle = {NOMS 2020 - 2020 IEEE/IFIP Network Operations and Management Symposium: Management in the Age of Softwarization and Artificial Intelligence},
	doi = {10.1109/NOMS47738.2020.9110310},
	unique-id = {31347211},
	abstract = {Through the increasing complexity and dynamics of industrial automation scenarios, the notion of Systems of Systems (SoS) has gained importance in this field. Here, interconnected constituent (hardware as well as software) systems collaborate in order to achieve common goals and to increase the efficiency of certain industrial applications.The Arrowhead Tools project aims at proposing a comprehensive, flexible platform for supporting SoS engineering in its every phase, in the form of an engineering toolchain. Thereby, although the SoS operation aspect has been already elaborated on, the design phase and the usage of design artifacts as part of a continous tool interoperability scenario received less attention so far. In this paper, we describe such a toolchain interoperability scenario, paving the way towards an established, integrated solution, by linking systems modeling practices with SoS operational management. In particular, we propose a custom-tailored abstract SysML profile for Arrowhead SoS design, and a prototype implementation for a bidirectional link between SoS models and a tool for managing Arrowhead SoS via a custom-tailored textual format. We illustrate the approach through a realistic industrial application.},
	keywords = {Computer Science, Information Systems; Computer Science, Hardware & Architecture; Computer Science, Theory & Methods},
	year = {2020},
	orcid-numbers = {Micskei, Zoltán Imre/0000-0003-1846-261X}
}

@article{MTMT:31305933,
	title = {Automated Isolation for White-box Test Generation},
	url = {https://m2.mtmt.hu/api/publication/31305933},
	author = {Honfi, Dávid and Micskei, Zoltán Imre},
	doi = {10.1016/j.infsof.2020.106319},
	journal-iso = {INFORM SOFTWARE TECH},
	journal = {INFORMATION AND SOFTWARE TECHNOLOGY},
	volume = {125},
	unique-id = {31305933},
	issn = {0950-5849},
	abstract = {Context: White-box test generation is a technique used for automatically selecting test inputs using only the code under test. However, such techniques encounter challenges when applying them to complex programs. One of the challenges is handling invocations to external modules or dependencies in the code under test.
		Objective: Without using proper isolation, like mocks, generated tests cannot cover all parts of the source code. Moreover, invoking external dependencies may cause unexpected side effects (e.g., accessing the file system or network). Our goal was to tackle this issue while maintaining the advantages of white-box test generation.
		Method: In this paper, we present an automated approach addressing the external dependency challenge for white-box test generation. This technique isolates the test generation and execution by transforming the code under test and creating a parameterized sandbox with generated mocks. We implemented the approach in a ready-to-use tool using Microsoft Pex as a test generator, and evaluated it on 10 open-source projects from GitHub having more than 38.000 lines of code in total.
		Results: The results from the evaluation indicate that if the lack of isolation hinders white-box test generation, then our approach is able to help: it increases the code coverage reached by the automatically generated tests, while it prevents invoking any external module or dependency. Also, our results act as a unique baseline for the test generation performance of Microsoft Pex on open-source projects.
		Conclusion: Based on the results, our technique might serve well for handling external dependencies in white-box test generation as it increases the coverage reached in such situations, while maintaining the practical applicability of the tests generated on the isolated code.},
	year = {2020},
	eissn = {1873-6025},
	orcid-numbers = {Honfi, Dávid/0000-0001-5217-828X; Micskei, Zoltán Imre/0000-0003-1846-261X}
}