SADeltaDebugger is a general purpose delta debugger for programs written in the Java language. It was implemented to demonstrate the two-stage approach addition to the general delta-debugging algorithm described in the ECSTATIC Paper (https://ieeexplore.ieee.org/document/10172552). It was further used in the ECSTATIC paper to debug Android/Java programs-as-input to help debug and localize issues in multiple static analyzers.
-
Notifications
You must be signed in to change notification settings - Fork 0
UTD-FAST-Lab/SADeltaDebugger
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published