3547 search results - page 497 / 710 » Pseudo-Exhaustive Testing for Software |
173
click to vote
KBSE
2005
IEEE
16 years 6 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
181
click to vote
PASTE
2005
ACM
16 years 6 days ago
2005
ACM
UML sequence diagrams are commonly used to represent the interactions among collaborating objects. Reverse-engineered sequence diagrams are constructed from existing code, and hav...
148
click to vote
PASTE
2005
ACM
16 years 6 days ago
2005
ACM
Program analysis has many applications in software engineering and high-performance computation, such as program understanding, debugging, testing, reverse engineering, and optimi...
178
click to vote
ADAEUROPE
2005
Springer
16 years 6 days ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
172
click to vote
AOSD
2004
ACM
16 years 2 days ago
2004
ACM
This paper presents our extension to AspectJ for distributed computing. Although AspectJ allows Java developers to modularize a crosscutting concern as an aspect, this paper shows...