GitHub topics: program-invariants
thanhlecongg/Invalidator
Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning (IEEE TSE)
Language: Python - Size: 115 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 1

Related Keywords