Automation of software verification
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
Apr 10, 2012
Grant Date -
Jul 2, 2009
app pub date -
Dec 28, 2007
filing date -
Dec 28, 2007
priority date (Note) -
In Force
status (Latency Note)
Importance
Abstract
A method, system, and computer program product are disclosed for automatic test generation for a compiler. In one approach, the method, system and computer program product represent a test case for the compiler in a structure with one or more elements of a programming language, associate at least one syntactic rule and semantic rule with the one or more elements in the structure, create a test with the structure compiling the test with the compiler, and display results of the test.
First Claim
Family
International Classification(s)
Cited Art Landscape
Patent Citation Ranking
Advertisement
Advertisement
Advertisement
Recipient Email Address
Recipient Email Address
Comment
Recipient Email Address
Add to Portfolio(s)
To add this patent to one, or more, of your portfolios, simply click the add button.
This Patent is in these Portfolios:
Add to additional portfolios:
Last Refreshed On:
Changes done successfully