欢迎来到 SQuARE Group

SQuARE Group 隶属于中国科学院软件研究所（ISCAS）。该小组由张健研究员领导。

我们的主要研究兴趣包括程序分析、软件测试、自动推理、约束求解等。我们在软件工程和人工智能领域的期刊和会议上发表了一系列的论文。

程序分析

自动或半自动地发现给定软件系统中的错误或缺陷。

软件测试

自动生成一组测试用例以满足特定的覆盖标准。

约束求解

复杂约束下的体积计算/估计和解计数。