CRETE is a concolic testing tool developed by the System Validation Lab at Portland State University.