1109 search results - page 67 / 222 » Software verification for TinyOS |
108
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
We present Phantm, a static analyzer that uses a flowsensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runti...
112
click to vote
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
105
click to vote
SEFM
2009
IEEE
15 years 8 months ago
2009
IEEE
—Increasingly, tools and their underlying theories are able to cope with “real code” written as part of industrial grade applications almost as is. It has been our experience...
102
click to vote
IUI
2006
ACM
15 years 7 months ago
2006
ACM
Spoken dialog tasks incur many errors including speech recognition errors, understanding errors, and even dialog management errors. These errors create a big gap between user'...
119
click to vote
KBSE
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...