Welcome to SQuARE Group
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.
Our 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.
Constraint Solving
Volume Computation / Estimation and Solution Counting for complex constraints.
Program Analysis
Automatically or semi-automatically find errors or defects in a given software system.
Software Testing
Automatically generate a set of test cases to meet certain coverage criteria.