Jekyll2026-05-11T02:46:45+00:00https://ewardnewget.github.io/SEGroupSite/feed.xml软件测试与分析研究室隶属于中国科学院软件研究所。我们致力于程序分析、软件测试、自动推理和约束求解等领域的研究。2023-02-23T00:00:00+00:002026-05-11T02:46:03+00:00https://ewardnewget.github.io/SEGroupSite/2023/02/23/example-post-3Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.

]]>john-doe

2021-09-30T00:00:00+00:002026-05-11T02:46:03+00:00https://ewardnewget.github.io/SEGroupSite/2021/09/30/example-post-2Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.

]]>jane-smith

2019-01-07T00:00:00+00:002026-05-11T02:46:03+00:00https://ewardnewget.github.io/SEGroupSite/2019/01/07/example-post-1Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.

]]>sarah-johnson