|
US2015113504A1
|
|
Virtual hybrid application
|
|
US2013290786A1
|
|
Automated testing of applications with scripting code
|
|
US2013054221A1
|
|
Generating specifications for expression language expressions and tag libraries
|
|
US2012151454A1
|
|
Generating inputs for client-server programs for fault-detection and localization
|
|
US2012131670A1
|
|
Global variable security analysis
|
|
US2012102471A1
|
|
Generating specifications of client-server applications for static analysis
|
|
US2012102474A1
|
|
Static analysis of client-server applications using framework independent specifications
|
|
US2011030061A1
|
|
Detecting and localizing security vulnerabilities in client-server application
|
|
US2012054553A1
|
|
Fault localization using condition modeling and return value modeling
|
|
US2011016457A1
|
|
Fault detection and localization in dynamic software applications requiring user inputs and persistent states
|
|
US2011016356A1
|
|
Fault detection and localization in dynamic software applications
|
