Inventor · disambiguated record
Praveen K. Murthy
Also filed as: MURTHY PRAVEEN · MURTHY PRAVEEN K · MURTHY PRAVEEN KUMAR
25 granted patents·6 pending applications·141 citations·filing 2004–2019
95Inventor score
Top patents by PatentIndex Score
31 records- 0192US8949811B2Constructing a control flow graph for a software programMURTHY PRAVEEN K·Filed 2011·Granted Feb 3, 2015·19 cites·13 claims
- 0289US8543983B2Creating hierarchical message sequence charts for visualizing user-interactive applicationsMURTHY PRAVEEN K·Filed 2010·Granted Sep 24, 2013·15 cites·25 claims
- 0389US8543986B2Methods and systems for test automation of forms in web applicationsMURTHY PRAVEEN K·Filed 2010·Granted Sep 24, 2013·21 cites·16 claims
- 0488US8793665B2Performing taint analysis for javascript software using a control flow graphMURTHY PRAVEEN K·Filed 2011·Granted Jul 29, 2014·12 cites·16 claims
- 0586US8656370B2Symbolic execution of javascript software using a control flow graphMURTHY PRAVEEN K·Filed 2011·Granted Feb 18, 2014·10 cites·16 claims
- 0685US10585660B2Reducing buffer overflowFUJITSU LTD·Filed 2018·Granted Mar 10, 2020·4 cites·20 claims
- 0783US8640084B2Generating validation test suitesMURTHY PRAVEEN K·Filed 2009·Granted Jan 28, 2014·12 cites·26 claims
- 0881US9489517B2Determining an attack surface of softwareFUJITSU LTD·Filed 2014·Granted Nov 8, 2016·6 cites·16 claims
- 0978US10635576B2Branch coverage guided symbolic execution for hybrid fuzz testing of software binariesFUJITSU LTD·Filed 2018·Granted Apr 28, 2020·3 cites·13 claims
- 1078US10394694B2Unexplored branch search in hybrid fuzz testing of software binariesFUJITSU LTD·Filed 2018·Granted Aug 27, 2019·3 cites·18 claims
- 1176US9038032B2Symbolic execution and automatic test case generation for JavaScript programsLI GUODONG·Filed 2012·Granted May 19, 2015·4 cites·12 claims
- 1276US8875109B2Tracking variables in javascript software using a control flow graphMURTHY PRAVEEN K·Filed 2011·Granted Oct 28, 2014·4 cites·19 claims
- 1376US8365112B2Verification apparatus and design verification programFUJITSU LTD·Filed 2010·Granted Jan 29, 2013·5 cites·13 claims
- 1475US10628281B2Concurrency vulnerability detectionFUJITSU LTD·Filed 2018·Granted Apr 21, 2020·2 cites·20 claims
- 1572US9552284B2Determining valid inputs for an unknown binary programFUJITSU LTD·Filed 2015·Granted Jan 24, 2017·2 cites·20 claims
- 1668US10698804B1Identifying inputs for automated computer-program testing operationsFUJITSU LTD·Filed 2019·Granted Jun 30, 2020·2 cites·20 claims
- 1768US9767290B2Autonomous reasoning system for vulnerability analysisFUJITSU LTD·Filed 2015·Granted Sep 19, 2017·2 cites·20 claims
- 1866US7275231B2High level validation of designs and productsFUJITSU LTD·Filed 2004·Granted Sep 25, 2007·14 cites·40 claims
- 1961US9772931B2Determining a valid input for an unknown binary moduleFUJITSU LTD·Filed 2015·Granted Sep 26, 2017·1 cites·18 claims
- 2050US8577665B2Synthesis of message sequence charts from communicating finite-state machinesMURTHY PRAVEEN K·Filed 2008·Granted Nov 5, 2013·0 cites·16 claims
- 2149US2010251208A1Validating Behavioral DiagramsFUJITSU LTD·Filed 2009·Application pending·0 cites
- 2247US10902130B2Guiding automated testing of binary programsFUJITSU LTD·Filed 2018·Granted Jan 26, 2021·0 cites·18 claims
- 2347US9043921B2Determining software metricsFUJITSU LTD·Filed 2013·Granted May 26, 2015·0 cites·20 claims
- 2446US2009089618A1System and Method for Providing Automatic Test Generation for Web ApplicationsFUJITSU LTD·Filed 2007·Application pending·0 cites
- 2545US11237943B2Generating inputs for computer-program testingFUJITSU LTD·Filed 2019·Granted Feb 1, 2022·0 cites·20 claims
- 2644US8468537B2Systems and methods for distributing validation computationsRAJAN SREERANGA P·Filed 2010·Granted Jun 18, 2013·0 cites·12 claims
- 2741US2013055221A1Detecting Errors in Javascript Software Using a Control Flow GraphMURTHY PRAVEEN K·Filed 2011·Application pending·0 cites
- 2839US2018004635A1Input discovery for unknown program binariesFUJITSU LTD·Filed 2016·Application pending·0 cites
- 2937US2011046938A1Verification apparatus and design verification programFUJITSU LTD·Filed 2010·Application pending·0 cites
- 3037US2011197172A1Design verification apparatus and design verification programFUJITSU LTD·Filed 2010·Application pending·0 cites
- 3136US10255166B2Determination of valid input sequences for an unknown binary programFUJITSU LTD·Filed 2015·Granted Apr 9, 2019·0 cites·20 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →