133 search results - page 4 / 27 » Automating Coverage Metrics for Dynamic Web Applications |
DAC
2008
ACM
14 years 8 months ago
2008
ACM
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...
HASE
2008
IEEE
14 years 2 months ago
2008
IEEE
Web applications often use dynamic pages that interact with each other by accessing shared objects, e.g., session objects. Interactions between dynamic pages need to be carefully ...
MICRO
2006
IEEE
14 years 1 months ago
2006
IEEE
Dynamic software bug detection tools are commonly used because they leverage run-time information. However, they suffer from a fundamental limitation, the Path Coverage Problem: t...
EDCC
2006
Springer
13 years 11 months ago
2006
Springer
- This paper proposes a novel technique for preventing a wide range of data errors from corrupting the execution of applications. The proposed technique enables automated derivatio...
NCA
2008
IEEE
14 years 1 months ago
2008
IEEE
Wireless mesh networks are a promising backbonesolution for applications in industrial automation. However, high availability of the communication channel is not inherently guaran...