Inventor
MURTHY PRAVEEN K
US11 patents
⚠️ This page may combine multiple inventors who share the name “MURTHY PRAVEEN K”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
MURTHY PRAVEEN K
8 patentsUS8949811B2Feb 3, 2015
Constructing a control flow graph for a software program
MURTHY PRAVEEN K19 citations90
US8543986B2Sep 24, 2013
Methods and systems for test automation of forms in web applications
MURTHY PRAVEEN K21 citations88
US8656370B2Feb 18, 2014
Symbolic execution of javascript software using a control flow graph
MURTHY PRAVEEN K10 citations83
US8793665B2Jul 29, 2014
Performing taint analysis for javascript software using a control flow graph
MURTHY PRAVEEN K12 citations82
US8640084B2Jan 28, 2014
Generating validation test suites
MURTHY PRAVEEN K12 citations82
US8543983B2Sep 24, 2013
Creating hierarchical message sequence charts for visualizing user-interactive applications
MURTHY PRAVEEN K15 citations82
US8875109B2Oct 28, 2014
Tracking variables in javascript software using a control flow graph
MURTHY PRAVEEN K4 citations71
US8577665B2Nov 5, 2013
Synthesis of message sequence charts from communicating finite-state machines
MURTHY PRAVEEN K0 citations51