400 search results - page 45 / 80 » An Extensible Meta-Model for Program Analysis |
133
click to vote
ESE
2006
14 years 11 months ago
2006
Test case prioritization provides a way to run test cases with the highest priority earliest. Numerous empirical studies have shown that prioritization can improve a test suite�...
SIGDOC
1997
ACM
15 years 4 months ago
1997
ACM
CogentHelp is a prototype tool for authoring dynamically generated on-line help for applications with graphical user interfaces (GUIs) built using the tract Windowing Toolkit (AWT...
119
click to vote
ICDAR
2009
IEEE
14 years 9 months ago
2009
IEEE
MATLAB provides a powerful environment for rapid prototyping of research methods and techniques. Across the wide range of on-line pen computing applications there exists a series ...
123
click to vote
ASPLOS
2004
ACM
15 years 5 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
CCS
2008
ACM
15 years 1 months ago
2008
ACM
A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL). We identify a number of problems with this logic as well as with extensions of t...