12745 search results - page 2275 / 2549 » Automating test automation |
129
click to vote
JCNS
2010
15 years 3 months ago
2010
Laser-scanning methods are a means to observe streaming particles, such as the flow of red blood cells in a blood vessel. Typically, particle velocity is extracted from images form...
167
click to vote
JOT
2010
15 years 3 months ago
2010
Abstract Periodic refactoring of a large source code often becomes a necessity especially for long-lived projects. In order to increase maintainability and extensibility of such pr...
139
click to vote
JOT
2010
15 years 3 months ago
2010
In self-adaptive systems components are dynamically modified according to the execution environment requirement, where each component is a probable point of failure. Existing appr...
155
click to vote
JSC
2010
15 years 3 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
127
click to vote
JTAER
2010
15 years 3 months ago
2010
The success and competitive edge of enterprises has become increasingly dependent on the enterprises’ agility to become members in business networks that support their own busin...