Author:
Christ Jürgen,Ermis Evren,Schäf Martin,Wies Thomas
Publisher
Springer Berlin Heidelberg
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Improving Railway Safety: Human-in-the-loop Invariant Finding;Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems;2023-04-19
2. Error Invariants for Fault Localization via Abstract Interpretation;Static Analysis;2023
3. Model-Based Fault Classification for Automotive Software;Programming Languages and Systems;2022
4. Solver-Aided Constant-Time Hardware Verification;Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security;2021-11-12
5. Incremental Formula-Based Fix Localization;Applied Sciences;2020-12-30