| |
 |
|
Class Information
Number: 717/126
Name: Data processing: software development, installation, and management > Software program development tool (e.g., integrated case tool or stand-alone development tool) > Testing or debugging > Program verification
Description: Subject matter including means or steps for proving that the program code demonstrates certain desirable properties.
Patents under this class:
| Patent Number |
Title Of Patent |
Date Issued |
| 7620928 |
Method and apparatus for synthesizing a hardware system from a software description |
Nov. 17, 2009 |
| 7620937 |
System and method for debugging programs |
Nov. 17, 2009 |
| 7620941 |
Mechanism for lossless user-level tracing on an architecture supporting PC-relative addressing |
Nov. 17, 2009 |
| 7620946 |
Program slicing for codesign of embedded systems |
Nov. 17, 2009 |
| 7617415 |
Code coverage quality estimator |
Nov. 10, 2009 |
| 7614043 |
Automated product defects analysis and reporting |
Nov. 3, 2009 |
| 7610512 |
System and method for automated and assisted resolution of it incidents |
Oct. 27, 2009 |
| 7603658 |
Application functionality for a test tool for application programming interfaces |
Oct. 13, 2009 |
| 7596778 |
Method and system for automatic error prevention for computer software |
Sep. 29, 2009 |
| 7594108 |
Operator root certificates |
Sep. 22, 2009 |
| 7590520 |
Non-deterministic testing |
Sep. 15, 2009 |
| 7590973 |
Systems and methods for gathering, organizing and executing test cases |
Sep. 15, 2009 |
| 7590933 |
Method for displaying an annotated file |
Sep. 15, 2009 |
| 7591021 |
Object model document for obfuscating object model therein |
Sep. 15, 2009 |
| 7584455 |
Predicate-based test coverage and generation |
Sep. 1, 2009 |
| 7584457 |
Validating programs |
Sep. 1, 2009 |
| 7584458 |
Source code annotation language |
Sep. 1, 2009 |
| 7581208 |
Testing internationalized software using test resource file and test font |
Aug. 25, 2009 |
| 7577942 |
Efficient monitoring of program variables under debug |
Aug. 18, 2009 |
| 7577941 |
System and method for identifying potential security risks in controls |
Aug. 18, 2009 |
| 7577848 |
Systems and methods for validating executable file integrity using partial image hashes |
Aug. 18, 2009 |
| 7574694 |
Method for application and infrastructure rationalization |
Aug. 11, 2009 |
| 7574695 |
Performing checks on the resource usage of computer programs |
Aug. 11, 2009 |
| 7571428 |
Reliability contracts |
Aug. 4, 2009 |
| 7568188 |
Method for testing a software shim |
Jul. 28, 2009 |
| 7559053 |
Program and system performance data correlation |
Jul. 7, 2009 |
| 7559054 |
Abstract interpretation with a congruence abstract domain and/or a heap succession abstract domain |
Jul. 7, 2009 |
| 7552423 |
Separations-of-duties analysis tool for object-oriented integrated enterprise wide computing applications |
Jun. 23, 2009 |
| 7546586 |
Multi-Interface aware scenario execution environment |
Jun. 9, 2009 |
| 7539978 |
Method for understanding and testing third party software components |
May. 26, 2009 |
| 7539604 |
Automatic modification of the behavior of system from a graphical representation of the behavior |
May. 26, 2009 |
| 7539975 |
Method, system and product for determining standard Java objects |
May. 26, 2009 |
| 7536680 |
Method for modifying a class file to monitor data flow |
May. 19, 2009 |
| 7536679 |
System and methods for test tool class inheritance |
May. 19, 2009 |
| 7533370 |
Security features in on-line and off-line delivery of applications |
May. 12, 2009 |
| 7530058 |
Non-compile pages |
May. 5, 2009 |
| 7530057 |
Program code coverage |
May. 5, 2009 |
| 7526678 |
Methods, systems, and products for verifying integrity of web-server served content |
Apr. 28, 2009 |
| 7526755 |
Plug-in pre- and postconditions for static program analysis |
Apr. 28, 2009 |
| 7523445 |
Method for generating an explanation of a CSP solution |
Apr. 21, 2009 |
| 7523305 |
Employing cyclic redundancy checks to provide data security |
Apr. 21, 2009 |
| 7512903 |
Selectively displaying in an IDE |
Mar. 31, 2009 |
| 7506175 |
File language verification |
Mar. 17, 2009 |
| 7503038 |
System and method for seamlessly comparing objects |
Mar. 10, 2009 |
| 7502728 |
Code coverage testing in hardware emulation |
Mar. 10, 2009 |
| 7500226 |
Efficient checking of state-dependent constraints |
Mar. 3, 2009 |
| 7496895 |
Multi-domain unified debugger |
Feb. 24, 2009 |
| 7496900 |
Method for automatic detection of build regressions |
Feb. 24, 2009 |
| 7496906 |
Evaluation of a code segment |
Feb. 24, 2009 |
| 7493597 |
System and method for model based generation of application programming interface test code |
Feb. 17, 2009 |
|
|
|
