Software Engineering

Software engineering research in the CS Department covers the theory, implementation, and managerial aspect of software development and runtime verification. It spans the entire spectrum from the theory of analysis and testing on software projects to their implementation. It produces impactful research results in software defect prediction, scalable program analysis and testing methods, test adequacy, fuzzing, test oracle, and evaluation and improvement of machine learning models.