US Patent Issued to Constructor Education and Research Genossenschaft on Feb. 24 for "Seeding contradiction as a fast method for generating full-coverage test suites" (Swiss, Chinese Inventors)

ALEXANDRIA, Va., Feb. 24 -- United States Patent no. 12,561,232, issued on Feb. 24, was assigned to Constructor Education and Research Genossenschaft (Schaffhausen, Switzerland).

"Seeding contradiction as a fast method for generating full-coverage test suites" was invented by Manuel Oriol (Zurich), Huang Li (Shenzhen, China) and Bertrand Meyer (Zurich).

According to the abstract* released by the U.S. Patent & Trademark Office: "Systems and methods for checking the correctness of a computer program with at least one incorrect instruction inserted into at least one of a plurality of branches of the computer program. At least one prover generates a counterexample of computer program correctness in order to switch focus from a failed proof of...