Author:
Abate Pietro,Di Cosmo Roberto,Gousios Georgios,Zacchiroli Stefano
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Using an Evolutionary Algorithm to Create (MAX)-3SAT QUBOs;Proceedings of the Genetic and Evolutionary Computation Conference Companion;2024-07-14
2. Diagnosis of package installation incompatibility via knowledge base;Science of Computer Programming;2024-07
3. DValidator: An approach for validating dependencies in build configurations;Journal of Systems and Software;2024-03
4. Handling Automotive Hardware/Software Co-Configurations with Integer Difference Logic;Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems;2024-02-07
5. Demystifying Compiler Unstable Feature Usage and Impacts in the Rust Ecosystem;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-02-06