Model-based testing using branches, decisions, and options
MD Miller, RR Ulaszek - US Patent 8,225,288, 2012 - Google Patents
Some embodiments of the present invention provide a system that tests a software program.
During operation, the system creates a behavioral model of the software program using …
During operation, the system creates a behavioral model of the software program using …
Assertions based on recently changed code
CL Bates, L Helgeson, JK King, MA Schlicht - US Patent 9,703,553, 2017 - Google Patents
The present disclosure relates to managing assertions in program Source code in an
integrated development environ ment (IDE) tool. According to one embodiment, the IDE tool …
integrated development environ ment (IDE) tool. According to one embodiment, the IDE tool …
Managing assertions while compiling and debugging source code
CL Bates, L Helgeson, JK King, MA Schlicht - US Patent 9,684,584, 2017 - Google Patents
The present disclosure relates to maintaining assertions in an integrated development
environment (IDE) tool. According to one embodiment, while the IDE tool is compiling the …
environment (IDE) tool. According to one embodiment, while the IDE tool is compiling the …
System and method to validate and repair process flow drawings
TJ Chao, P Dhoolia, D Marston, D Mukherjee - US Patent 8,578,346, 2013 - Google Patents
Flow diagrams are drawings or a set of drawings that are generally created by drawing tools
like Microsoft Visio and Power Point. These tools produce formats that widely vary. Also …
like Microsoft Visio and Power Point. These tools produce formats that widely vary. Also …
Optimizing program performance with assertion management
CL Bates, L Helgeson, JK King, MA Schlicht - US Patent 9,747,082, 2017 - Google Patents
The present disclosure relates to maintaining assertions in source code components of a
development project by an integrated development environment (IDE) tool. According to one …
development project by an integrated development environment (IDE) tool. According to one …
Managed assertions in an integrated development environment
CL Bates, L Helgeson, JK King, MA Schlicht - US Patent 9,720,657, 2017 - Google Patents
The present disclosure relates to maintaining assertions in an integrated development
environment (IDE) tool. According to one embodiment, the IDE receives a request to add an …
environment (IDE) tool. According to one embodiment, the IDE receives a request to add an …
In-browser emulation of multiple technologies to create consistent visualization experience
JP Gregory, III Addis - US Patent 9,844,723, 2017 - Google Patents
A system, a machine-readable storage medium storing instructions, and a computer-
implemented method are described herein to render one or more graphical objects on …
implemented method are described herein to render one or more graphical objects on …
Managing assertions while compiling and debugging source code
CL Bates, L Helgeson, JK King, MA Schlicht - US Patent 9,678,855, 2017 - Google Patents
The present disclosure relates to maintaining assertions in an integrated development
environment (IDE) tool. According to one embodiment, while the IDE tool is compiling the …
environment (IDE) tool. According to one embodiment, while the IDE tool is compiling the …
Optimizing program performance with assertion management
CL Bates, L Helgeson, JK King, MA Schlicht - US Patent 9,733,903, 2017 - Google Patents
The present disclosure relates to maintaining assertions in source code components of a
development project by an integrated development environment (IDE) tool. According to one …
development project by an integrated development environment (IDE) tool. According to one …
Assertions based on recently changed code
CL Bates, L Helgeson, JK King, MA Schlicht - US Patent 9,703,552, 2017 - Google Patents
The present disclosure relates to managing assertions in program source code in an
integrated development environment (IDE) tool. According to one embodiment, the IDE tool …
integrated development environment (IDE) tool. According to one embodiment, the IDE tool …