Author:
Seidl Helmut,Erhard Julian,Vogler Ralf
Publisher
Springer International Publishing
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Identifying Relevant Changes for Incremental Verification of Evolving Software Systems;2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2022-03
2. Reusing Predicate Precision in Value Analysis;Lecture Notes in Computer Science;2022
3. Fast Change-Based Alarm Reporting for Evolving Software Systems;2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE);2021-10
4. Mechanical incrementalization of typing algorithms;Science of Computer Programming;2021-08
5. Incremental Flow Analysis through Computational Dependency Reification;2020 IEEE 20th International Working Conference on Source Code Analysis and Manipulation (SCAM);2020-09