In recent years, automated software verification has progressed significantly. We can now effectively explore complex software structures through automated testing or to prove properties of complex programs, such as compilers using formal methods. But, for the most part, software testing and formal software verification techniques have advanced independently with relatively few insights on how their research thrusts compare or can be combined.

中文翻译：

---

下一代软件验证：人工智能的观点

近年来，自动化软件验证已取得了显着进展。现在，我们可以通过自动化测试有效地探索复杂的软件结构，或证明复杂程序的属性，例如使用正式方法的编译器。但是，在大多数情况下，软件测试和正式的软件验证技术已经独立发展，对它们的研究重点如何比较或可以组合在一起的见解相对较少。