Cited By
View all- Kumazawa TTakimoto MKodama YKambayashi Y(2024)Memoization in Model Checking for Safety Properties with Multi-Swarm Particle Swarm OptimizationElectronics10.3390/electronics1321419913:21(4199)Online publication date: 25-Oct-2024
- Li ZMa PWang HWang STang QNie SWu SDwyer MDamian DZeller A(2022)Unleashing the power of compiler intermediate representation to enhance neural program embeddingsProceedings of the 44th International Conference on Software Engineering10.1145/3510003.3510217(2253-2265)Online publication date: 21-May-2022
- Kumazawa TTakimoto MKambayashi Y(2022)Exploration strategies for balancing efficiency and comprehensibility in model checking with ant colony optimizationJournal of Information and Telecommunication10.1080/24751839.2022.20474706:3(341-359)Online publication date: 22-Mar-2022
- Show More Cited By