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
6 links
Alex Groce
Researcher
PaperWhat are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)?Authorship / preprint / 2020PaperAn Entry Point for Formal Methods: Specification and Analysis of Event LogsAuthorship / preprint / 2010PaperFinding Model-Checkable Needles in Large Source Code Haystacks: Modular Bug-Finding via Static Analysis and Dynamic Invariant DiscoveryAuthorship / preprint / 2016PaperBounded Model Checking and Feature Omission DiversityAuthorship / preprint / 2016PaperData Poisoning: Lightweight Soft Fault Injection for PythonAuthorship / preprint / 2016PaperMutation Analysis: Answering the Fuzzing ChallengeAuthorship / preprint / 2022