The Software Engineering Research Group supervised by Dr. Jeff Lei is part of Software Engineering Research Center (SERC) in the Department of Computer Science and Engineering (CSE) at the University of Texas at Arlington (UTA). Our group conducts cutting-edge research in various areas of software engineering, including software design, specification, analysis, verification, and testing.