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
5 links
Wim Vanhoof
Researcher
PaperAnti-unification in Constraint Logic ProgrammingAuthorship / preprint / 2019PaperA Direct Symbolic Execution of SQL Code for Testing of Data-Oriented ApplicationsAuthorship / preprint / 2015PaperA Symbolic Execution Algorithm for Constraint-Based Testing of Database ProgramsAuthorship / preprint / 2015PaperA Test Automation Framework for MercuryAuthorship / preprint / 2010PaperAn SMT-Based Concolic Testing Tool for Logic ProgramsAuthorship / preprint / 2020