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.
Join the waitlist — get patent alerts
Get an alert when Mukul R. Prasad files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →