Explore projects

WARA-SW software corpus and "offline" tool evaluation platform

Property probe implementation. This project has moved to GitHub: https://github.com/lu-cs-sde/codeprober/