Inventor · disambiguated record
Mukul R. Prasad
Also filed as: PRASAD MUKUL · PRASAD MUKUL R · PRASAD MUKUL RANJAN
84 granted patents·20 pending applications·598 citations·filing 2003–2023
99Inventor score
Top patents by PatentIndex Score
104 records- 0195US9032067B2Determining differences in an event-driven application accessed in different client-tier environmentsPRASAD MUKUL R·Filed 2010·Granted May 12, 2015·260 cites·29 claims
- 0294US8359576B2Using symbolic execution to check global temporal requirements in an applicationFUJITSU LTD·Filed 2008·Granted Jan 22, 2013·41 cites·19 claims
- 0393US11119889B1Automated software program repairFUJITSU LTD·Filed 2020·Granted Sep 14, 2021·3 cites·16 claims
- 0492US10782941B1Refinement of repair patterns for static analysis violations in software programsFUJITSU LTD·Filed 2019·Granted Sep 22, 2020·8 cites·20 claims
- 0591US10606570B2Representing software with an abstract code graphFUJITSU LTD·Filed 2018·Granted Mar 31, 2020·7 cites·20 claims
- 0691US8381094B1Incremental visual comparison of web browser screensFUJITSU LTD·Filed 2011·Granted Feb 19, 2013·30 cites·20 claims
- 0790US9400962B2Architecture for distributed, parallel crawling of interactive client-server applicationsPRASAD MUKUL RANJAN·Filed 2010·Granted Jul 26, 2016·17 cites·21 claims
- 0889US11392358B1Machine learning pipeline skeleton instantiationFUJITSU LTD·Filed 2021·Granted Jul 19, 2022·2 cites·20 claims
- 0989US8543986B2Methods and systems for test automation of forms in web applicationsMURTHY PRAVEEN K·Filed 2010·Granted Sep 24, 2013·21 cites·16 claims
- 1088US10642716B1Automated software program repairFUJITSU LTD·Filed 2019·Granted May 5, 2020·5 cites·20 claims
- 1187US11551151B2Automatically generating a pipeline of a new machine learning project from pipelines of existing machine learning projects stored in a corpusFUJITSU LTD·Filed 2020·Granted Jan 10, 2023·2 cites·20 claims
- 1285US9779239B2Detection of malicious software behavior using signature-based static analysisFUJITSU LTD·Filed 2015·Granted Oct 3, 2017·5 cites·18 claims
- 1384US10664383B2Automated software program repair of similar code snippetsFUJITSU LTD·Filed 2018·Granted May 26, 2020·4 cites·20 claims
- 1484US10521224B2Automatic identification of relevant software projects for cross project learningFUJITSU LTD·Filed 2018·Granted Dec 31, 2019·4 cites·20 claims
- 1584US9208054B2Web service for automated cross-browser compatibility checking of web applicationsPRASAD MUKUL R·Filed 2011·Granted Dec 8, 2015·8 cites·52 claims
- 1683US12332926B2Unit prediction for custom feature engineeringFUJITSU LTD·Filed 2022·Granted Jun 17, 2025·1 cites·17 claims
- 1783US10496459B2Automated software program repair candidate selectionFUJITSU LTD·Filed 2017·Granted Dec 3, 2019·3 cites·20 claims
- 1883US9531599B2Virtual optical network provisioning based on mapping choices and patternsFUJITSU LTD·Filed 2014·Granted Dec 27, 2016·5 cites·21 claims
- 1982US8479170B2Generating software application user-input data through analysis of client-tier source codePRASAD MUKUL R·Filed 2010·Granted Jul 2, 2013·7 cites·15 claims
- 2081US9846637B2Machine learning based software program repairFUJITSU LTD·Filed 2015·Granted Dec 19, 2017·3 cites·19 claims
- 2181US7290230B2System and method for verifying a digital design using dynamic abstractionFUJITSU LTD·Filed 2005·Granted Oct 30, 2007·11 cites·8 claims
- 2280US11461650B2Validation of deep neural network (DNN) prediction based on pre-trained classifierFUJITSU LTD·Filed 2020·Granted Oct 4, 2022·2 cites·20 claims
- 2380US10678673B2Software program fault localizationFUJITSU LTD·Filed 2017·Granted Jun 9, 2020·3 cites·20 claims
- 2480US8453117B2Providing software validation as a serviceRAJAN SREERANGA P·Filed 2010·Granted May 28, 2013·7 cites·10 claims
- 2580US7685471B2System and method for detecting software defectsFUJITSU LTD·Filed 2007·Granted Mar 23, 2010·10 cites·16 claims
- 2680US7458046B2Estimating the difficulty level of a formal verification problemFUJITSU LTD·Filed 2005·Granted Nov 25, 2008·10 cites·20 claims
- 2779US8271953B2System and method for providing middleware for capture of global requirements and validation for web applicationsPRASAD MUKUL R·Filed 2008·Granted Sep 18, 2012·8 cites·28 claims
- 2878US10152406B2Software program repairFUJITSU LTD·Filed 2015·Granted Dec 11, 2018·4 cites·11 claims
- 2978US8805094B2Using machine learning to improve detection of visual pairwise differences between browsersPRASAD MUKUL R·Filed 2011·Granted Aug 12, 2014·7 cites·20 claims
- 3077US10057166B2Network verificationFUJITSU LTD·Filed 2016·Granted Aug 21, 2018·3 cites·19 claims
- 3177US9652360B2Crawling for extracting a model of a GUI-based applicationFUJITSU LTD·Filed 2014·Granted May 16, 2017·4 cites·20 claims
- 3277US8880588B2Technique for stateless distributed parallel crawling of interactive client-server applicationsPRASAD MUKUL RANJAN·Filed 2010·Granted Nov 4, 2014·5 cites·12 claims
- 3376US9104809B2Facilitating automated validation of a web applicationPRASAD MUKUL R·Filed 2010·Granted Aug 11, 2015·4 cites·24 claims
- 3476US7546563B2Validating one or more circuits using one of more gridsFUJITSU LTD·Filed 2005·Granted Jun 9, 2009·8 cites·17 claims
- 3575US10133657B2Textual similarity based software program repairFUJITSU LTD·Filed 2016·Granted Nov 20, 2018·2 cites·16 claims
- 3675US8763001B2Technique for efficient parallelization of software analysis in a distributed computing environment through intelligent dynamic load balancingGHOSH INDRADEEP·Filed 2010·Granted Jun 24, 2014·4 cites·30 claims
- 3774US8683494B1Constructing event sequences in event-driven programsFUJITSU LTD·Filed 2012·Granted Mar 25, 2014·6 cites·20 claims
- 3872US8539500B2Efficient partial execution for the parallelization of software analysis in a distributed computing environmentGHOSH INDRADEEP·Filed 2010·Granted Sep 17, 2013·3 cites·42 claims
- 3972US8255384B2Client-tier validation of dynamic web applicationsPRASAD MUKUL R·Filed 2009·Granted Aug 28, 2012·5 cites·20 claims
- 4071US10853051B2Automated candidate repair patch generationFUJITSU LTD·Filed 2019·Granted Dec 1, 2020·1 cites·18 claims
- 4171US9755893B2Provisioning virtual optical networksFUJITSU LTD·Filed 2015·Granted Sep 5, 2017·2 cites·20 claims
- 4269US10176086B2Event-driven software test sequence determinationFUJITSU LTD·Filed 2016·Granted Jan 8, 2019·1 cites·20 claims
- 4369US7194710B2Scheduling events in a boolean satisfiability (SAT) solverFUJITSU LTD·Filed 2004·Granted Mar 20, 2007·13 cites·22 claims
- 4468US7032192B2Performing latch mapping of sequential circuitsFUJITSU LTD·Filed 2003·Granted Apr 18, 2006·15 cites·34 claims
- 4567US11042467B2Automated searching and identification of software patchesFUJITSU LTD·Filed 2019·Granted Jun 22, 2021·1 cites·17 claims
- 4667US8914775B2Dynamic and intelligent partial computation management for efficient parallelization of software analysis in a distributed computing environmentGHOSH INDRADEEP·Filed 2010·Granted Dec 16, 2014·2 cites·16 claims
- 4767US8832065B2Technique for coordinating the distributed, parallel crawling of interactive client-server applicationsPRASAD MUKUL RANJAN·Filed 2010·Granted Sep 9, 2014·2 cites·45 claims
- 4867US8504998B2Extracting training scenarios from test cases for user-interface component recognitionPRASAD MUKUL R·Filed 2010·Granted Aug 6, 2013·2 cites·30 claims
- 4966US10733075B2Data-driven synthesis of fix patternsFUJITSU LTD·Filed 2018·Granted Aug 4, 2020·1 cites·17 claims
- 5065US8181132B2Validating one or more circuits using one or more gridsJAIN JAWAHAR·Filed 2009·Granted May 15, 2012·3 cites·24 claims
Showing the top 50 of 104 patent records by PatentIndex Score.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →