Techniques for automatically identifying and fixing one way correctness issues between two large computing systems
AssigneeMicrosoft Technology Licensing, LLC
InventorsShravya THANDRA, Ana Monica IRIMIA, John Ronald BERKELEY, Fangfang ZHANG
Life of this patent
Estimating the term…