Guowei Yang's Software
Home
Publications
Teaching
Software
Service
Software
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