Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Andreas Zeller
Researcher
PaperElectronic Appendix to "Input Invariants"Authorship / preprint / 2022PaperRestoring Execution Environments of Jupyter NotebooksAuthorship / preprint / 2021PaperInput Repair via Synthesis and Lightweight Error FeedbackAuthorship / preprint / 2022PaperLocating Faults with Program Slicing: An Empirical AnalysisAuthorship / preprint / 2021PaperQuantifying the Information Leak in Cache Attacks through Symbolic ExecutionAuthorship / preprint / 2016PaperInferring Loop Invariants by Mutation, Dynamic Analysis, and Static CheckingAuthorship / preprint / 2016PaperAutomated Fixing of Programs with ContractsAuthorship / preprint / 2014