5159 search results - page 367 / 1032 » Structural Testing of Executables |
231
click to vote
ISSTA
2012
ACM
13 years 10 months ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
195
click to vote
LREC
2008
15 years 8 months ago
2008
We evaluate discriminative parse reranking and parser self-training on a new English test set using four versions of the Charniak parser and a variety of parser evaluation metrics...
202
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
- Service discovery has been recognised as an important activity for service-based systems. In this paper we describe a framework for dynamic service discovery that supports the id...
177
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
A new approach is proposed that exploits repetition inherent in programs to provide low-overhead transient fault protection in a processor. Programs repeatedly execute the same in...
197
click to vote
ER
2007
Springer
16 years 1 months ago
2007
Springer
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...