SQUARE: Software QUality and Automated REasoning

SQUARE Group is a part of the State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences (ISCAS). The group is led by Prof. Jian Zhang.

SQUARE’s main research interests include program analysis, software testing, automated reasoning, constraint solving, and more. We have a series of research publications in high-level journals and conferences in the fields of software engineering and artificial intelligence.