| |
 |
Lev Borisovich Nachmanson Patents |
|
Inventor: Nachmanson; Lev Borisovich
Address: Redmond, WA
No. of patents: 3
Patents:
| Patent Number |
Title Of Patent |
Date Issued |
| 7363202 |
State exploration using multiple state groupings |
April 22, 2008 |
| Exploration algorithms are relevant to the industrial practice of generating test cases from an abstract state machine whose runs define the predicted behavior of the software system under test. Here, a new exploration algorithm allows multiple state groupings to simultaneously guide |
| 7337388 |
Tool-based iterative document management |
February 26, 2008 |
| A change management method and system for tool-based document generation which incorporates tool input changes, tool changes, and user changes during iterative document creation. After a tool-based document is generated and saved by a tool, and then edited by a user, during a next it |
| 7284235 |
Creation of content versions using content layers |
October 16, 2007 |
| The technologies allow a digital content developer to define, and a user to switch between or select, various versions of digital content for purposes of displaying, rendering, improving, or testing digital content. For example, a source code developer inserts identifiers in source code, |
|
|
|
