Hiroaki YOSHIDA

Person

Cupertino, UT, US

People

Patents Grantslast 30 patents

Information Patent Grant
Generation of software program repair explanations
- Patent number 11,740,895
- Issue date Aug 29, 2023
- Fujitsu Limited
- Hiroaki Yoshida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated software program repair
- Patent number 11,119,889
- Issue date Sep 14, 2021
- Fujitsu Limited
- Hiroaki Yoshida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generation of software program repair examples
- Patent number 11,099,817
- Issue date Aug 24, 2021
- Fujitsu Limited
- Hiroaki Yoshida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generation of explanatory and executable repair examples
- Patent number 10,997,056
- Issue date May 4, 2021
- Fujitsu Limited
- Hiroaki Yoshida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Refinement of repair patterns for static analysis violations in sof...
- Patent number 10,782,941
- Issue date Sep 22, 2020
- Fujitsu Limited
- Hiroaki Yoshida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated software program repair
- Patent number 10,761,962
- Issue date Sep 1, 2020
- Fujitsu Limited
- Hiroaki Yoshida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Data-driven synthesis of fix patterns
- Patent number 10,733,075
- Issue date Aug 4, 2020
- Fujitsu Limited
- Rohan Bavishi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated software program repair
- Patent number 10,642,716
- Issue date May 5, 2020
- Fujitsu Limited
- Hiroaki Yoshida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Representing software with an abstract code graph
- Patent number 10,606,570
- Issue date Mar 31, 2020
- Fujitsu Limited
- Hiroaki Yoshida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated software program repair candidate selection
- Patent number 10,496,459
- Issue date Dec 3, 2019
- Fujitsu Limited
- Hiroaki Yoshida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method invocation synthesis for software program repair
- Patent number 10,496,519
- Issue date Dec 3, 2019
- Fujitsu Limited
- Ripon K. Saha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated software program repair
- Patent number 10,296,447
- Issue date May 21, 2019
- Fujitsu Limited
- Hiroaki Yoshida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Interactive software program repair
- Patent number 10,268,572
- Issue date Apr 23, 2019
- Fujitsu Limited
- Mukul R. Prasad
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated software program repair
- Patent number 10,180,897
- Issue date Jan 15, 2019
- Fujitsu Limited
- Hiroaki Yoshida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software program repair
- Patent number 10,152,406
- Issue date Dec 11, 2018
- Fujistu Limited
- Hiroaki Yoshida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Textual similarity based software program repair
- Patent number 10,133,657
- Issue date Nov 20, 2018
- Fujitsu Limited
- Hiroaki Yoshida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Machine learning based software program repair
- Patent number 9,846,637
- Issue date Dec 19, 2017
- Fujitsu Limited
- Hiroaki Yoshida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Test size reduction using don't care analysis
- Patent number 9,767,412
- Issue date Sep 19, 2017
- Fujitsu Limited
- Hiroaki Yoshida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Iterative test generation based on data source analysis
- Patent number 9,658,938
- Issue date May 23, 2017
- Fujtsu Limited
- Hiroaki Yoshida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System-on-chip design structure
- Patent number 9,507,741
- Issue date Nov 29, 2016
- Fujitsu Limited
- Mitsuru Tomono
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generation of software test code
- Patent number 9,483,384
- Issue date Nov 1, 2016
- Fujitsu Limited
- Hiroaki Yoshida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Analyzing incomplete software
- Patent number 9,454,347
- Issue date Sep 27, 2016
- Fujitsu Limited
- Hiroaki Yoshida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Test context generation
- Patent number 9,436,587
- Issue date Sep 6, 2016
- Fujitsu Limited
- Hiroaki Yoshida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software verification
- Patent number 9,396,095
- Issue date Jul 19, 2016
- Fujitsu Limited
- Maarten Wiggers
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Test double generation
- Patent number 9,317,405
- Issue date Apr 19, 2016
- Fujitsu Limited
- Hiroaki Yoshida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Programmable symbolic execution based dynamic checker
- Patent number 9,274,925
- Issue date Mar 1, 2016
- Fujitsu Limited
- Hiroaki Yoshida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Device and method of increasing dynamically-typed software efficiency
- Patent number 9,256,398
- Issue date Feb 9, 2016
- Fujitsu Limited
- Hiroaki Yoshida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System-on-chip design structure and method
- Patent number 9,122,824
- Issue date Sep 1, 2015
- Fujitsu Limited
- Mitsuru Tomono
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Floating-point error detection and correction
- Patent number 9,104,515
- Issue date Aug 11, 2015
- Fujitsu Limited
- Mitsuru Tomono
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software verification
- Patent number 9,081,892
- Issue date Jul 14, 2015
- Fujitsu Limited
- Hiroaki Yoshida
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
GENERATION OF SOFTWARE PROGRAM REPAIR EXPLANATIONS
- Publication number 20220318005
- Publication date Oct 6, 2022
- Fujitsu Limited
- Hiroaki YOSHIDA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MACHINE LEARNING PIPELINE SKELETON INSTANTIATION
- Publication number 20220269981
- Publication date Aug 25, 2022
- Fujitsu Limited
- Hiroaki YOSHIDA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LEARNING STRING EDIT ACTIONS FROM REPAIR EXAMPLES OF SOFTWARE PROGRAMS
- Publication number 20210303272
- Publication date Sep 30, 2021
- Fujitsu Limited
- Hiroaki YOSHIDA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATION OF EXPLANATORY AND EXECUTABLE REPAIR EXAMPLES
- Publication number 20210109842
- Publication date Apr 15, 2021
- Fujitsu Limited
- Hiroaki YOSHIDA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATED SOFTWARE PROGRAM REPAIR
- Publication number 20200257613
- Publication date Aug 13, 2020
- Hiroaki YOSHIDA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DATA-DRIVEN SYNTHESIS OF FIX PATTERNS
- Publication number 20200065219
- Publication date Feb 27, 2020
- Fujitsu Limited
- Rohan BAVISHI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
REPRESENTING SOFTWARE WITH AN ABSTRACT CODE GRAPH
- Publication number 20190278572
- Publication date Sep 12, 2019
- Fujitsu Limited
- Hiroaki YOSHIDA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATED SOFTWARE PROGRAM REPAIR CANDIDATE SELECTION
- Publication number 20190163619
- Publication date May 30, 2019
- Fujitsu Limited
- Hiroaki YOSHIDA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INTERACTIVE SOFTWARE PROGRAM REPAIR
- Publication number 20190042398
- Publication date Feb 7, 2019
- Fujitsu Limited
- Mukul R. PRASAD
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD INVOCATION SYNTHESIS FOR SOFTWARE PROGRAM REPAIR
- Publication number 20180239687
- Publication date Aug 23, 2018
- Fujitsu Limited
- Ripon K. SAHA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATED SOFTWARE PROGRAM REPAIR
- Publication number 20180165182
- Publication date Jun 14, 2018
- Fujitsu Limited
- Hiroaki YOSHIDA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATED SOFTWARE PROGRAM REPAIR
- Publication number 20180089065
- Publication date Mar 29, 2018
- Fujitsu Limited
- Hiroaki YOSHIDA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TEXTUAL SIMILARITY BASED SOFTWARE PROGRAM REPAIR
- Publication number 20170242782
- Publication date Aug 24, 2017
- Fujitsu Limited
- Hiroaki YOSHIDA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ANALYTIC METHOD AND ANALYZING APPARATUS
- Publication number 20170220450
- Publication date Aug 3, 2017
- FUJITSU LIMITED
- Susumu TOKUMOTO
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MACHINE LEARNING BASED SOFTWARE PROGRAM REPAIR
- Publication number 20170161182
- Publication date Jun 8, 2017
- Fujitsu Limited
- Hiroaki YOSHIDA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOFTWARE PROGRAM REPAIR
- Publication number 20170060735
- Publication date Mar 2, 2017
- Fujitsu Limited
- Hiroaki YOSHIDA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ITERATIVE TEST GENERATION BASED ON DATA SOURCE ANALYSIS
- Publication number 20160292064
- Publication date Oct 6, 2016
- Fujitsu Limited
- Hiroaki YOSHIDA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATION OF SOFTWARE TEST CODE
- Publication number 20160147633
- Publication date May 26, 2016
- Fujitsu Limited
- Hiroaki YOSHIDA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TEST SIZE REDUCTION USING DON'T CARE ANALYSIS
- Publication number 20160071012
- Publication date Mar 10, 2016
- Fujitsu Limited
- Hiroaki YOSHIDA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM-ON-CHIP DESIGN STRUCTURE
- Publication number 20150339247
- Publication date Nov 26, 2015
- Fujitsu Limited
- Mitsuru TOMONO
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOFTWARE VERIFICATION
- Publication number 20150331787
- Publication date Nov 19, 2015
- Fujitsu Limited
- Maarten WIGGERS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TEST CONTEXT GENERATION
- Publication number 20150220425
- Publication date Aug 6, 2015
- Fujitsu Limited
- Hiroaki YOSHIDA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TEST DOUBLE GENERATION
- Publication number 20150220424
- Publication date Aug 6, 2015
- Fujitsu Limited
- Hiroaki YOSHIDA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROGRAMMABLE SYMBOLIC EXECUTION BASED DYNAMIC CHECKER
- Publication number 20140325489
- Publication date Oct 30, 2014
- Fujitsu Limited
- Hiroaki YOSHIDA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DEVICE AND METHOD OF INCREASING DYNAMICALLY-TYPED SOFTWARE EFFICIENCY
- Publication number 20140282381
- Publication date Sep 18, 2014
- Hiroaki YOSHIDA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOFTWARE VERIFICATION
- Publication number 20140282419
- Publication date Sep 18, 2014
- Fujitsu Limited
- Hiroaki YOSHIDA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ANALYZING INCOMPLETE SOFTWARE
- Publication number 20140282432
- Publication date Sep 18, 2014
- Fujitsu Limited
- Hiroaki YOSHIDA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM-ON-CHIP DESIGN STRUCTURE AND METHOD
- Publication number 20140173252
- Publication date Jun 19, 2014
- Fujitsu Limited
- Mitsuru TOMONO
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FLOATING-POINT ERROR DETECTION AND CORRECTION
- Publication number 20140172936
- Publication date Jun 19, 2014
- Fujitsu Limited
- Mitsuru TOMONO
- G06 - COMPUTING CALCULATING COUNTING

Hiroaki YOSHIDA

Person

Patents Grantslast 30 patents

Generation of software program repair explanations

Automated software program repair

Generation of software program repair examples

Generation of explanatory and executable repair examples

Refinement of repair patterns for static analysis violations in sof...

Automated software program repair

Data-driven synthesis of fix patterns

Automated software program repair

Representing software with an abstract code graph

Automated software program repair candidate selection

Method invocation synthesis for software program repair

Automated software program repair

Interactive software program repair

Automated software program repair

Software program repair

Textual similarity based software program repair

Machine learning based software program repair

Test size reduction using don't care analysis

Iterative test generation based on data source analysis

System-on-chip design structure

Generation of software test code

Analyzing incomplete software

Test context generation

Software verification

Test double generation

Programmable symbolic execution based dynamic checker

Device and method of increasing dynamically-typed software efficiency

System-on-chip design structure and method

Floating-point error detection and correction

Software verification

Patents Applicationslast 30 patents

GENERATION OF SOFTWARE PROGRAM REPAIR EXPLANATIONS

MACHINE LEARNING PIPELINE SKELETON INSTANTIATION

LEARNING STRING EDIT ACTIONS FROM REPAIR EXAMPLES OF SOFTWARE PROGRAMS

GENERATION OF EXPLANATORY AND EXECUTABLE REPAIR EXAMPLES

AUTOMATED SOFTWARE PROGRAM REPAIR

DATA-DRIVEN SYNTHESIS OF FIX PATTERNS

REPRESENTING SOFTWARE WITH AN ABSTRACT CODE GRAPH

AUTOMATED SOFTWARE PROGRAM REPAIR CANDIDATE SELECTION

INTERACTIVE SOFTWARE PROGRAM REPAIR

METHOD INVOCATION SYNTHESIS FOR SOFTWARE PROGRAM REPAIR

AUTOMATED SOFTWARE PROGRAM REPAIR

AUTOMATED SOFTWARE PROGRAM REPAIR

TEXTUAL SIMILARITY BASED SOFTWARE PROGRAM REPAIR

ANALYTIC METHOD AND ANALYZING APPARATUS

MACHINE LEARNING BASED SOFTWARE PROGRAM REPAIR

SOFTWARE PROGRAM REPAIR

ITERATIVE TEST GENERATION BASED ON DATA SOURCE ANALYSIS

GENERATION OF SOFTWARE TEST CODE

TEST SIZE REDUCTION USING DON'T CARE ANALYSIS

SYSTEM-ON-CHIP DESIGN STRUCTURE

SOFTWARE VERIFICATION

TEST CONTEXT GENERATION

TEST DOUBLE GENERATION

PROGRAMMABLE SYMBOLIC EXECUTION BASED DYNAMIC CHECKER

DEVICE AND METHOD OF INCREASING DYNAMICALLY-TYPED SOFTWARE EFFICIENCY

SOFTWARE VERIFICATION

ANALYZING INCOMPLETE SOFTWARE

SYSTEM-ON-CHIP DESIGN STRUCTURE AND METHOD

FLOATING-POINT ERROR DETECTION AND CORRECTION