Guowei Yang's Software
Home
Publications
Teaching
Software
Service
Software
VistaFuzz: A Tool for Fuzz Testing of OpenCV Library
APICIA: An API Change Impact Analyzer for Android Apps
ACID: An API Compatibility Issue Detector for Android Apps
SynergiSE: Using Test Ranges to Improve Symbolic Execution
Memoise: A Tool for Memoized Symbolic Execution
iDiscovery: Feedback-Driven Dynamic Invariant Discovery
DiSE: A Tool for Directed Incremental Symbolic Execution
TestEra: A Tool for Testing Java Programs Using Alloy Specifications