TY - JOUR AU - Bajczi, Levente AU - Ádám, Zsófia AU - Micskei, Zoltán Imre TI - ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution) JF - LECTURE NOTES IN COMPUTER SCIENCE J2 - LNCS VL - 14572 PY - 2024 SP - 330 EP - 334 PG - 5 SN - 0302-9743 DO - 10.1007/978-3-031-57256-2_16 UR - https://m2.mtmt.hu/api/publication/34768972 ID - 34768972 AB - 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. LA - English DB - MTMT ER - TY - JOUR AU - Serban, Andrada Alexia AU - Micskei, Zoltán Imre TI - Application of Mutation testing in Safety-Critical Embedded Systems: A Case Study JF - ACTA POLYTECHNICA HUNGARICA J2 - ACTA POLYTECH HUNG VL - 21 PY - 2024 IS - 8 SP - 87 EP - 106 PG - 20 SN - 1785-8860 DO - 10.12700/APH.21.8.2024.8.5 UR - https://m2.mtmt.hu/api/publication/34727894 ID - 34727894 N1 - Export Date: 5 April 2024 LA - English DB - MTMT ER - TY - JOUR AU - Wilhelm, Imola Mária AU - Dékány, Éva Katalin AU - Hatvani, István Gábor AU - Fröhlich, Georgina AU - Micskei, Zoltán Imre AU - Pach, Péter Pál AU - Toldy, Andrea AU - Solymosi, Katalin AU - Szentgáli-Tóth, Boldizsár Artúr AU - Lengyel, Balázs TI - A Fiatal Kutatók Akadémiájának javaslatai a magyarországi fiatal kutatók helyzetének javítására JF - MAGYAR TUDOMÁNY J2 - MAGYAR TUDOMÁNY VL - 184 PY - 2023 IS - 12 SP - 1544 EP - 1565 PG - 7 SN - 0025-0325 DO - 10.1556/2065.184.2023.12.11 UR - https://m2.mtmt.hu/api/publication/34412830 ID - 34412830 LA - Hungarian DB - MTMT ER - TY - JOUR AU - Horváth, Benedek AU - Molnár, Vince AU - Graics, Bence AU - Hajdu, Ákos AU - Ráth, István Zoltán AU - Horváth, Ákos AU - Karban, Robert AU - Trancho, Gelys AU - Micskei, Zoltán Imre TI - Pragmatic verification and validation of industrial executable SysML models JF - SYSTEMS ENGINEERING J2 - SYSTEMS ENG VL - 26 PY - 2023 IS - 6 SP - 693 EP - 714 PG - 22 SN - 1098-1241 DO - 10.1002/sys.21679 UR - https://m2.mtmt.hu/api/publication/33809830 ID - 33809830 N1 - IncQuery Labs cPlc., Budapest, Hungary Department of Business Informatics - Software Engineering, Johannes Kepler University Linz, Linz, Austria Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, United States TMT International Observatory LLC, Pasadena, CA, United States Export Date: 26 May 2023 Correspondence Address: Horváth, B.; IncQuery Labs cPlcHungary; email: benedek.horvath@incquerylabs.com LA - English DB - MTMT ER - TY - JOUR AU - Elekes, Márton AU - Molnár, Vince AU - Micskei, Zoltán Imre TI - Assessing the specification of modelling language semantics: a study on UML PSSM JF - SOFTWARE QUALITY JOURNAL J2 - SOFTWARE QUAL J VL - 31 PY - 2023 IS - 2 SP - 575 EP - 617 PG - 43 SN - 0963-9314 DO - 10.1007/s11219-023-09617-5 UR - https://m2.mtmt.hu/api/publication/33677595 ID - 33677595 N1 - Correspondence Address: Micskei, Z.; Department of Measurement and Information Systems, Müegyetem rkp. 3., Hungary; email: micskeiz@mit.bme.hu AB - 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. LA - English DB - MTMT ER - TY - CHAP AU - Elekes, Márton AU - Micskei, Zoltán Imre ED - Andrey, Brito ED - Fernando, Pedone TI - Towards Testing the UML PSSM Test Suite T2 - 2021 10th Latin-American Symposium on Dependable Computing (LADC) PB - IEEE CY - Piscataway (NJ) SN - 9781665478311 PY - 2021 SP - 1 EP - 4 PG - 4 DO - 10.1109/LADC53747.2021.9672570 UR - https://m2.mtmt.hu/api/publication/32616888 ID - 32616888 N1 - Export Date: 2 May 2022 LA - English DB - MTMT ER - TY - CHAP AU - Horváth, Benedek AU - Graics, Bence AU - Hajdu, Ákos AU - Micskei, Zoltán Imre AU - Molnár, Vince AU - Ráth, István Zoltán AU - Andolfato, Luigi AU - Gomes, Ivan AU - Karban, Robert ED - Esther, Guerra ED - Ludovico, Iovino TI - Model checking as a service: Towards pragmatic hidden formal methods T2 - Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings PB - Association for Computing Machinery (ACM) CY - New York, New York SN - 9781450381352 PY - 2020 PG - 5 DO - 10.1145/3417990.3421407 UR - https://m2.mtmt.hu/api/publication/31647412 ID - 31647412 AB - 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. LA - English DB - MTMT ER - TY - JOUR AU - Honfi, Dávid AU - Micskei, Zoltán Imre TI - White-box software test generation with Microsoft Pex on open source C# projects: A dataset JF - DATA IN BRIEF J2 - DATA BRIEF VL - 31 PY - 2020 PG - 10 SN - 2352-3409 DO - 10.1016/j.dib.2020.105962 UR - https://m2.mtmt.hu/api/publication/31372840 ID - 31372840 AB - 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. LA - English DB - MTMT ER - TY - CHAP AU - Kulcsar, Geza AU - Koltai, Kadosa AU - Tanyi, Szvetlin AU - Peceli, Balint AU - Horváth, Ákos AU - Micskei, Zoltán Imre AU - Varga, Pál ED - IEEE, null TI - From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain T2 - NOMS 2020 - 2020 IEEE/IFIP Network Operations and Management Symposium: Management in the Age of Softwarization and Artificial Intelligence PB - IEEE CY - Piscataway (NJ) SN - 9781728149738 T3 - IEEE IFIP Network Operations and Management Symposium, ISSN 1542-1201 PY - 2020 PG - 6 DO - 10.1109/NOMS47738.2020.9110310 UR - https://m2.mtmt.hu/api/publication/31347211 ID - 31347211 N1 - IncQuery Labs Ltd., Budapest, Hungary AITIA Inc., Budapest, Hungary Evopro Innovation Kft., Budapest, Hungary Budapest University of Technology and Economics, Hungary Conference code: 160952 Cited By :1 Export Date: 7 December 2020 Funding text 1: ACKNOWLEDGMENT The research has received funding from the EU ECSEL JU under the H2020 Framework Programme, JU grant nr. 826452 (Arrowhead Tools project, https://www.arrowhead.eu) and from the partners’ national funding authorities. Funding text 2: Project no. 2019-2.1.3-NEMZ ECSEL-2019-00003 has been implemented with the support provided from the National Research, Development and Innovation Fund of Hungary, financed under the 2019-2.1.3-NEMZ ECSEL funding scheme. AB - 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. LA - English DB - MTMT ER - TY - JOUR AU - Honfi, Dávid AU - Micskei, Zoltán Imre TI - Automated Isolation for White-box Test Generation JF - INFORMATION AND SOFTWARE TECHNOLOGY J2 - INFORM SOFTWARE TECH VL - 125 PY - 2020 PG - 16 SN - 0950-5849 DO - 10.1016/j.infsof.2020.106319 UR - https://m2.mtmt.hu/api/publication/31305933 ID - 31305933 AB - 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. LA - English DB - MTMT ER -