Praveen K. Murthy

Person

Fremont, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Generating inputs for computer-program testing
- Patent number 11,237,943
- Issue date Feb 1, 2022
- Fujitsu Limited
- Praveen Murthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Guiding automated testing of binary programs
- Patent number 10,902,130
- Issue date Jan 26, 2021
- Fujitsu Limited
- Praveen Murthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Identifying inputs for automated computer-program testing operations
- Patent number 10,698,804
- Issue date Jun 30, 2020
- Fujitsu Limited
- Erick Bauman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Branch coverage guided symbolic execution for hybrid fuzz testing o...
- Patent number 10,635,576
- Issue date Apr 28, 2020
- Fujitsu Limited
- Quoc-Sang Phan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Concurrency vulnerability detection
- Patent number 10,628,281
- Issue date Apr 21, 2020
- Fujitsu Limited
- Quoc-Sang Phan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reducing buffer overflow
- Patent number 10,585,660
- Issue date Mar 10, 2020
- Fujitsu Limited
- Praveen Murthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Unexplored branch search in hybrid fuzz testing of software binaries
- Patent number 10,394,694
- Issue date Aug 27, 2019
- Fujitsu Limited
- Quoc-Sang Phan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Determination of valid input sequences for an unknown binary program
- Patent number 10,255,166
- Issue date Apr 9, 2019
- Fujitsu Limited
- Praveen Murthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Determining a valid input for an unknown binary module
- Patent number 9,772,931
- Issue date Sep 26, 2017
- Fujitsu Limited
- Bogdan Copos
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Autonomous reasoning system for vulnerability analysis
- Patent number 9,767,290
- Issue date Sep 19, 2017
- Fujitsu Limited
- Praveen Murthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Determining valid inputs for an unknown binary program
- Patent number 9,552,284
- Issue date Jan 24, 2017
- Fujitsu Limited
- Bogdan Copos
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Determining an attack surface of software
- Patent number 9,489,517
- Issue date Nov 8, 2016
- Fujitsu Limited
- Praveen Murthy
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Determining software metrics
- Patent number 9,043,921
- Issue date May 26, 2015
- Fujitsu Limited
- Praveen K. Murthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Symbolic execution and automatic test case generation for JavaScrip...
- Patent number 9,038,032
- Issue date May 19, 2015
- Fujitsu Limited
- Guodong Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Constructing a control flow graph for a software program
- Patent number 8,949,811
- Issue date Feb 3, 2015
- Fujitsu Limited
- Praveen K. Murthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Tracking variables in javascript software using a control flow graph
- Patent number 8,875,109
- Issue date Oct 28, 2014
- Fujitsu Limited
- Praveen K. Murthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Performing taint analysis for javascript software using a control f...
- Patent number 8,793,665
- Issue date Jul 29, 2014
- Fujitsu Limited
- Praveen K. Murthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Symbolic execution of javascript software using a control flow graph
- Patent number 8,656,370
- Issue date Feb 18, 2014
- Fujitsu Limited
- Praveen K. Murthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating validation test suites
- Patent number 8,640,084
- Issue date Jan 28, 2014
- Fujitsu Limited
- Praveen K. Murthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Synthesis of message sequence charts from communicating finite-stat...
- Patent number 8,577,665
- Issue date Nov 5, 2013
- Fujitsu Limited
- Praveen K. Murthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods and systems for test automation of forms in web applications
- Patent number 8,543,986
- Issue date Sep 24, 2013
- Fujitsu Limited
- Praveen K. Murthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Creating hierarchical message sequence charts for visualizing user-...
- Patent number 8,543,983
- Issue date Sep 24, 2013
- Fujitsu Limited
- Praveen K. Murthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for distributing validation computations
- Patent number 8,468,537
- Issue date Jun 18, 2013
- Fujitsu Limited
- Sreeranga P. Rajan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification apparatus and design verification program
- Patent number 8,365,112
- Issue date Jan 29, 2013
- Fujitsu Limited
- Ryosuke Oishi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
High level validation of designs and products
- Patent number 7,275,231
- Issue date Sep 25, 2007
- Fujitsu Limited
- Praveen Kumar Murthy
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
BRANCH COVERAGE GUIDED SYMBOLIC EXECUTION FOR HYBRID FUZZ TESTING O...
- Publication number 20190384697
- Publication date Dec 19, 2019
- Fujitsu Limited
- Quoc-Sang PHAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
REDUCING BUFFER OVERFLOW
- Publication number 20190377565
- Publication date Dec 12, 2019
- Fujitsu Limited
- Praveen MURTHY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONCURRENCY VULNERABILITY DETECTION
- Publication number 20190361789
- Publication date Nov 28, 2019
- Fujitsu Limited
- Quoc-Sang PHAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GUIDING AUTOMATED TESTING OF BINARY PROGRAMS
- Publication number 20190258803
- Publication date Aug 22, 2019
- Fujitsu Limited
- Praveen MURTHY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
UNEXPLORED BRANCH SEARCH IN HYBRID FUZZ TESTING OF SOFTWARE BINARIES
- Publication number 20190220387
- Publication date Jul 18, 2019
- Fujitsu Limited
- Quoc-Sang PHAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INPUT DISCOVERY FOR UNKNOWN PROGRAM BINARIES
- Publication number 20180004635
- Publication date Jan 4, 2018
- Fujitsu Limited
- Praveen MURTHY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETERMINING VALID INPUTS FOR AN UNKNOWN BINARY PROGRAM
- Publication number 20160335175
- Publication date Nov 17, 2016
- Fujitsu Limited
- Bogdan COPOS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTONOMOUS REASONING SYSTEM FOR VULNERABILITY ANALYSIS
- Publication number 20160259943
- Publication date Sep 8, 2016
- Fujitsu Limited
- Praveen MURTHY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETERMINATION OF VALID INPUT SEQUENCES FOR AN UNKNOWN BINARY PROGRAM
- Publication number 20160259711
- Publication date Sep 8, 2016
- Fujitsu Limited
- Praveen MURTHY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETERMINING A VALID INPUT FOR AN UNKNOWN BINARY MODULE
- Publication number 20160232081
- Publication date Aug 11, 2016
- Fujitsu Limited
- Bogdan COPOS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETERMINING AN ATTACK SURFACE OF SOFTWARE
- Publication number 20160110548
- Publication date Apr 21, 2016
- Fujitsu Limited
- Praveen MURTHY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETERMINING SOFTWARE METRICS
- Publication number 20140310813
- Publication date Oct 16, 2014
- Praveen K. MURTHY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYMBOLIC EXECUTION AND AUTOMATIC TEST CASE GENERATION FOR JAVASCRIP...
- Publication number 20130318503
- Publication date Nov 28, 2013
- FUJITSU LIMITED
- Guodong Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Performing Taint Analysis for Javascript Software Using a Control F...
- Publication number 20130055208
- Publication date Feb 28, 2013
- Praveen K. MURTHY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Detecting Errors in Javascript Software Using a Control Flow Graph
- Publication number 20130055221
- Publication date Feb 28, 2013
- FUJITSU LIMITED
- Praveen K. Murthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Symbolic Execution of Javascript Software Using a Control Flow Graph
- Publication number 20130055210
- Publication date Feb 28, 2013
- FUJITSU LIMITED
- Praveen K. Murthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Tracking Variables in Javascript Software Using a Control Flow Graph
- Publication number 20130055220
- Publication date Feb 28, 2013
- FUJITSU LIMITED
- Praveen K. Murthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Constructing a Control Flow Graph for Javascript Software
- Publication number 20130055209
- Publication date Feb 28, 2013
- FUJITSU LIMITED
- Praveen K. Murthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Systems and Methods for Distributing Validation Computations
- Publication number 20120017220
- Publication date Jan 19, 2012
- Sreeranga P. Rajan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Methods and Systems for Test Automation of Forms in Web Applications
- Publication number 20120011489
- Publication date Jan 12, 2012
- Praveen K. Murthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Creating Hierarchical Message Sequence Charts for Visualizing User-...
- Publication number 20110307867
- Publication date Dec 15, 2011
- FUJITSU LIMITED
- Praveen K. Murthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Design verification apparatus and design verification program
- Publication number 20110197172
- Publication date Aug 11, 2011
- FUJITSU LIMITED
- Tatsuya Yamamoto
- G01 - MEASURING TESTING
Information Patent Application
VERFICATION APPARATUS AND DESIGN VERFICATION PROGRAM
- Publication number 20110061035
- Publication date Mar 10, 2011
- FUJITSU LIMITED
- Ryosuke OISHI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Verification apparatus and design verification program
- Publication number 20110046938
- Publication date Feb 24, 2011
- FUJITSU LIMITED
- Rafael Kazumiti Morizawa
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Generating Validation Test Suites
- Publication number 20100251209
- Publication date Sep 30, 2010
- Fujitsu Limited
- Praveen K. Murthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Validating Behavioral Diagrams
- Publication number 20100251208
- Publication date Sep 30, 2010
- FUJITSU LIMITED
- Praveen K. Murthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Synthesis of Message Sequence Charts from Communicating Finite-Stat...
- Publication number 20090235226
- Publication date Sep 17, 2009
- FUJITSU LIMITED
- Praveen K. MURTHY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and Method for Providing Automatic Test Generation for Web A...
- Publication number 20090089618
- Publication date Apr 2, 2009
- Fujitsu Limited
- Sreeranga P. Rajan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
High level validation of designs and products
- Publication number 20060059444
- Publication date Mar 16, 2006
- FUJITSU LIMITED
- Praveen Kumar Murthy
- G06 - COMPUTING CALCULATING COUNTING

Praveen K. Murthy

Person

Patents Grantslast 30 patents

Generating inputs for computer-program testing

Guiding automated testing of binary programs

Identifying inputs for automated computer-program testing operations

Branch coverage guided symbolic execution for hybrid fuzz testing o...

Concurrency vulnerability detection

Reducing buffer overflow

Unexplored branch search in hybrid fuzz testing of software binaries

Determination of valid input sequences for an unknown binary program

Determining a valid input for an unknown binary module

Autonomous reasoning system for vulnerability analysis

Determining valid inputs for an unknown binary program

Determining an attack surface of software

Determining software metrics

Symbolic execution and automatic test case generation for JavaScrip...

Constructing a control flow graph for a software program

Tracking variables in javascript software using a control flow graph

Performing taint analysis for javascript software using a control f...

Symbolic execution of javascript software using a control flow graph

Generating validation test suites

Synthesis of message sequence charts from communicating finite-stat...

Methods and systems for test automation of forms in web applications

Creating hierarchical message sequence charts for visualizing user-...

Systems and methods for distributing validation computations

Verification apparatus and design verification program

High level validation of designs and products

Patents Applicationslast 30 patents

BRANCH COVERAGE GUIDED SYMBOLIC EXECUTION FOR HYBRID FUZZ TESTING O...

REDUCING BUFFER OVERFLOW

CONCURRENCY VULNERABILITY DETECTION

GUIDING AUTOMATED TESTING OF BINARY PROGRAMS

UNEXPLORED BRANCH SEARCH IN HYBRID FUZZ TESTING OF SOFTWARE BINARIES

INPUT DISCOVERY FOR UNKNOWN PROGRAM BINARIES

DETERMINING VALID INPUTS FOR AN UNKNOWN BINARY PROGRAM

AUTONOMOUS REASONING SYSTEM FOR VULNERABILITY ANALYSIS

DETERMINATION OF VALID INPUT SEQUENCES FOR AN UNKNOWN BINARY PROGRAM

DETERMINING A VALID INPUT FOR AN UNKNOWN BINARY MODULE

DETERMINING AN ATTACK SURFACE OF SOFTWARE

DETERMINING SOFTWARE METRICS

SYMBOLIC EXECUTION AND AUTOMATIC TEST CASE GENERATION FOR JAVASCRIP...

Performing Taint Analysis for Javascript Software Using a Control F...

Detecting Errors in Javascript Software Using a Control Flow Graph

Symbolic Execution of Javascript Software Using a Control Flow Graph

Tracking Variables in Javascript Software Using a Control Flow Graph

Constructing a Control Flow Graph for Javascript Software

Systems and Methods for Distributing Validation Computations

Methods and Systems for Test Automation of Forms in Web Applications

Creating Hierarchical Message Sequence Charts for Visualizing User-...

Design verification apparatus and design verification program

VERFICATION APPARATUS AND DESIGN VERFICATION PROGRAM

Verification apparatus and design verification program

Generating Validation Test Suites

Validating Behavioral Diagrams

Synthesis of Message Sequence Charts from Communicating Finite-Stat...

System and Method for Providing Automatic Test Generation for Web A...

High level validation of designs and products