Describir: Software error detection through testing and analysis