Search

Michael Corning Phones & Addresses

  • Mount Vernon, WA
  • Everett, WA
  • Mission, TX
  • 504 Alamo Rd, Alamo, TX 78516
  • Bothell, WA
  • Hidalgo, TX
  • Kirkland, WA

Resumes

Resumes

Michael Corning Photo 1

Michael Corning

View page
Location:
Sisters, Oregon
Industry:
Computer Software
Michael Corning Photo 2

Michael Corning

View page
Location:
United States
Michael Corning Photo 3

International Real Estate Services

View page
Location:
Bellingham, Washington Area
Industry:
Real Estate

Publications

Us Patents

Model-Based Editors For Dynamic Validation

View page
US Patent:
7904809, Mar 8, 2011
Filed:
Jun 29, 2007
Appl. No.:
11/771905
Inventors:
Michael P Corning - Woodinville WA, US
Christopher J Lovett - Woodinville WA, US
Assignee:
Microsoft Corporation - Redmond WA
International Classification:
G06F 17/00
US Classification:
715259, 715255, 715273
Abstract:
Tools and techniques for dynamically validating editors are described herein. The tools may provide machine-readable storage media containing machine-readable instructions for receiving indications of user edits to a portion of a document, and for determining whether a customized editor is available for the edited portion of the document. The tools may also provide systems that include at least the dynamically validating editor.

Method And System For Source-Code Model-Based Testing

View page
US Patent:
20060075305, Apr 6, 2006
Filed:
Oct 1, 2004
Appl. No.:
10/957132
Inventors:
Henry Robinson - Snohomish WA, US
Michael Corning - Woodinville WA, US
Assignee:
Microsoft Corporation - Redmond WA
International Classification:
G06F 11/00
US Classification:
714038000
Abstract:
Disclosed is a method for using source code to create the models used in model-based testing. After exploring the intended behavior of a software package, a test engineer writes source code to model that intended behavior. The source code is compiled into a model, and the model is automatically analyzed to generate numerous test scripts that can exercise the behavior of the software package. When the tests are run, their results are compared against intended behaviors, and discrepancies are used to correct the software package (or to correct the source-code model if it was prepared incorrectly). The model coding, test generation, test execution, and comparison steps are repeated as often as necessary to thoroughly test the software package. In some embodiments, the test scripts generated by the model are written in XML (Extensible Markup Language), allowing the easy integration of the test scripts with a number of XML-based tools.

Test Manager

View page
US Patent:
20060184918, Aug 17, 2006
Filed:
Feb 11, 2005
Appl. No.:
11/056052
Inventors:
Steven Rosaria - Redmond WA, US
Michael Corning - Woodinville WA, US
Roger Porter - Duvall WA, US
Glenn LaVigne - Redmond WA, US
Assignee:
Microsoft Corporation - Redmond WA
International Classification:
G06F 9/44
US Classification:
717124000
Abstract:
An exemplary computer-implementable method includes receiving a test specification document file for a software product wherein the test specification document file includes mark-up language, calling for storage of the test specification document file in a test database, parsing the mark-up language, creating test information for manual test variations based at least in part on the parsing of the mark-up language, outputting a list of at least some of the manual test variations, receiving manual test result information based on execution of at least one of the manual test variations on the software product and calling for storage of the manual test result information in the test database. Various other exemplary methods, devices, systems, etc., are also disclosed.
Michael A Corning from Mount Vernon, WA, age ~79 Get Report