Concolic execution for Django applications - View it on GitHub