Author:
Alba Enrique,Chicano Francisco
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A safety checking algorithm with multi-swarm particle swarm optimization;Proceedings of the Genetic and Evolutionary Computation Conference Companion;2022-07-09
2. Unleashing the power of compiler intermediate representation to enhance neural program embeddings;Proceedings of the 44th International Conference on Software Engineering;2022-05-21
3. Diversity-driven automated formal verification;Proceedings of the 44th International Conference on Software Engineering;2022-05-21
4. Exploration strategies for balancing efficiency and comprehensibility in model checking with ant colony optimization;Journal of Information and Telecommunication;2022-03-22
5. Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11