Membership
Tour
Register
Log in
Software analysis for verifying properties of programs
Follow
Industry
CPC
G06F11/3604
This industry / category may be too specific. Please go to a parent level for more data
Parent Industries
G
PHYSICS
G06
Computing
G06F
ELECTRICAL DIGITAL DATA PROCESSING
G06F11/00
Error detection Error correction Monitoring
Current Industry
G06F11/3604
Software analysis for verifying properties of programs
Industries
Overview
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Setting breakpoints for source code segments enclosed by macros
Patent number
11,983,090
Issue date
May 14, 2024
International Business Machines Corporation
Xiao Ling Chen
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Application operation control device, application operation control...
Patent number
11,977,472
Issue date
May 7, 2024
Nippon Telegraph and Telephone Corporation
Kazumi Kinoshita
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method, electronic device, and computer program product for code de...
Patent number
11,971,802
Issue date
Apr 30, 2024
EMC IP Holding Company LLC
Jiacheng Ni
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Safety monitor for invalid image transform
Patent number
11,971,803
Issue date
Apr 30, 2024
ATI Technologies ULC
Tung Chuen Kwong
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Proving whether software functionality has changed following a soft...
Patent number
11,960,807
Issue date
Apr 16, 2024
Aurora Labs Ltd.
Zohar Fox
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Mixed mode programming
Patent number
11,960,863
Issue date
Apr 16, 2024
Innovation First, Inc.
Robert H. Mimlitch
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for assessing performance of software release
Patent number
11,934,288
Issue date
Mar 19, 2024
COGNIZANT TECHNOLOGY SOLUTIONS INDIA PVT. LTD.
Rajkumar Chandrasekaran
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system of generating generic protocol handlers
Patent number
11,936,760
Issue date
Mar 19, 2024
STATE FARM MUTUAL AUTOMOBILE INSURANCE COMPANY
John M. VanAntwerp
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Defect prediction operation
Patent number
11,934,298
Issue date
Mar 19, 2024
DevFactory FZ LLC
Ahmedali Durga
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for developing, testing and debugging software fo...
Patent number
11,921,614
Issue date
Mar 5, 2024
Snabb IP LLC
Bjorn J. Gruenwald
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Policy control threat detection
Patent number
11,899,559
Issue date
Feb 13, 2024
Wells Fargo Bank, N.A.
Adam Sanders
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System for security scanning code with minimal user interface
Patent number
11,899,792
Issue date
Feb 13, 2024
Walmart Apollo, LLC
Oscar Blass
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Serverless environment-based provisioning and deployment system
Patent number
11,900,075
Issue date
Feb 13, 2024
Accenture Global Solutions Limited
Rajendra Prasad Tanniru
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Verification of control coupling and data coupling analysis in soft...
Patent number
11,892,935
Issue date
Feb 6, 2024
LDRA Technology, Inc.
Ian Jon Hennell
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Dynamic code generation utility with configurable connections and v...
Patent number
11,893,037
Issue date
Feb 6, 2024
Bank of America Corporation
Kavitha Chidurala
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for evaluating code by a hybrid of local and clou...
Patent number
11,868,231
Issue date
Jan 9, 2024
Certinia Inc.
Kevin James Jones
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system for generating dynamic user experience applications
Patent number
11,870,875
Issue date
Jan 9, 2024
State Farm Mututal Automoble Insurance Company
John M. VanAntwerp
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Utilizing automatic labelling, prioritizing, and root cause analysi...
Patent number
11,860,721
Issue date
Jan 2, 2024
Accenture Global Solutions Limited
Ravindra Kabbinale
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Systems and methods for using an application control prioritization...
Patent number
11,853,433
Issue date
Dec 26, 2023
JPMorgan Chase Bank, N.A.
Angelo Murano
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Identifying software interdependencies using line-of-code behavior...
Patent number
11,836,428
Issue date
Dec 5, 2023
Aurora Labs Ltd.
Zohar Fox
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Compliance enforcement via service discovery analytics
Patent number
11,829,766
Issue date
Nov 28, 2023
International Business Machines Corporation
Constantin Mircea Adam
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Compatibility check for continuous glucose monitoring application
Patent number
11,822,457
Issue date
Nov 21, 2023
DexCom, Inc.
Issa Sami Salameh
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Systems and methods for evaluating code contributions by software d...
Patent number
11,816,017
Issue date
Nov 14, 2023
MERICO, INC.
Jinglei Ren
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system for packaging infrastructure as code
Patent number
11,816,458
Issue date
Nov 14, 2023
JPMorgan Chase Bank, N.A.
James P White
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Input/output location transformations when emulating non-traced cod...
Patent number
11,782,816
Issue date
Oct 10, 2023
Jens C. Jenkins
Jordi Mola
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for continuous testing and delivery of software
Patent number
11,775,416
Issue date
Oct 3, 2023
SeaLights Technologies LTD
Alon Eizenman
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for startup data verification
Patent number
11,762,756
Issue date
Sep 19, 2023
Dell Products L.P.
Prashanth Giri
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Graph display device, graph display method, and recording medium
Patent number
11,762,363
Issue date
Sep 19, 2023
Omron Corporation
Yuya Ota
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Defect resolution
Patent number
11,755,454
Issue date
Sep 12, 2023
Palantir Technologies Inc.
Arnaud Drizard
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Object-oriented regression-candidate filter
Patent number
11,748,245
Issue date
Sep 5, 2023
Oracle International Corporation
Changqin He
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
VERIFICATION OF SERVERLESS APPLICATIONS USING FUZZING TECHNIQUES
Publication number
20240134962
Publication date
Apr 25, 2024
Synopsys, Inc.
David Autrey BOHANNON
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYSTEM AND METHOD FOR CONTINUOUS TESTING AND DELIVERY OF SOFTWARE
Publication number
20240134778
Publication date
Apr 25, 2024
SeaLights Technologies LTD
Alon EIZENMAN
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
COMPATIBILITY CHECK FOR CONTINUOUS GLUCOSE MONITORING APPLICATION
Publication number
20240126676
Publication date
Apr 18, 2024
Dexcom, Inc.
Issa Sami Salameh
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Scalable Code Testing and Benchmarking
Publication number
20240126542
Publication date
Apr 18, 2024
GitLab Inc.
Julian Thome
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD AND SYSTEM FOR BUG LOCALIZATION BASED ON CODE KNOWLEDGE GRAPH
Publication number
20240111658
Publication date
Apr 4, 2024
Yangzhou University
Lili Bo
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
MACHINE-BASED SECURITY REQUIREMENTS ASSESSMENT
Publication number
20240103997
Publication date
Mar 28, 2024
Micro Focus LLC
ALEXANDER HOOLE
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
IDENTIFYING SOFTWARE INTERDEPENDENCIES USING LINE-OF-CODE BEHAVIOR...
Publication number
20240070359
Publication date
Feb 29, 2024
Aurora Labs Ltd.
Zohar Fox
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Source code correction system
Publication number
20240061675
Publication date
Feb 22, 2024
Palo Alto Networks (Israel Analytics) Ltd.
Tohar Zand
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
PROGRAM ANALYSIS APPARATUS, PROGRAM ANALYSIS METHOD, AND NON-TRANSI...
Publication number
20240037010
Publication date
Feb 1, 2024
NEC Corporation
Yusuke SHIMADA
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Computer and Method for Selecting Correction Part of Software
Publication number
20240020217
Publication date
Jan 18, 2024
Hitachi, Ltd
Kenji KITAGAWA
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD AND SYSTEM FOR SUPPORTING SMART CONTRACTS IN A BLOCKCHAIN NE...
Publication number
20240020109
Publication date
Jan 18, 2024
NEC Laboratories Europe GmbH
Jens-rene GIESEN
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Production Build Integrity Verification
Publication number
20240012638
Publication date
Jan 11, 2024
ZSCALER, INC.
Abhishek Surpur
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
CODE RISK ANALYSIS TOOL
Publication number
20230418725
Publication date
Dec 28, 2023
Wells Fargo Bank, N.A.
Nathan Charles Freeling
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
MACHINE-LEARNING-BASED TECHNIQUES FOR PREDICTIVE MONITORING OF A SO...
Publication number
20230409463
Publication date
Dec 21, 2023
ATLASSIAN PTY LTD
Vipul Gupta
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD FOR CARRYING OUT DATA PROCESSING
Publication number
20230401140
Publication date
Dec 14, 2023
ROBERT BOSCH GmbH
Andreas Heyl
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
FILE UPDATE METHOD AND APPARATUS, DEVICE AND STORAGE MEDIUM
Publication number
20230393840
Publication date
Dec 7, 2023
Beijing Wodong Tianjun Information Technology Co., Ltd.
Kai WANG
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
TESTING USING LABELLED RECORDED ALERTS
Publication number
20230385177
Publication date
Nov 30, 2023
Microsoft Technology Licensing, LLC
Ron Moshe MARCIANO
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD AND APPARATUS OF GENERATING REGULAR EXPRESSION FOR PARAMETER...
Publication number
20230376303
Publication date
Nov 23, 2023
ALIPAY (HANGZHOU) INFORMATION TECHNOLOGY CO., LTD.
Bingxu CHAI
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Framework For Providing Binary Release Isolation For Parts Of A Web...
Publication number
20230367698
Publication date
Nov 16, 2023
Google LLC
Michael Leibman
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
RULE BASED AUTOMATION
Publication number
20230367693
Publication date
Nov 16, 2023
FAIR ISAAC CORPORATION
Sowmya Pissay Krupashankar
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
IDENTIFYING SOFTWARE DEPENDENCIES USING CONTROLLER CODE MODELS
Publication number
20230351083
Publication date
Nov 2, 2023
Aurora Labs Ltd.
Zohar Fox
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
USING LINE-OF-CODE BEHAVIOR AND RELATION MODELS TO ANTICIPATE IMPAC...
Publication number
20230351084
Publication date
Nov 2, 2023
Aurora Labs Ltd.
Zohar Fox
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
VERIFYING SOFTWARE MALFUNCTION SOURCES AMONG DISPARATE CODE SOURCES
Publication number
20230334210
Publication date
Oct 19, 2023
Aurora Labs Ltd.
Zohar Fox
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
USER FEEDBACK MECHANISM FOR SOFTWARE APPLICATIONS
Publication number
20230333962
Publication date
Oct 19, 2023
Autodesk, Inc.
Kendra Ann WANNAMAKER
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SERVERLESS ENVIRONMENT-BASED PROVISIONING AND DEPLOYMENT SYSTEM
Publication number
20230315397
Publication date
Oct 5, 2023
Accenture Global Solutions Limited
Rajendra PRASAD TANNIRU
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
CONTINUOUS INTEGRATION AND DEVELOPMENT OF CODE IN A SECURE ENVIRONMENT
Publication number
20230305813
Publication date
Sep 28, 2023
Genentech, Inc.
Niaz Ahsan Jalal
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
VERIFYING INTEGRITY OF CONTROLLER SOFTWARE UPDATES
Publication number
20230306170
Publication date
Sep 28, 2023
Aurora Labs Ltd.
Zohar Fox
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
AGENTLESS SYSTEM AND METHOD FOR DISCOVERING AND INSPECTING APPLICAT...
Publication number
20230297489
Publication date
Sep 21, 2023
Bionic Stork Ltd.
Saar MANO
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
VISUALIZATION OF CODE EXECUTION THROUGH LINE-OF-CODE BEHAVIOR AND R...
Publication number
20230289504
Publication date
Sep 14, 2023
Aurora Labs Ltd.
Zohar Fox
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
RULE BASED DE-DUPLICATION OF SOFTWARE SYSTEM DEFECTS
Publication number
20230281233
Publication date
Sep 7, 2023
Bugcrowd Inc.
Michael Skelton
G06 - COMPUTING CALCULATING COUNTING