|
| | |
|
Your search returned 222 patents.
( 717/126 in Current US Classification ) |
|
|
| 1 2 3 |
| Patent ID | Title | Date Filed |
| 6981245 | Populating binary compatible resource-constrained devices with content verified using API definitions
| September 14, 2000 |
| 6978441 | Rating apparatus and method for evaluating bugs
| October 3, 2001 |
| 6973643 | Method, system and program for handling errors occurring in function calls
| August 17, 2001 |
| 6959432 | Process and system for developing mathematically validated object-oriented software
| March 5, 2002 |
| 6938243 | Diagnostic architecture for use with an interface between an operating system and platform firmware
| September 22, 2000 |
| 6938186 | System and method for performing a path-sensitive verification on a program
| May 28, 2002 |
| 6934934 | Method and system for software object testing
| January 12, 2000 |
| 6931630 | Method of, system for, and computer program product for providing automatic identification of a computer program code candidate for web deployment or a stored procedure
| September 27, 2000 |
| 6931629 | Method and apparatus for generation of validation tests
| December 30, 1999 |
| 6931627 | System and method for combinatorial test generation in a compatibility testing environment
| July 16, 2001 |
| 6931550 | Mobile application security system and method
| January 10, 2001 |
| 6928638 | Tool for generating a re-generative functional test
| August 7, 2001 |
| 6920629 | Capturing fields from an output of a software application
| January 25, 2001 |
| 6918108 | System and method for field diagnosis of wireless communications device system software
| October 3, 2001 |
| 6912708 | Method and apparatus to facilitate debugging a platform-independent virtual machine
| June 28, 2001 |
| 6907546 | Language-driven interface for an automated testing framework
| March 27, 2000 |
| 6901580 | Configuration parameter sequencing and sequencer
| June 22, 2001 |
| 6898784 | Method and system for forming skeletons for generating verification systems
| September 15, 2000 |
| 6898466 | Programming device and a method for generating a control program
| June 4, 2003 |
| 6895577 | Risk metric for testing software
| February 28, 2000 |
| 6883163 | Populating resource-constrained devices with content verified using API definitions
| September 14, 2000 |
| 6880149 | Method for runtime code integrity validation using code block checksums
| April 1, 2002 |
| 6874138 | Method and apparatus for resuming execution of a failed computer program
| November 28, 2000 |
| 1 2 3 |
|
|
|
|
|
|
|
|
|
|
|