公开(公告)号：US20240176802A1

公开(公告)日：2024-05-30

申请号：US18060500

申请日：2022-11-30

Applicant: Microsoft Technology Licensing, LLC

Inventor： Shaleen DEEP ,  Zifan LIU ,  Ashish TIWARI ,  Anna FARIHA ,  Avrilia FLORATOU ,  Fotios PASALLIDAS

IPC: G06F16/28 ,  G06F16/22

CPC classification number: G06F16/284 ,  G06F16/2246

Abstract: Example aspects include techniques for improved constraint discovery on relational data. These techniques may include constructing a first layer of a lattice using a first plurality of candidate denial constraints (DC) each having a first number of predicates. In addition, the techniques may include performing a tree-based verification process on the first layer of the lattice to determine one or more verified DCs confirmed to be DCs and a plurality of unverified DCs that are not confirmed to be DCs. Further, the techniques may include presenting, via a graphical user interface (GUI), DC information based on the one or more verified DC, and generating, for construction of a second layer of the lattice to be evaluated via the tree-based verification process, a second plurality of candidate DCs by combining the plurality of unverified DCs.

公开(公告)号：US20230289523A1

公开(公告)日：2023-09-14

申请号：US17693285

申请日：2022-03-11

Applicant: Microsoft Technology Licensing, LLC

Inventor： Rohan Jayesh BAVISHI ,  José Pablo CAMBRONERO SÁNCHEZ ,  Anna FARIHA ,  Sumit GULWANI ,  Vu Minh LE ,  Ivan RADICEK ,  Daniel Galen SIMMONS ,  Ashish TIWARI

IPC: G06F40/211 ,  G06F40/284 ,  G06F8/30 ,  G06F16/332

CPC classification number: G06F40/211 ,  G06F40/284 ,  G06F8/31 ,  G06F16/3329

Abstract: Techniques are described herein that are capable of creating a language-agnostic computer program repair engine generator. A context-free grammar is annotated to identify token(s) that are likely to be included in or excluded from a computer program in a manner that violates the context-free grammar. A language-agnostic computer program repair engine generator is created that is configured to generate a parser. The repair engine generator is configured to create a repair engine that: converts the candidate string into repaired strings that neither violate the context-free grammar nor violate a criterion for a valid computer program; calculates differences between the candidate string and the respective repaired strings; and replaces the candidate string with a designated repaired string based at least in part on the difference between the designated repaired string and the candidate string being less than or equal to a difference threshold.