Bertrand Meyer

2 Patents

• US125612322026

  Seeding Contradiction as a Fast Method for Generating Full-coverage Test Suites

  function Object() { [native code] } Education And Research Genossenschaft

  0 cites
• US122877262025

  System and Method for Generating Failing Tests from Failed Proofs

  function Object() { [native code] } Education And Research Genossenschaft

  0 cites