ALEXANDRIA, Va., June 9 -- United States Patent no. 12,287,726, issued on April 29, was assigned to Constructor Education and Research Genossenschaft (Schaffhausen, Switzerland).
"System and method for generating failing tests from failed proofs" was invented by Huang Li (Shenzen, China) and Bertrand Meyer (Zurich).
According to the abstract* released by the U.S. Patent & Trademark Office: "A method for verifying a set of computer-executable instructions using at least one failing test generated by a test-case generator is disclosed herein. The method comprises verifying the set of computer-executable instructions by a verification module using a plurality of predefined verification conditions; determining if the verification is successfu...