Combining Tests and Proofs with Contracts for Better Software Verification
Year: 2026
Type: article
Source: Communications of the ACM
DOI: 10.1145/3793869
Authors: Li Huang, Bertrand Meyer, Manuel Oriol
Institutions: Constructor Institute, ETH Zurich
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W7204255262