Cited By
View all- Nuyens SCeylan HKilincceker OBeyazit MDemeyer S(2024)MUT4SLX: Extensions for Mutation Testing of Stateflow Models2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C)10.1109/SANER-C62648.2024.00035(215-218)Online publication date: 12-Mar-2024
- Kolomiitsev OOsiievskyi STretiak VVoronin VKomarov VPustovarov VHeiko HBrechko VKovalchuk IPrysiazhniuk VRybalchenko ARudakov I(2023)Models and algorithms for the formation of an event tree used in analysing the quality of system software for knowledge-based intelligent decision support systemsInterConf10.51582/interconf.19-20.11.2023.054(508-521)Online publication date: 20-Nov-2023
- Lewis MSoudjani SZuliani P(2023)Formal Verification of Quantum Programs: Theory, Tools, and ChallengesACM Transactions on Quantum Computing10.1145/36244835:1(1-35)Online publication date: 16-Dec-2023
- Show More Cited By