Author:
Christakis Maria,Leino K. Rustan M.,Schulte Wolfram
Publisher
Springer International Publishing
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Classics Never Go Out of Style: An Empirical Study of Downgrades from the Bazel Build Technology;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12
2. Forward build systems, formally;Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs;2022-01-11
3. A model for detecting faults in build specifications;Proceedings of the ACM on Programming Languages;2020-11-13
4. Debugging the performance of Maven’s test isolation: experience report;Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis;2020-07-13
5. Practical Machine-Checked Formalization of Change Impact Analysis;Tools and Algorithms for the Construction and Analysis of Systems;2020